Articles

Where Good Ideas Come From

I recently finished reading Steven Johnson’s “Where Good Ideas Come From“. This is a rather interesting book which takes a walk through history looking at how good ideas come to be.

The central thesis is that “Eureka” moments — typified by a loan genius working on some problem having a breakthrough idea . . . → Read More: Where Good Ideas Come From

Whiley on GitHub!

Well, after some persuasion, I’ve finally moved the Whiley code over from sourceforge onto github.  The repository is here: http://github.com/DavePearce/Whiley. This means you’ll be able to see the compile changing right before your eyes … joy 😉

Of course, all this means I need to learn Git now … which will certainly take some . . . → Read More: Whiley on GitHub!

A Problem on Typing vs Verification

Whiley uses a flow-sensitive type system, and a verification engine to enable [[Extended static checking]]. My desire in designing these two subsystems is to keep them completely isolated. In particular, such that we can always compile and run a Whiley program with verification turned off. This requirement stems from the fact that verification of . . . → Read More: A Problem on Typing vs Verification

More on Flow-Sensitive Typing

The idea behind flow-sensitive typing in Whiley is to give a statically typed language the look-and-feel of a [[Dynamic programming language|dynamically typed language]] (as much as possible).  The following illustrates:

int average([int] items): v = 0 for i in items: v = v + items[i] return v / |items|

Here, we see that there . . . → Read More: More on Flow-Sensitive Typing

Whiley v0.3.1 Released!

Well, I’ve just released another update to the Whiley compiler. As usual, you can access this from the downloads link on the left. This release is relatively minor, which primarily fixes a number of bugs and includes more tests. I’ve also turned off full verirfication by default, since this is really not ready yet . . . → Read More: Whiley v0.3.1 Released!