Haskell なんかで冗談混じりに (冗談ではないけど) 言われるのは「静的検査が強力で自明なバグはほぼ排除できるが、そのぶん実行時エラーは非自明でデバッグが難しい」なんて話もあるよね
ここでポイントは「静的検査がなかったら注意深くコードを書くから Haskell で起きるような非自明で難しいバグは発生しづらい」なんて話を真に受ける奴はいないというところ
Haskell なんかで冗談混じりに (冗談ではないけど) 言われるのは「静的検査が強力で自明なバグはほぼ排除できるが、そのぶん実行時エラーは非自明でデバッグが難しい」なんて話もあるよね
ここでポイントは「静的検査がなかったら注意深くコードを書くから Haskell で起きるような非自明で難しいバグは発生しづらい」なんて話を真に受ける奴はいないというところ