3 ms·
The 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 leisur
by pharmakom 4y ago
The 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.