プログラミング言語における重要な概念の一つに、「型」があります。しかし型という概念は、プログラミング言語において必須ではありません。 それにもかかわらず多くの言語に型が備わっているのはなぜでしょうか？この記事ではその理由や、型を支える理論に…