少なくないプログラミング言語で成果物が巨大になっており、それを管理するために型というのが見直されている、というのが最近(X年単位)なんだろうな、と思っています。