This latest update of Whiley is a somewhat minor increment over the previous. Aside from a number of bug fixes the main improvement is the inclusion of first-class functions (aka function pointers). Constraint checking remains disabled, as it still needs a considerable amount of work (which I’m working on 🙂
Function pointers can be used like so:
int f1(int x): return x + 1 int f2(int x): return x * 2 int g(int(int) func): return func(1234) void System::main([string] args): out->println(str(g(&f1))) out->println(str(g(&f2)))
Anyway, you can get the latest version from the downloads section.