Articles

Whiley v0.3.2 Released!

Well, another release was long overdue!!!  This one includes lots and lots of bug fixes, particularly to the type system, and support for dictionaries (aka maps) is now in place.   Also, the language has been split in two parts: the base language (flow-sensitive + structural typing), and the extended langauge (which includes constraint checking).  . . . → Read More: Whiley v0.3.2 Released!

Modular Purity Analysis for Java

Well, after an agonizing wait I finally heard the news that my paper on purity analysis was accepted to the Conference on Compiler Construction, 2011.  Obviously, I’m stoked!  The paper is:

JPure: a Modular Purity System for Java. David J. Pearce. In Proceedings of the Conference on Compiler Construction, 2011. [PDF]

A [[Pure function|pure . . . → Read More: Modular Purity Analysis for Java

Why not use Structural Subtyping?

Modern programming languages generally use what is known as a [[Nominal typing|Nominal type system]].  This means types are associated with explicit names and subtyping relationships are explicit in the code (e.g. via extends or implements). This approach has the advantage of being relatively simple to implement; however, at the same time, it is quite . . . → Read More: Why not use Structural Subtyping?

The Future of Programming Languages

There’s an interesting panel discussion from the StrangeLoop2010 conference over on InfoQ:

http://www.infoq.com/presentations/Future-of-Programming-Languages

There panel covers quite a range of different topics, but there was one in particular that caught my eye:

“Assert statements don’t clutter up the code, they beautify it. They preserve the programmers intent, and anything that preserves the programmers intent . . . → Read More: The Future of Programming Languages