1. 4

Whiley is a hybrid object-oriented and functional programming language. Whiley employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors. Extended static checking is made possible through the use of an automated theorem prover. Whiley compiles to the Java Virtual Machine and is fully inter-operable with existing Java applications.

  1.  

  2. 2

    It’s basically an experimental language doing stuff like SPARK and Dafny are doing. They’re more mature at the moment in case someone wants to try to use one of these in practice. Links below. I’d be curious to see a hands-on test of Whiley vs SPARK in what errors it can catch and what constraints exist on expressing programs.

    http://www.spark-2014.org/about

    https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness/

    1. 1

      Saw it on Reddit and found this post while trying to submit it to Lobsters. Is the language still actively developed? The post is from March of this year.

      1. 3

        It appears to be active. See: https://github.com/Whiley