目次 拡張の必要性 私は現在、Standard ML処理系であるLunarMLを開発しています。しかし、Standard MLはほぼ進化の止まった言語です。一応Successor MLという取り組みがありますが、準拠を目 … 続きを読む Standard MLに対する拡張のアイディア