Haskell is a purely functional, non-strictly evaluated programming language with a strict static type system based on Hindley-Milner type inference.

There appears to be a lot of Haskell/Scheme overlap. Schemers would do well to learn the language of and learn about Haskell.