Functional Programming and Security

Date Added: Jan 2012
Format: PDF

This paper analyses the security contribution of typical functional-language features by examining them in the light of accepted information security principles. Imperative and functional codes are compared to illustrate various cases. In conclusion, there may be an excellent case for the use of functional languages on the grounds of better security; however, empirical research should be done to validate this possibility. The functional paradigm dates from the 1930's, when Alonzo Church created a system called lambda calculus for understanding computation in terms of functions.