4 ms·
It seems like if you want the expressiveness of the simply typed lambda calculus, higher order functions are more than just syntactic sugar.
by sinkasapa 8y ago
It seems like if you want the expressiveness of the simply typed lambda calculus, higher order functions are more than just syntactic sugar.