Rubyと型についてのポエム - まめめも

zenn.dev matz はじめコミッターの型に対する姿勢にも疑問を持っています。 というご意見が自分に刺さった気がしたので、他の話題はともかくこの点に関してだけ、ポエムを書きます。 「Rubyに型が欲しい」というのは、「もっと速い馬が欲しい」だと思っています。意味を知らない人は ヘンリー・フォード もっと速い馬が欲しい で検索してください。 これは批判でも皮肉でもありません。みんなが馬の乗り方を知っている世界では、誰も乗り方を知らない自動車より、速い馬のほうが確実で合理的です。まして、自動車が本当に実現できるかどうかわからない段階では。なので、他言語で型注釈を書くことによるプログラミング体験が良いと思った人が、それをRubyでも享受したいと思うのは自然だと思います。実際、Steep や Sorbet は Ruby でそういうプログラミング体験を提供することを目指していて、すでにある程度

[greenT]

TypeScriptも完璧なアーキテクチャなのではなく、現状唯一のフロントエンド言語であるJavaScriptを何とか延命しようとした妥協の産物なので、あれを好例として何かを語るのは違和感ある

[megamouth]

Typescriptが素晴らしいのはわかる。型推論によって静的型付け言語の書くスピードがあがったのもわかる。でも型がない言語とフレームワークはオワコン！というのは飛躍だし、好みの問題を技術論にすりかえてると思う

[ducktoon]

最初から型がない特徴に柔軟さや利点を感じて使っているのに疑問と言われても困るよねえ

[nilab]

「みんなが本当にほしいのは、「バグを早期発見できるRuby」「IDEで補完やドキュメント表示ができるRuby」だと思っています」「型注釈はこれらの利点を実現するためのひとつの手段にすぎません」

[maruware]

d.ts書くよりもts書いた方が早いというところあるのでrubyはどうなるか検証という意味で楽しみ

[megumin1]

プロダクトに貢献もしないで文句をいうだけではてぶ数を数百得るだけで自己満足する人よりも、このように実際に手を動かしてプロダクトに貢献している人を私は尊敬します。前者よりも後者のほうが1万倍尊いですね。

[atico]

このbetの仕方はカッコいい！他の言語に合わせるなら、そっちを使えばいいのだし。基本型も拡張できてしまうRubyでやるのは困難さを極める気がするけど、それをやろうとして、実際形になってきていて本当にすごい。

[mizchi]

RBSとtypeprof 触ってきた。これの目標設定と、それに対する実装の方向性は良さそうだけど、文化的な問題が出そう。静的型付好きな人は型を書けよと思うだろうし、動的型な人は単に意識しなさそうだと思った。

[KoshianX]

TypeProf も楽しみだな。まあ俺も正直言うと型という解決が正しいとは思わないんだよな。あれはテストをコードの中に書く手段の一つだと思ってるし、テストはなしで済むならその方が良い

[naka-06_18]

型付けのできる動的言語は他にもあるし、Rubyにこだわることは無いと思いますよね。脱Rubyのタイミングですね。

[inouetakuya]

“TypeProf は型注釈なしで同等の利点を実現できないかに挑戦する試みです。TypeProf は完成しても、既存の静的型付けのプログラミング体験とは違う体験になると思われるので、まさに「自動車」を目指しています”

[hdkINO33]

“そういう人は、Steep や Sorbet をぜひトライしていただきたいです。まだいろんなライブラリに RBS が足らないので、RBS を書いて gem_rbs に pull request を送りまくってください。”

[facpatrysis]

沼に沼をぶつけている感が・・・しかし実用レベルになったらすごいな。

[iga_k]

mameさんの型に対するアンサーソング

[iwasiman]

こちらはRuby側の方からの意見。当然RubyはRubyで今後のことも考えている訳ですね。Java全盛期の後期に注目された頃が懐かしいです。

[k0yoshitsugu]

似たりよったりなプログラミング言語ばかりになってもしょうがないし、"型注釈なしで同等の利点を実現できないかに挑戦する試み" とてもいいと思う。

[yamitzky]

個人的には mypy 使って長いので思うところがあって、型の推論はそんなに信頼できない。。。けど、TypeProfが大成功したらすごいインパクトだと思う

[aike]

個人的には型が嫌ってより型宣言とロジックという別のレイヤの記述がソースに混在しているのが好きじゃないので、賢い型推論があって、エディタ操作で型情報の表示・非表示ができる言語環境がほしいと思ってる。

[takc923]

型が「もっと速い馬」だとすると、今Rubyは型を廃れさせてしまうほどの「自動車」を作ろうとしてるってことだよね。正直想像できないけど本当に作ってしまったらかっこいいね。

[kazatsuyu]

TypeProf、なんか「自動車が欲しい」という要望に対して速い馬を作っているように見えるが

[cyokodog]

エンプラ向け雑誌で「これからはLL、Javaよりこんなにコード短くなるよ！」って言われてたころが懐かしい

[shag]

言語FUDにまともに応答する必要なんてないのにな。というかそれ自体とても非生産的でしかない言語FUDなくならんよな。

[noseld]

未来がどう転ぶかは分からないけど、自分はPHPみたいに節操なくトレンド取り込む言語のほうが好みだ。

[yamadadadada2]

文句言うだけの人より、このように解決策を提示する人の強さに憧れる

[aya_momo]

たとえは詭弁に使われがち。

[ledsun]

ランチェスターの弱者戦略、なのかな？go-lang, TypeScriptに比べ、フルタイムコミッターの数がすくない（5, 6人？）。

[Keisuke69]

動的型付けのカジュアルに書ける感じも好きだけどね

[kamocyc]

TypeProfで強引に型情報を集めるくらいなら、最初から型注釈を書いた方が高速で直感的な動作になるような気もする。(使ったことないがどうなんだろう)

[UhoNiceGuy]

おっ、Rubyにも型解析機能が入るのか。進歩してるなぁ

[sonota88]

「言語に静的型付けを後から導入する試みは 1990 年ごろから模索されていたテーマですが、ずーっと成功事例がなく、30 年してようやく実用化した」

[t-murachi]

言及元記事でも「フレームワークや言語は死んでも、そこで培われた思想は残る」と書かれていた通りなら、TypeProfという試みもそういう意味では評価されて然るべきと思う。

[enya_r]

おー