Haskell

A purely functional language with strong static typing and lazy evaluation.

Who uses Haskell?

Companies

Research institutes

Educational institutions

Government entities