Haskellくらい型の表現力が豊かで状態を陽に扱う言語だと、コンパイルが通れば大体狙い通り動くってことが良くある
静的型付けでもオブジェクト！フィールド変数！ウオオオ！って副作用バリバリな言語だと、テストコード書かないと安心できないことの方が多い