5 ms·
What's wrong with ML as the language for this?
by pekk 12y ago
What's wrong with ML as the language for this?
- j2kun 12y agoNothing 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.