One my goals for Whiley in 2015 is to focus more on embedded systems (see here for more). A recent project of ours was compiling Whiley code to run on a QuadCopter and this identified several challenges here. In particular, Whiley does not provide good memory management for such resource constrained environments. My plan . . . → Read More: My ATtiny85 Games Console