Whiley

Someone recently pointed me to the Rust programming language which has some very nice features, although it’s still in early stage development.  In particular, the system statically prevents null pointer errors, and does not permit dangling pointers.  The language FAQ also claims the “ability to define complex invariants that hold over data structures” … . . . → Read More: Language Designers … who wait?