[nextos]

I laughed a lot with the video too.

Jokes aside, a book like CTM shows both paradigms have their place, and can also co-exist in the same system.

Besides, this paper cleared all my doubts about high-order FP having a lot of (unexploited) potential:

http://conal.net/papers/compiling-to-categories/