「型」、特定のプログラミング言語を使った体験で何かと語られがちなんですが、背景にどんな理論があるかを少しでも知っておくほうがいいと思うんですよ