ABSTRACT
Functional languages are a class of languages based on the lambda calculus, a very simple but powerful model of computation. Proponents claim that the use of a functional language supports faster production of software, shorter programs, and more readable and verifiable code than the use of conventional so-called imperative programming languages. Furthermore, in the research community functional languages have been used as the basis of study on advanced type systems, parallel computing, program optimization, and programming language semantics.
