プログラミング言語における「型」ってなんなんでしょうか？
ラッセルの理論からもらってきた概念という知識しかありません。
（これすらも間違ってるかもｗ）

こういった疑問を解消するためにはどんな勉強をしたらいいのでしょうか？
数学的な理論も必要かもしれませんが、抽象的な話は理解に時間がかかるので
実際に使われている言語を使って説明したような本あれば嬉しいです。
よろしくお願いします。