型は情報や制御の構造を明確に認識するためのツールであると同時に、極めて強力なテストでもあるので、目的に対して本質的に必要かといえばそうでもないけど、同時にソースコードのきわめて重要な (場合によっては本質的な) 価値の一部ではある
ガードレールや白線は道路の本質的価値ではないかもしれないが、それらの交通制御における重要性は計り知れない
「車が転がればいいよ」ではなく安全で管理しやすい道路を整備することこそに専門職としての手腕と価値が問われるってワケ
丁字路に鏡がなくても車は走れるが、それでも鏡を置く判断をできることがプロフェッショナルに要求される水準ってものだと思う
「ガードレールや白線や鏡がなくてもうまく走れる」はまた別の技能であって、持っているに越したことはないがそれは技巧であって安定した基礎とは別のものなんだよな……なぜか混同されがちだけど