Post #3625023
2026-06-28 15:04 UTC
@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.
Replies (1)
-
@jer_gib@functional.cafe 2026-06-28 15:04
@jaror@social.edu.nl Let me be honest about the real motivation for the book. As I've given talks about it, I've been describing it as my "greatest hits album": reworked and updated material from some favourites among my own papers, plus a few "cover versions" of papers by others that I wish I had written myself.