Post #3625021
2026-06-28 10:06 UTC
@jer_gib@functional.cafe I like category theory as much as the next Haskeller, but I really can't fault anyone for thinking the applications sound underwhelming compared to all the theory from the rest of the book they'd have to learn first.
Is it a didactic choice to focus more on the theory, or do you think the theory itself is not developed enough to fully explain programs like the game snake, a sudoku solver, a text editor, a web server, etc.?
Replies (1)
-
@jer_gib@functional.cafe 2026-06-28 15:04
@jaror@social.edu.nl These are excellent questions! To which I don't really have a good answer. I do think the theory is well enough developed for this kind of application. I think sudoku has been well covered, in particular by Richard Bird. I actually have no experience in writing things like web servers: I couldn't take that approach with confidence without a lot of preparation. Someone else will have to write the different book you have in mind.