@contrarivariant Gerunds linguistically blurs the distinction between data and codata.
-
-
Notwithstanding the typo, I obviously should have said: "Gerunds: a blurring of the distinction between data and codata".
-
J, which builds on the analogy with natural langs more than usual prog langs, has gerunds http://www.jsoftware.com/help/learning/14.htm … (caution: anticlimactic)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.