"「安全な」ガードレール"を超高速で設置できるシステムが、強い型システム＞＜
そして、「ガードレールが変に繋がってないか？ とか、ネジを止めるの忘れてないか？ とか、位置がおかしくて道路ふさいで逆に事故の原因になるか？」みたいな事を
『実行前に検査するのが静的な型システム』で、
『調べず出発して走りながらガードレールがおかしいかを検査するのが動的な型システム』かも＞＜