• TODO(ここに説明が来る)

• 保存機能等が現時点ではありませんので気をつけください

• パースエラーは現状画面下部にスクロールすることで確認できます

• fix 演算子を使うと停止しないコードになる可能性があります。

項の評価

型付けとその評価

パース時の警告・エラーなど

なし

参考

• Types and Programming Languages B. Pierce. MIT Press, 2002.
• System F_ω - Wikipedia