Understanding Generic Type Variance (in Whiley)

For languages which support generic types, an important question is deciding whether or not a type C<T> is a subtype of another related type C<S>. Since Whiley was recently extended to support generic types, its interesting to think about how this was handled.

Automated Testing for Whiley

Recently, the online editor for Whiley was updated with some new features. Actually, the update represents a complete rewrite of the front-end in Whiley. Obviously, I am very excited about that!

The Semantics of Semantic Versioning?

Semantic versioning is a surprisingly interesting topic when you get into it. Recently, myself and a few colleagues (Patrick & Jens) have been giving it some thought (and we even wrote an essay on it)!

Verifying leftPad() in Whiley

The leftPad(string,int) function simply pads a string up to a given size by inserted spaces at the beginning. For example, leftPad("hello",8) produces " hello". This little function shot to fame in 2016 when a developer pulled all his modules from NPM, of which one provided the leftPad() functionality.

Whiley Demo @ Oracle Labs!!

Recently, I gave a demo of Whiley at Oracle Labs in Brisbane which they have kindly put up on YouTube: The actual demo itself starts around 11:30s, so you might want to skip on to that.