Whiley (programming language)
Appearance
Whiley is a statically typed programming language created by David J. Pearce in 2009, with later contributions from students.
The Whiley programming language pioneered union, intersection and negation types and introduced the concept of flow typing, a concept later picked up by other programming languages like TypeScript and the Flow Javascript transpiler.