Ruby に型が欲しい理由 - Qiita

Help us understand the problem. What is going on with this article? 2018/07/05 追記 JavaScript と漸進的型付について詳しい mizchi さんが記事を書いたので、併せて読むと良さそうです。 漸進的型付け言語の時代に必要なもの 前置き RubyKaigi2018 の発表で型の導入の検討についての話がいくつかあったものの、 Matz 自身は型アノテーションに否定的であるという発言をしているとのことを受けて、自分の意見の表明として書いている。 筆者は Ruby に育てられて Ruby は好きであるが、業務経験は主に JavaScript(TypeScript) や Python(Type Hinting) が多く、漸進的型付けによるコードの健全化を経験した上で、型付きの方が好きであるという立場である。 なお

[UhoNiceGuy]

あれ？叩かれてる。型検査で全てのバグを検知できるわけではないけど(論理的誤りとか)、型検査を通らないプログラムはバグを内包しているというのは真だよね？だったら型検査支援はありがたい。

[megumin1]

完全に負の遺産であるRubyに対して、Rubyの開発者たちが時間を割くのは撤退戦の意味もあり理解できますが、ユーザがこれ以上Rubyにこだわるのは本当に意味がわからない。泥舟に乗り続ける必要性がどこにあるのだろうか？

[shimmering]

Typescriptはある程度成功しているけれど可読性を損なう副作用があるし、なんでも型追加すればよいということではないのですが

[kazuki_9106]

独り言はブログに書いて欲しい...

[a1ue0]

型のある言語使えばいいじゃんって話で終わるんだけど。型がないRubyが人気でたけどその人気だけ頂戴して型を押し付けるって意味わからん。

[roirrawedoc]

別におかしな事は言ってないんだけど、叩いてる人は静的型検査の無い今のRubyの姿をそんなにも愛しているのかなw

[T86K9FG]

Qiitaはポエム投稿の場としてすっかり定着したな

[knjname]

型がない言語は脳がぼんやりしている人にとっては辛い

[programmablekinoko]

「ポエム」でエクスキューズを狙ってないのは好感、所感や意見は堂々というべき　／　JSみたいにaltRubyが流行る、、、？

[qtamaki]

ソースファイル単位で従来のダイナミックなrubyと型ありで動的機能には制限があるrubyと書き分けできるとかが欲しい

[snowcrush]

Goが人気出た理由の一つにDuckTypingがあるので、Rubyに持ち込むのならむしろ親和性は高いと思いけどなー。

[masaru_tech]

確かにこれがあると型が欲しくなるのではと思っている。”しかし力量差があるチームでコードを書く場合、 (Ruby に限らず)動的型付けの場合はオブジェクト指向の秩序が乱れる恐れがある。”

[ikeikeikeike]

Go, Typescriptは割とユルフワな型なんで。 Rubyの人から見ると丁度良いと感じるのは理解できるか

[yskn-beer]

“人間が他の人間の考えを想像するという「他の人間に合わせる」ことが発生してしまう場合、コンピュータに合わせる(=型を書く)よりも苦痛である。”それは、そう

[gnety]

一人でやってるときはいらないけど、二人以上になるとやっぱり欲しいよ型

[ttanimichi]

単に倒錯してるだけでしょ

[youhey]

個人的にはvoidであろうメソッドが意図しないようなreturnしてたりするのがrubyで辛かったけど、でもそれを含めていいとこなんじゃないかな

[apollo440]

ユーザーの貴重な意見ですね。でも否定コメントばかり、か...　プロダクトを作ってなんぼのプログラミング言語であるべきだが、理想ばかりで目的を見失っている。これでは終焉も近いのでは？

[mongrelP]

コメントや外部ファイル形式で行けるようにする、かぁ。

[gfx]

やっぱり TypeScript での成功体験が大きいよね。

[naari_3]

Rails って中規模以降だととても開発しにくく思うんだけどこれって型があれば解決するのかな Railsの旨みから少し逸れてる気もする

[laiso]

"特に JavaScript に徐々に型を導入して秩序を持ち込めた成功体験があればこそ、漸進的型付けに対して希望を持ちがちかもしれない。"