While a lot of the type theory stuff is controversial, closures and recursion are core concepts of functional programming. I mean, they date back to the first e

While a lot of the type theory stuff is controversial, closures and recursion are core concepts of functional programming. I mean, they date back to the first ever functional language, lisp. Removing them would be like removing classes in an OOP language.