「自分の未来予測を信じてちょっと意地を張ってみる」 まつもとゆきひろ氏がRubyに型宣言を入れない理由 | ログミーBusiness

テーマは「動的型付け言語と大規模開発」まつもとゆきひろ氏：まつもとゆきひろです。Matzチャンネル17回目ということでお送りします。ちょっと前になりますが9月28日に私が技術顧問を始めたクラウドサーカスという会社さんがテックイベントを開催されて、その時のテーマが「動的型付け言語と大規模開発」というテーマでした。 その時に話したこととか、話そうとしたこと、話そうと思っていたんだけど時間の関係で話せなかったことなどを補足する意味も含めて今日はちょっと放送しようかと思います。というか、分量が多いので2回に分けて話そうかなと思っています。 このクラウドサーカスのイベントのテーマは別に私から指定したわけではなくて、先方が「こんなテーマで話したいんだ」とか「聞きたいんですけど」ということで設定されたんですね。 「動的型付け言語と大規模開発」。例えばRubyとか、Ruby on Railsとかで開発をし

[dot]

そこそこ長くプログラム書いてるので、交互に揺り返しがあるのはそうだなと思う。最近はすっかりTypescriptばかり書いてるけど、型パズル解くのに結構時間取られたりするので、ﾑｷｰとなる瞬間はある。

[Falky]

「型警察がコミュニティにとって有害だから」という理由の納得度の高さよ…笑

[w1234567]

なんかもう意地になってるよね、Elixirの＠specアノテーションやPHP8に文句言ってる人おらんし、Rubyの良いところってCommon LispとかPerlとか他の言語の良いところを節操なく取り入れるところにあったと思うんだが

[otoan52]

言語に組み込んだ型でないといけないのは、あくまで言語処理系が処理できる範囲でシステマチックに定義されていないと扱えないという、現状が前提ではあるのよね。AIの得意分野の気もするんだよな。

[oooooooo]

“昔のRubyや昔のLispみたいに「型宣言なんかありません。必ず動的チェックをします」みたいなものではなくて、ある種の静的型チェックが導入されて、だけど型宣言のない言語が未来で流行るんじゃないかなと私は思って

[turanukimaru]

Java 系もフレームワークが型ベースからアノテーションベースになったりしてるし単純なことをやるには窮屈すぎるし、型は有ればいいというものではない。

[daruyanagi]

“型宣言のある言語が流行ったり、ない言語が流行ったりというのが、ここ何十年もずっと交代に起きてきました。 なので、例えばこれから10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性はけっこう

[tech0403]

型宣言のメリットが言語使用者側のメリットを挙げてるのに対し、デメリットが「チューリング完全になってしまってやり過ぎ」だと。それコンパイラを作る側の面倒くさいという感情の話よね？大丈夫かこの人。

[takeag]

多くのRubyにヘイトを向ける人達は、仕方なくRoRを保守する事になり、型のメリットを受ける事ができずに苦戦してる人達かもしれない。 気持ちはわかる。Rubyがその路線を貫くのはいいのだけど被害者が多すぎる

[Eiichiro]

Rubyでも型指定できるgem使ってたりするので、必要なときだけ使える今ぐらいで良い塩梅なのが嬉しいな。 普段は書くまでもないので書きたくないし、システム境界は型の不正が起きやすいので、型が欲しい。

[kanetann]

“実行時の型情報みたいなものを活用することによって、下手すると型宣言によって与えられた情報よりも強力な最適化をする余地があるんですね。実際にV8は、バーチャルマシンとしてJavaScriptの実行が非常に高速にできて

[gabill]

"型宣言を付けていないプログラムに対して文句をつけまくるみたいな人たちがコミュニティに登場しそう" rubyでfor文書いたらfor警察がくるし、そういうのはどこの言語でも同じだと思う。

[lets_skeptic]

動的型宣言とダックタイピングとmix-in使われると、何度解析しても少ししたら分からなくなるコードができあがる。でも、インターフェース使いまくりのコードもわかんなくなる。

[syu-m-5151]

LLMがほぼ完璧に近い指示を出してくれる世界線だと型宣言すらも邪魔になる可能性があると思っている "10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性は高いんじゃないかなと思う"

[mobius118]

型指定が、直感性をこの上なく尊ぶpythonの美点をやや損ねている印象も受けるので、簡単なことしてるのに難読感が増すというご意見には同意です。型指定は我慢して受け入れるもの、と捉えています。

[tokuniimihanai]

今まで普通にRubyで開発してた人々が、急に静的型付け狂信者を気取り出すのをよく観測する。この前のPython怪文書もそうだけど、白々しいんだよな。

[YassLab]

"10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性は高いんじゃないかなと思う / その時に今のRubyに型宣言を入れちゃうと、その時の新しい言語の仲間にRubyを入れてもらえないみたいなことが起きる"

[uehaj]

オンデマンドで模擬実行して型宣言を生成できるようにはなるだろうね

[KoshianX]

型警察が出てきてコミュニティの雰囲気が悪くなるってところを懸念してるというのさすがという感じ。Rails 流行った頃に必要もないようなテストを大量に書くのが流行ったときの雰囲気と同じものを感じるんだよなあ

[eggplantte]

pythonの型ヒントぐらいの緩さで型宣言は欲しいかなぁ。どっちのトレンドになっても対応できるし。別ファイル管理はちょっと面倒過ぎ。

[paradoxparanoic]

Rubyはそれでいいんじゃないかな。私は使わないと思う

[jintrick]

型警察みたいなものが出てくる、と

[cinq_na]

氏が優秀である故の発言でもありますね。100人単位で人集めるプロジェクトで型宣言無しは無理。

[tybalt]

別ファイルで定義するのは個人的にはあまり好きじゃないな。静的型付けについては、Crystal が上手くいくと良いなと思ってる。

[atsushieno]

「V8もJSの型情報の無いコードを最適化出来ているから問題ない」って、V8開発者も同意しないと思う。geminiも同じような答えを返した https://g.co/gemini/share/9279178ebf2d

[syuu256]

これにつきる“型宣言のある言語が流行ったり、ない言語が流行ったりというのが、ここ何十年もずっと交代に起きてきました。”

[marshi]

copilotの延長でいえば逆に型をつけてさえいればまともに書いてくれる未来のほうがありえそう。使う人の意見はどうあれrubyの作者がrubyをどういうものにするかは作者の特権だと思うのでそれでいいと思う。

[manimoto]

"10年、15年、20年先の未来で十分にテクノロジーが進歩した暁には、十分にコンパイラが賢くなって、型宣言がなくても幸せな開発ができる未来が来るんじゃないかなというふうに思っていて" 激しく同意。

[circled]

何が凄いってLISPは型宣言も使えるし、使うと当然コンパイル後に爆速になるところ。C言語よりも歴史が古いのに割と何でも出来る。ただ、LISPの強力なマクロのためには型なんて邪魔なので、型宣言も使い所が全てよな

[akymrk]

“私のこだわりや判断が、未来の人から笑われる可能性は十分に高いんですが（笑）。でもRubyは一応私の言語なので、今は自分の未来予測を信じて、ちょっとここは意地を張ってみよう”

[EzoWolf]

Common Lisp は型指定することができます。型指定しないこともできるけど

[kamm]

型宣言がなくてもGitHubみたいな巨大なサービスが作れてしまうわけだしね

[doko]

ぼくいまだに「型があたる」の意味を体感できてない

[hecaton55]

Rubyはこれで良いと思うけどな。別に主流じゃなくなってもLispみたいに生き延びることが出来れば良い。まぁ言語は単なる道具なので使いたいときに使えれば良いかと

[otchy210]

手で型を書かず極力 any を避け IDE の支援のみに頼って TypeScript を書いたらかなりその状況に近い気がするが、どのくらい幸せかなぁ？