型システムとはなんですか？

A. 型システムとは、コンピュータプログラミングにおいて、変数や関数の引数などに対して、型と呼ばれる特性を付与するための規則群から成立している形式体系のことです。

参考URL:https://ja.wikipedia.org/wiki/%E5%9E%8B%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0