たとえば証明器なり型検査器が間違っていることは当然あると思うけど、それは動的型付き言語で無数のプログラマが独自に書くオレオレ検査より信用できると思う
人の目とテストケースがひとつの実装に沢山あつまるからね
あるいはデザインや制約を型に落とし込む段階で不十分だったりすることもあるかもしれないけど、それでも少なくとも静的検査のレベルで「弱い型付きの言語より状況が悪くなるということはない」のは言えるよね
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。