>>543
> プログラミング言語における「型」ってなんなんでしょうか？

プログラム断片の性質の一つ。型だけ特別な訳じゃなくて、
同じフレームワークで型推論、データフロー解析、strictness解析が扱える。

関数型言語で考えるのが一番理解しやすい。
Abstract Interpretationとか意味論の本を読むのが一番いいのだが...