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, thi

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/ http://conal.net/papers/compiling-to-categories/