Whiley

Whiley is an imperative and functional programming language that first appeared in 2010.

Paradigms
Imperative, Functional
First appeared
2010
Reference
Wikipedia article