2 ms·
>You are pretty much left with Miranda, Haskell, and a few related languages. Agda and Idris as well. The bar for what constitutes "FP" has been changing sinc
by coolsunglasses 12y ago
>You are pretty much left with Miranda, Haskell, and a few related languages.
Agda and Idris as well.
The bar for what constitutes "FP" has been changing since the 50s. Doesn't sound unreasonable to me.
- seanmcdirmid 12y agoFunctional programming used to mean programming with first class functions and closures; they even put it in the name "functional"al programming (just like OOP meant program with objects, whether this involved classes or not). So that is Lisp, the first FP in the 60s, and then the MLs of the 70s/80s. They knew about purity, and even preferred it (for things like list comprehensions, it is very useful), but were never very dogmatic about it.