4 ms·
Nothing in principle (I wrote the articles, after all). I just found it to be clunky. In particular, the signature and structure system made it needlessly diffi
by j2kun 12y ago
Nothing in principle (I wrote the articles, after all). I just found it to be clunky. In particular, the signature and structure system made it needlessly difficult to express what I thought were simple things. And it was difficult to find resources due to standard ML not being widely used.
- alex-g 12y agoIs your work at all based on Rydeheard and Burstall's "Computational Category Theory"? They also do category theory in ML.