haskell word block on white

haskell functional programming language pure type system compiler syntax lambda expression immutable monad category algebraic data list recursion pattern matching evaluation ghc code highlevel concurrency inference function classes abstract polymorphism higherorder lazy interpreter dsl paradigm types referential transparency safety tail functions monads libraries ghci purely constructs variables recursive constraints monadic composition aliases lists computation design tools