Haskell

Uma linguagem de programação puramente funcional, de propósito geral, com tipagem estática e avaliação preguiçosa (lazy evaluation). É conhecida por sua expressividade e foco em segurança de tipos.