|
Re: A (Brief) History of Object-Functional Programming
|
Posted: Dec 22, 2009 12:39 PM
|
|
It is fascinating to see how FP is surfacing in widespread languages, even C++ and C#. But as far as the "history" of FP goes, the ideas of closures, currying, referential transparency, lazy evaluation (via call-by-name, at least), etc. were all present in Church's Lambda Calculus, which was developed in the 1930s, and drew on work done by Shoenfinkel in the 1920s. Very brilliant stuff that not only predated computers (duh), but comprises a complete model of computation equal in power to Turing machines upon which computer architecture was based. Haskell is a relative late-comer, and owes its appeal to being a fairly faithful implementation of lambda calculus. So here we are, 90 years later, slowly catching up. To fracture a phrase, "Those who forget/ignore the past are doomed to relearn it" :-). (Shameless plug for a solid CS education!)
|
|