k#

k# is a functional programming language, impure with a strong typed system