The (academic) JVM programming language Whiley has...

# random

[hastebrot]

The (academic) JVM programming language Whiley has flow typing, union types, syntax for collection types (set, maps, lists) and verification syntax (pre-/post-conditions, data type and loop invariants).