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