News for hackers. Stuff that matters.
Re:Programming with Categories by nextos on Wednesday September 02, 2020 @09:32PM (#24360062)
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/

There are no comments on this comment yet.