目次 Successor MLとは Standard MLの仕様は、1997年に出版されたThe Definition of Standard ML (Revised)が最後の版である。しかし、その後も仕様を修正・改良し … 続きを読む Successor MLの話