I built a toy interpreter using SML/NJ to experiment with advanced type inference.
高度な型推論を試すために、ニュージャージーのStandard ML(コンパイラおよび開発環境)を使って簡易インタプリタを作りました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★