私もスクリプト言語から入ったせいか、型とは「コンピュータ様のために必要なもの」というイメージだった。だがアセンブリ言語に型があるはずもなく。人間のための道具だと気づくにはそれなりの時間を要したな。 [参照]

[Tw] プログラミングはじめた頃は、だって型とか邪魔じゃん、という感覚が支配的だった。それを隠蔽してくれるに越したことはない。ScalaのOptionとかFutureみたいな、型同士が強力に演算しあってより抽象的で安全な体系を提供するという視点が得られるのはずっと後のことだった。
[de] https://twitter.com/windymelt/status/1662148634748780544