Another purely functional programming language named after logician Haskell Curry. It has non-strict semantics and a strong static typing. Being static type, means that the developer/programmer must have to declare the datatype or type of variable like int, for integer.