ちゃんと厳密な話してるのオレンジしか居なくてそのせいでオレンジが信用されて無いっぽい状況すごくムカつくけど、
オレンジが信じられない場合TaPL日本語版読めばいいと思うよ＞＜
型システム入門 プログラミング言語と型の理論 | Ohmsha https://www.ohmsha.co.jp/book/9784274069116/

オレンジは残念な事に高すぎて買えなくて読んで無いけど、これが出たとたんに日本語圏でのさっきみたいな動的静的議論での形付け無しとの勘違いの議論は一気になくなったので＞＜

雪だるまの人の書評
書評「型システム入門」 - 純粋関数空間 http://tanakh.jp/posts/2013-05-08-tapl.html
これ読むだけでも誤解とけそう＞＜