Post #3732848

I’m here this weekend for a two-day event in Japan called "Functional Programming Festival." I’m scheduled to speak tomorrow, and I plan to discuss the connection between untyped lambda calculus and modern programming languages. While higher-order functions like `map` and `reduce` are commonplace in modern languages, their expressive power regarding functions naturally varies. Who do you think is the true champion among the descendants carrying the DNA of the lambda?