@HASKELL

Functional, pure, non-strict, statically and strongly typed, natively compiled…really just the king of great languages.