OCaml
Computational Category Theory http://kolhoz.tiera.ru/M_Mathematics/MA_Algebra/MAct_Category%20theory/Rydeheard%20D.E.,%20Burstall%20R.M.%20Computational%20category%20theory%20(c.%201990)(263s).pdfを読むために、SMLからOCamlへの変換を調査。 …
http://www.andrej.com/plzoo/ OCamlでのミニ言語実装例。