Whiley Compiler (WyC)

The next release of the Whiley Development Kit is upon us.  This is about six months since the last official release and, in the meantime, a lot has been going on!  For example, there have been more than ten releases of the Whiley Compiler (WyC) itself on Maven central.  The main updates are: RFCs.  . . . → Read More: Whiley v0.4.1 released!

The next release of the Whiley Development Kit is upon us.  This is about six months since the last official release and, in the meantime, a lot has been going on!  For example, there have been more than ten releases of the Whiley Compiler (WyC) itself on Maven central.  The main updates are: RFCs.  . . . → Read More: Whiley v0.4.1 released!

The rise of the internet over the last, say, two decades has been pretty unstoppable (we all know that). But, is it now affecting the prominence of object-oriented programming? I’m going to try and argue in this post that: yes, it is. That is, at ... [More] least for “classical” object-oriented languages (i.e. not JavaScript). What . . . → Read More: On the Internet and Object-Oriented Programming [Less]

The rise of the internet over the last, say, two decades has been pretty unstoppable (we all know that). But, is it now affecting the prominence of object-oriented programming? I’m going to try and argue in this post that: yes, it is. That is, at ... [More] least for “classical” object-oriented languages (i.e. not JavaScript). What . . . → Read More: On the Internet and Object-Oriented Programming [Less]

Recently, I gave a demo which showed off thew new “Property Syntax” in Whiley. Whilst this is still in the devel branch it will make its way, soon enough, into the next release. I thought it would be interesting to give a quick taste of the syntax. To understand the purpose of properties, let’s . . . → Read More: Property Syntax in Whiley

Recently, I gave a demo which showed off thew new “Property Syntax” in Whiley. Whilst this is still in the devel branch it will make its way, soon enough, into the next release. I thought it would be interesting to give a quick taste of the syntax. To understand the purpose of properties, let’s . . . → Read More: Property Syntax in Whiley

Rust is definitely one of the more interesting new programming language I’ve come across recently. Memory management is definitely Rust’s “thing”, and the language wants to have its cake and eat it (so to speak). That is, Rust wants safe memory ... [More] management without garbage collection. This is no easy task, and Rust delivers a . . . → Read More: On Memory Management and Rust [Less]

Rust is definitely one of the more interesting new programming language I’ve come across recently. Memory management is definitely Rust’s “thing”, and the language wants to have its cake and eat it (so to speak). That is, Rust wants safe memory ... [More] management without garbage collection. This is no easy task, and Rust delivers a . . . → Read More: On Memory Management and Rust [Less]

The concept of effective union types in Whiley exposes some interesting features worth considering.  In particular, they result in a separation between the readable and writeable view of a type.  But, we’re getting ahead of ourselves!  Let’s start ... [More] with what exactly effective unions are… Effective Unions An effective union is a union type which . . . → Read More: Understanding Effective Unions in Whiley [Less]

The concept of effective union types in Whiley exposes some interesting features worth considering.  In particular, they result in a separation between the readable and writeable view of a type.  But, we’re getting ahead of ourselves!  Let’s start ... [More] with what exactly effective unions are… Effective Unions An effective union is a union type which . . . → Read More: Understanding Effective Unions in Whiley [Less]