Main Article Content
Abstract
Functional programming languages were originally developed in late 1970’s. With its root in Lambda calculus and combinatory calculus this proved to be the best choice for math- ematicians, .Its applications were visible in areas varying from differential calculus to rough set theory. The main aim was to provide compact notion for writing program mainly for symbolic computation and applications based on list-processing. The main concern lies in functionality and not storage and assignment sequences, it also provides features like lazy evaluation, higher order functions and pattern matching. This paper is a brief survey on the impact of functional programming on current research in the field of mathematics. We took many papers and analyzed the importance of these languages in shaping the modern mathematics.