Whiley

Paradigms	imperative programming, functional programming
Typing discipline	safe typing, strong typing, structural typing
First appeared	2010
Type	programming language
Influenced by	Rust, Python, Java, C
Website	whiley.org