高度に表現力のある型システム備えたプログラミング言語です。いう言語の名前にもなっています。型システムを徐々に説明します。この本で最も突出していて興味深い部分でしょう。一般には、型を分類された値の集合のように扱います。私は型を意味の形として扱う方がより適切であることを見つけました。式に型を割り振る形式的な規則があり、それは型付け規則と呼ばれています。割り振ることができるとします。一つの式には複数の異なる静的な意味論を割り振られる可能性があることに注意してください。唯一1つだけ存在するなら、その式は正しい型付けをされていることになります。言い方を代えると、その名前は対応する式の持つ静的な意味を取るということになります。式であるとしましょう。型付け規則によって割り振られたとします。割り振れることになります。別の言い方をすると、静的な意味は評価の中で不変であると言えるわけです。型システムにおける健全性の一部です。取りうる値をたやすく推察することができるのです。評価することがいつでも可能です。型システムにおける健全性のもう一つの部分です。