7 ms·
I only read the first section on monotone fixed points. A real pleasure. Nothing new, but the key ideas explained in simple yet precise terms and examples. It
by dwenzek 4y ago
I only read the first section on monotone fixed points.
A real pleasure. Nothing new, but the key ideas explained in simple yet precise terms and examples.
It really makes me want to read more.
- pharmakom 4y agoThe intro is nice and easy and then it really jumps into some detailed PL theory that I couldn't quite grok. why do papers so often do this? start like a leisurely stroll and-BAM! "discrete comonads". Guess as a non-expert I'm not quite the target audience.
- celestius 4y agoYeah cat theory jargon always makes me gape. I should revisit some of Spivak’s work directed at teaching cat theory to programmers, if only to know how this thesis does what it does.
- nh23423fefe 4y agoI've been interested in datalog for a while, and this is giving me a reason to get my hands dirty finally. It's really well written so far.