アツい一言をご覧ください(参考1・参考2)。ユーザーの要望に応えるのが仕事じゃないか。『ユーザーが意図・期待するものを作り出す』のが本質なわけで、少なくとも俺は顧客に「型チェックが通りませんよ」なんて言われたことはない。静的型システムそのものは面白いと思うよ。単純に俺から見ると「それはプログラミングそのものではないよね」ってこと。(バートランド・ラッセルの言い分は)要するに「コンピュータ科学分野において数学の地位が向上している」という発言であって、それ以外の何物でもない。数学という分野から逸脱してしまうから安全だと断言できない。それが、静的型システムはプログラミングではないと思う根拠だ。「コンパイルが通ったからたぶん動く」という言葉は真実だ。それは「満足の行くプログラムが書けた」とイコールにはならない。解くべきは型パズルではなく、現実問題なのだから。