These languages focus on creating functions in a mathematical or 'pure' way. Haskell, Lisp, and ML are some such examples.