こういうことを教条主義的に言う奴はみんな型をちゃんと使ってないし、t_wadaはRubyを手放さないでTDDをやれと言い続けるし、果てにはテストコードがドキュメントだとか言い始める奴も出てくるから本当に厄介
型システムで保証出来ない事前条件事後条件を引数チェック、表明を使って行うことは正しいし、テストコードを書くことも正しいが、
型システムで保証できるものを引数チェック、表明、テストコードで保証するのは、コンピュータに出来ることをプログラマがやっていることになり、これは害しかない。
また、コードの品質に大きく関わるのは設計能力でありテストコードとプロダクトコードとを書く順序ではないし(全く関わらないとは言わない)、
プログラマの意図はテストコードとは独立に自然言語でドキュメントに書かれているべきだ もちろん適切にコメントを使う必要もある
なので、一度インストールすると削除するまで自動的(機械的、無目的=アスペ的)に違和感に反応し続ける。
道徳を突き詰めると新しい子供を作る権利は誰にもないという論だった。
例え一切の苦痛も不幸もない完全な幸福を保証できたとしても出産はダメなのだという。
正しく理解できたかどうか不安だが、俺が読んだ限りでは反論の余地がないように思えた。
それにしてもより良い人生を追求するものであるはずの道徳が生そのものを否定するのは酷い皮肉だ。
理路が通ってないのキミやんね
それはね、お前を食べるためだよ!