Haggis

Paradigms	functional programming, imperative programming, object-oriented programming
Typing discipline	inference typing, structural typing
Type	programming language