Haskell

Purely functional programming language known for strong static typing and mathematical foundations.