型推論について述べたいと思います。最初の節では、とても小さな言語を題材にして型システムを形式的に定義してみます。ここでは、型とはなにか、また、その役割や能力について確認します。この節のもうひとつの目的は、型システムを形式的に記述するやりかたに慣れることです。条件式のみからなるような小さな言語の型システムを形式的に定義し、その性質について調べてみます。構文ここで扱う言語の構文を以下に示します。条件式これは、次のような意味になります。