Standard MLに対する拡張のアイディア

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