Rubyにはウンザリ！動的型付け、副作用、およびオブジェクト指向プログラミング全般からの考察 | POSTD

この記事を書き上げるには、相当長い時間がかかりました。本来は今年の年明け、 Rubyの死 やデイヴィッド・ハイネマイヤー・ハンソンの TDDは死んだ がアップされて騒ぎになる前に投稿するつもりだったのです。昨年末に書いたツイートを見てください。 > Rubyにはもう飽き飽きした。理由はいろいろあるが、特にその副作用と、ステータスが可変なせいで大量のユニットテストを書かされるのにはウンザリだ。 @abevoelker Rubyの開発に関しては、大勢の人が心のどこかで何かおかしい、何かが欠けていると思っているようですが、たいていの人は責める対象を間違っています。Rubyで書いたアプリがとんでもない代物になったって？ それはあなたがきちんとテストコードを書かなかったか、テスト駆動開発（TDD）の指針に則って開発しなかったからです。もしくは、正しいデザインパターンに切り分けるための知識が不足してい

[Isuzu_T]

でもHaskellで稼ぐのはまだ難しそうだ。静的型付け言語で、仕様が安定していて、いろんなライブラリが用意されており、実績が豊富で、30億のデバイスで走る言語があるんだが……どうかな？

[restartr]

最近rubyに対する意見がphp化してきてる感

[mas-higa]

ようやく Ruby も、この域に達したか。

[uehaj]

あ、この病気Haskell齧り始めにみんなかかるやつだ。

[ad2217]

多くの場合、新規作成は楽だがメンテナンスはそうではない。関数型言語は救いがありそうだが、まだ業務用のプログラムが大量にメンテナンスされる段階に入っていないだけかも知れない。

[ebo-c]

よし、みんなでHaskellのクソコードを量産して「行こう、ここもじき腐海に沈む」と言わせるんだ

[notae]

「Haskellではテストを書く必要がないのです」とあるが、必要ないということはなく、「Rubyでは必要だった大量のテストコードを」とすべきか。⇒誤訳が訂正された。

[nemoba]

色々ごった煮しすぎて全方位ヘイト産んでる

[deep_one]

動的型付け…考えるだに恐ろしい…／Rubyとかって「すぐ動く」ものを作るものであって、「長く動かす」ものを作るのではない気がしている。

[tanakh]

やっぱhaskellですよね～

[miruzouq]

圏論では？“カテゴリー理論”

[yimajo]

“ちょっとした修正が新たなバグを生むのではないかと常に心配しているので、ちっとも楽しくありません。”

[ledsun]

どんなイケてるプログラミング言語使っても、一年間メンテナンスしたら「誰だこのクソコード書いた奴（一年前の自分）は！」と叫ぶ。継続してプログラミングの仕事がある言語が最高の言語です。

[mhkohei]

“め”

[yamaz]

rubyで作ったシステムがMongoDBで作ったシステムと似た扱いを受ける日が来るとは。。。

[naka-06_18]

燃料

[leiopathes]

静的型付け言語に移行してもテスト量が変わらないって話は最大限の保証をテストにさせようとした時の話だよな。ぶっちゃけた話その人達は全部の処理に全部のパターンのテスト書いてんの？その方がコスパが良い認識

[shin1x1]

Ruby でもレガシーアプリケーションが増えると、こういった意見が増えていくのだろうか。

[at_yasu]

「プログラムのテストとは、バグが今ここに存在することを表すために実施されます。バグがないということを証明するものではないのです」

[minamishinji]

うまく表現してるなぁ。Rubyが本当にメジャーになりきれてない理由の一つだと思う。

[VoQn]

「Haskellでは(Rubyのような)テストを書く必要がない」としないとQuickCheckとdoctestとHspecとhpcの恩恵受けられないよ

[hirata_yasuyuki]

tomdaleのツイートが誤訳されていたのは直ったようだ。

[shuzo_kino]

約束されていた筈の大地、Rubyにも「レガシーアプリ」が跋扈し、エンジニャーがそれについて愚痴る！　この段階まで来てしまった。次の楽園はどこだ

[a_suenami]

最後の一文はちょっとわかる。 "しかし、さらに強力な言語が次々に出てくるので、私自身は最近Rubyを楽しく使えていません。"

[raydive]

あ、これ長期間運用されてきたプロジェクトでよく聞くやつや！/大体RubyとかJavaとかHaskellとか関係なくクソになる可能性はあるからなぁ。

[meg_nakagami]

ブコメをまとめると Dart 最強、と（何か間違えている。

[adwd118]

使った事ないから動的型付けのメリットがさっぱりわからん。逆に静的に型が付いてることのデメリットもわからん。ジェネリックとか型推論がないとかったるいのかな？

[poppun1940]

この記事を書き上げるには、相当長い時間がかかりました。本来は今年の年明け、 Rubyの死やデイヴィッド・ハイネマイヤー・ハンソンのTDDは死んだがアップされて騒ぎになる前に投稿するつもりだったのです。昨年末に書

[luccafort]

型安全なRubyが出たら満足なんやろ？と思ってみてみたが他にも問題あって型安全だけじゃ駄目だったらしい。 とはいえdisられてからが言語は本番かな。

[farako]

haskell かじって副作用は意識するようになったな

[hitotakuchan]

Alloyは定理証明支援系ではないですよ。仕様記述言語です。有限の事象しか扱わないので証明にはなりません。

[kiyo_hiko]

よくわからんが動的型言語言語嫌い。ほんとうに嫌い

[decoy2004]

『可能なかぎり不変型オブジェクトが使われている（プリミティブ型を使ってなんとかしのいでいる、オブジェクトを不変化するadmantiumというgemを利用する、など）』

[b-wind]

Haskell は Haskell で良いけど Ruby にも何か良い改善案があるといいですね。「どの言語がいい」ではなく「どの言語もいい」が理想的。

[ntaoo]

可燃性高い

[hiroyuki1983]

そんなにすごいのHaskell

[masa-wo]

Haskell 推しか。