https://b.hatena.ne.jp/entry/s/revent.8card.net/columns/7bls5l96vg まつもとゆきひろ氏が、動的型付け言語と静的型付け言語のメリット・デメリットについて語りました。 テーマは「動的型付け言語と大規模開発」まつもとゆきひろ氏：まつもとゆきひろです。Matzチャンネル17回目と... https://b.hatena.ne.jp/arrayszk/20250604#bookmark-4751612434904817504 2025-06-03T19:42:15Z Pocket https://b.hatena.ne.jp/techtech0521/20240630#bookmark-4751612434904817504 2024-06-30T11:41:38Z あとで読む https://b.hatena.ne.jp/gabill/20240530#bookmark-4751612434904817504 "型宣言を付けていないプログラムに対して文句をつけまくるみたいな人たちがコミュニティに登場しそう" rubyでfor文書いたらfor警察がくるし、そういうのはどこの言語でも同じだと思う。 2024-05-30T08:48:30Z https://b.hatena.ne.jp/kosh04/20240424#bookmark-4751612434904817504 2024-04-23T22:09:25Z https://b.hatena.ne.jp/fuyu77/20240412#bookmark-4751612434904817504 2024-04-12T01:22:07Z Ruby https://b.hatena.ne.jp/okumuraa1/20240412#bookmark-4751612434904817504 2024-04-11T21:31:13Z あとで読む ruby https://b.hatena.ne.jp/nabeatsu1/20240411#bookmark-4751612434904817504 2024-04-11T03:53:57Z https://b.hatena.ne.jp/yutag/20240410#bookmark-4751612434904817504 2024-04-10T02:31:35Z Ruby https://b.hatena.ne.jp/mieki256/20240409#bookmark-4751612434904817504 2024-04-09T12:42:43Z programming https://b.hatena.ne.jp/quodius/20240409#bookmark-4751612434904817504 2024-04-09T06:27:49Z あとで読む https://b.hatena.ne.jp/kinushu/20240409#bookmark-4751612434904817504 2024-04-09T06:04:43Z https://b.hatena.ne.jp/lets_skeptic/20240408#bookmark-4751612434904817504 動的型宣言とダックタイピングとmix-in使われると、何度解析しても少ししたら分からなくなるコードができあがる。でも、インターフェース使いまくりのコードもわかんなくなる。 2024-04-08T03:20:21Z https://b.hatena.ne.jp/okishima_k/20240407#bookmark-4751612434904817504 2024-04-07T10:17:33Z プログラミング 開発 言語 https://b.hatena.ne.jp/syu-m-5151/20240407#bookmark-4751612434904817504 LLMがほぼ完璧に近い指示を出してくれる世界線だと型宣言すらも邪魔になる可能性があると思っている "10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性は高いんじゃないかなと思う" 2024-04-07T02:45:56Z https://b.hatena.ne.jp/shakeisan/20240407#bookmark-4751612434904817504 2024-04-07T00:13:52Z https://b.hatena.ne.jp/mobius118/20240407#bookmark-4751612434904817504 型指定が、直感性をこの上なく尊ぶpythonの美点をやや損ねている印象も受けるので、簡単なことしてるのに難読感が増すというご意見には同意です。型指定は我慢して受け入れるもの、と捉えています。 2024-04-06T22:25:08Z https://b.hatena.ne.jp/dhesusan4649/20240407#bookmark-4751612434904817504 2024-04-06T20:40:52Z Ruby 型 https://b.hatena.ne.jp/xmobile/20240407#bookmark-4751612434904817504 2024-04-06T16:57:03Z https://b.hatena.ne.jp/yamadar/20240406#bookmark-4751612434904817504 2024-04-06T12:47:00Z *Ruby 考え方 プログラミング https://b.hatena.ne.jp/tokuniimihanai/20240406#bookmark-4751612434904817504 今まで普通にRubyで開発してた人々が、急に静的型付け狂信者を気取り出すのをよく観測する。この前のPython怪文書もそうだけど、白々しいんだよな。 2024-04-06T04:00:23Z https://b.hatena.ne.jp/tech0403/20240406#bookmark-4751612434904817504 型宣言のメリットが言語使用者側のメリットを挙げてるのに対し、デメリットが「チューリング完全になってしまってやり過ぎ」だと。それコンパイラを作る側の面倒くさいという感情の話よね？大丈夫かこの人。 2024-04-06T02:55:26Z https://b.hatena.ne.jp/YassLab/20240406#bookmark-4751612434904817504 "10年後、あるいは15年後、20年後に、型宣言がない言語が流行る可能性は高いんじゃないかなと思う / その時に今のRubyに型宣言を入れちゃうと、その時の新しい言語の仲間にRubyを入れてもらえないみたいなことが起きる" 2024-04-06T02:16:00Z Ruby 型 言語 開発 プログラミング https://b.hatena.ne.jp/marton/20240406#bookmark-4751612434904817504 2024-04-06T00:01:30Z あとで読む https://b.hatena.ne.jp/uehaj/20240406#bookmark-4751612434904817504 オンデマンドで模擬実行して型宣言を生成できるようにはなるだろうね 2024-04-05T22:46:46Z https://b.hatena.ne.jp/yoshiakist/20240406#bookmark-4751612434904817504 2024-04-05T22:28:10Z https://b.hatena.ne.jp/KoshianX/20240406#bookmark-4751612434904817504 型警察が出てきてコミュニティの雰囲気が悪くなるってところを懸念してるというのさすがという感じ。Rails 流行った頃に必要もないようなテストを大量に書くのが流行ったときの雰囲気と同じものを感じるんだよなあ 2024-04-05T22:25:19Z https://b.hatena.ne.jp/putchom/20240406#bookmark-4751612434904817504 2024-04-05T22:20:13Z ruby 開発 https://b.hatena.ne.jp/eggplantte/20240406#bookmark-4751612434904817504 pythonの型ヒントぐらいの緩さで型宣言は欲しいかなぁ。どっちのトレンドになっても対応できるし。別ファイル管理はちょっと面倒過ぎ。 2024-04-05T22:00:26Z https://b.hatena.ne.jp/mjtai/20240406#bookmark-4751612434904817504 2024-04-05T21:45:52Z プログラミング 言語 https://b.hatena.ne.jp/paradoxparanoic/20240406#bookmark-4751612434904817504 Rubyはそれでいいんじゃないかな。私は使わないと思う 2024-04-05T21:35:12Z https://b.hatena.ne.jp/kurarnu/20240406#bookmark-4751612434904817504 2024-04-05T21:29:13Z https://b.hatena.ne.jp/jintrick/20240406#bookmark-4751612434904817504 型警察みたいなものが出てくる、と 2024-04-05T21:21:30Z https://b.hatena.ne.jp/jigarashi/20240406#bookmark-4751612434904817504 2024-04-05T21:07:49Z https://b.hatena.ne.jp/jacoyutorius/20240406#bookmark-4751612434904817504 2024-04-05T20:30:53Z https://b.hatena.ne.jp/peketamin/20240406#bookmark-4751612434904817504 2024-04-05T19:35:19Z https://b.hatena.ne.jp/eisukeww/20240406#bookmark-4751612434904817504 2024-04-05T18:15:42Z https://b.hatena.ne.jp/Eiichiro/20240406#bookmark-4751612434904817504 Rubyでも型指定できるgem使ってたりするので、必要なときだけ使える今ぐらいで良い塩梅なのが嬉しいな。 普段は書くまでもないので書きたくないし、システム境界は型の不正が起きやすいので、型が欲しい。 2024-04-05T17:58:21Z https://b.hatena.ne.jp/cinq_na/20240406#bookmark-4751612434904817504 氏が優秀である故の発言でもありますね。100人単位で人集めるプロジェクトで型宣言無しは無理。 2024-04-05T17:56:13Z https://b.hatena.ne.jp/fubar_foo/20240406#bookmark-4751612434904817504 2024-04-05T16:42:50Z ruby programming language https://b.hatena.ne.jp/tybalt/20240406#bookmark-4751612434904817504 別ファイルで定義するのは個人的にはあまり好きじゃないな。静的型付けについては、Crystal が上手くいくと良いなと思ってる。 2024-04-05T16:41:45Z Ruby Crystal https://b.hatena.ne.jp/atsushieno/20240406#bookmark-4751612434904817504 「V8もJSの型情報の無いコードを最適化出来ているから問題ない」って、V8開発者も同意しないと思う。geminiも同じような答えを返した https://g.co/gemini/share/9279178ebf2d 2024-04-05T16:38:17Z https://b.hatena.ne.jp/rummelonp/20240406#bookmark-4751612434904817504 2024-04-05T16:26:55Z https://b.hatena.ne.jp/makopy_inside/20240406#bookmark-4751612434904817504 2024-04-05T15:29:58Z https://b.hatena.ne.jp/syuu256/20240406#bookmark-4751612434904817504 これにつきる“型宣言のある言語が流行ったり、ない言語が流行ったりというのが、ここ何十年もずっと交代に起きてきました。” 2024-04-05T15:14:58Z https://b.hatena.ne.jp/bxmcr/20240405#bookmark-4751612434904817504 2024-04-05T14:54:51Z プログラミング 言語 ruby https://b.hatena.ne.jp/fjwr38/20240405#bookmark-4751612434904817504 2024-04-05T14:35:29Z https://b.hatena.ne.jp/wushi/20240405#bookmark-4751612434904817504 2024-04-05T14:34:28Z あとで読む https://b.hatena.ne.jp/hachi/20240405#bookmark-4751612434904817504 2024-04-05T14:27:40Z https://b.hatena.ne.jp/crockskun/20240405#bookmark-4751612434904817504 2024-04-05T14:18:41Z あとで読む https://b.hatena.ne.jp/toshikish/20240405#bookmark-4751612434904817504 2024-04-05T14:17:10Z https://b.hatena.ne.jp/minamijoyo/20240405#bookmark-4751612434904817504 2024-04-05T14:10:59Z https://b.hatena.ne.jp/knj2918/20240405#bookmark-4751612434904817504 2024-04-05T13:53:31Z ★good https://b.hatena.ne.jp/mennmabacon/20240405#bookmark-4751612434904817504 2024-04-05T13:52:34Z https://b.hatena.ne.jp/mstk_knife/20240405#bookmark-4751612434904817504 2024-04-05T13:47:03Z あとで読む https://b.hatena.ne.jp/tsumuchan/20240405#bookmark-4751612434904817504 2024-04-05T13:46:29Z あとで読む https://b.hatena.ne.jp/marshi/20240405#bookmark-4751612434904817504 copilotの延長でいえば逆に型をつけてさえいればまともに書いてくれる未来のほうがありえそう。使う人の意見はどうあれrubyの作者がrubyをどういうものにするかは作者の特権だと思うのでそれでいいと思う。 2024-04-05T13:40:22Z https://b.hatena.ne.jp/m41bulldog/20240405#bookmark-4751612434904817504 2024-04-05T13:24:23Z https://b.hatena.ne.jp/ys0000/20240405#bookmark-4751612434904817504 2024-04-05T13:19:00Z https://b.hatena.ne.jp/manimoto/20240405#bookmark-4751612434904817504 "10年、15年、20年先の未来で十分にテクノロジーが進歩した暁には、十分にコンパイラが賢くなって、型宣言がなくても幸せな開発ができる未来が来るんじゃないかなというふうに思っていて" 激しく同意。 2024-04-05T13:17:32Z https://b.hatena.ne.jp/circled/20240405#bookmark-4751612434904817504 何が凄いってLISPは型宣言も使えるし、使うと当然コンパイル後に爆速になるところ。C言語よりも歴史が古いのに割と何でも出来る。ただ、LISPの強力なマクロのためには型なんて邪魔なので、型宣言も使い所が全てよな 2024-04-05T13:11:47Z https://b.hatena.ne.jp/htsnul/20240405#bookmark-4751612434904817504 2024-04-05T13:01:53Z https://b.hatena.ne.jp/qtpa/20240405#bookmark-4751612434904817504 2024-04-05T13:00:34Z あとで読む https://b.hatena.ne.jp/gawasa29/20240405#bookmark-4751612434904817504 2024-04-05T12:55:19Z https://b.hatena.ne.jp/naari_3/20240405#bookmark-4751612434904817504 2024-04-05T12:36:44Z https://b.hatena.ne.jp/threetea0407/20240405#bookmark-4751612434904817504 2024-04-05T12:33:43Z https://b.hatena.ne.jp/akymrk/20240405#bookmark-4751612434904817504 “私のこだわりや判断が、未来の人から笑われる可能性は十分に高いんですが（笑）。でもRubyは一応私の言語なので、今は自分の未来予測を信じて、ちょっとここは意地を張ってみよう” 2024-04-05T12:26:36Z https://b.hatena.ne.jp/itosho525/20240405#bookmark-4751612434904817504 2024-04-05T12:22:27Z https://b.hatena.ne.jp/takeag/20240405#bookmark-4751612434904817504 多くのRubyにヘイトを向ける人達は、仕方なくRoRを保守する事になり、型のメリットを受ける事ができずに苦戦してる人達かもしれない。 気持ちはわかる。Rubyがその路線を貫くのはいいのだけど被害者が多すぎる 2024-04-05T11:57:41Z https://b.hatena.ne.jp/EzoWolf/20240405#bookmark-4751612434904817504 Common Lisp は型指定することができます。型指定しないこともできるけど 2024-04-05T11:57:07Z プログラミング https://b.hatena.ne.jp/kimihito/20240405#bookmark-4751612434904817504 2024-04-05T11:47:07Z https://b.hatena.ne.jp/kamm/20240405#bookmark-4751612434904817504 型宣言がなくてもGitHubみたいな巨大なサービスが作れてしまうわけだしね 2024-04-05T11:35:24Z https://b.hatena.ne.jp/jama_ican/20240405#bookmark-4751612434904817504 2024-04-05T11:20:32Z https://b.hatena.ne.jp/BuchuntaGo/20240405#bookmark-4751612434904817504 2024-04-05T11:06:49Z https://b.hatena.ne.jp/Falky/20240405#bookmark-4751612434904817504 「型警察がコミュニティにとって有害だから」という理由の納得度の高さよ…笑 2024-04-05T11:03:35Z !! https://b.hatena.ne.jp/batta/20240405#bookmark-4751612434904817504 2024-04-05T10:54:21Z ruby programming https://b.hatena.ne.jp/ymm1x/20240405#bookmark-4751612434904817504 2024-04-05T10:52:48Z あとで読む https://b.hatena.ne.jp/longyang/20240405#bookmark-4751612434904817504 2024-04-05T10:27:17Z あとで読む https://b.hatena.ne.jp/utchee/20240405#bookmark-4751612434904817504 2024-04-05T10:26:33Z https://b.hatena.ne.jp/khtokage/20240405#bookmark-4751612434904817504 2024-04-05T10:21:46Z https://b.hatena.ne.jp/chankuri/20240405#bookmark-4751612434904817504 2024-04-05T10:15:21Z あとで読む https://b.hatena.ne.jp/doko/20240405#bookmark-4751612434904817504 ぼくいまだに「型があたる」の意味を体感できてない 2024-04-05T10:14:29Z https://b.hatena.ne.jp/t_mori/20240405#bookmark-4751612434904817504 2024-04-05T10:11:57Z https://b.hatena.ne.jp/Kirche/20240405#bookmark-4751612434904817504 2024-04-05T10:10:05Z https://b.hatena.ne.jp/uniom/20240405#bookmark-4751612434904817504 2024-04-05T09:56:22Z https://b.hatena.ne.jp/turanukimaru/20240405#bookmark-4751612434904817504 Java 系もフレームワークが型ベースからアノテーションベースになったりしてるし単純なことをやるには窮屈すぎるし、型は有ればいいというものではない。 2024-04-05T09:37:20Z https://b.hatena.ne.jp/ant_mugi/20240405#bookmark-4751612434904817504 2024-04-05T09:32:50Z あとで読む https://b.hatena.ne.jp/hecaton55/20240405#bookmark-4751612434904817504 Rubyはこれで良いと思うけどな。別に主流じゃなくなってもLispみたいに生き延びることが出来れば良い。まぁ言語は単なる道具なので使いたいときに使えれば良いかと 2024-04-05T09:26:38Z https://b.hatena.ne.jp/otchy210/20240405#bookmark-4751612434904817504 手で型を書かず極力 any を避け IDE の支援のみに頼って TypeScript を書いたらかなりその状況に近い気がするが、どのくらい幸せかなぁ？ 2024-04-05T09:07:08Z https://b.hatena.ne.jp/fuji_haruka/20240405#bookmark-4751612434904817504 2024-04-05T09:05:45Z https://b.hatena.ne.jp/tetram/20240405#bookmark-4751612434904817504 2024-04-05T08:31:05Z https://b.hatena.ne.jp/medicalcloud/20240405#bookmark-4751612434904817504 2024-04-05T08:22:48Z https://b.hatena.ne.jp/knjname/20240405#bookmark-4751612434904817504 型の紅茶おばさん側も新しい時代の型付けを模索してるのはあると思う 2024-04-05T08:22:21Z https://b.hatena.ne.jp/CLSmooth/20240405#bookmark-4751612434904817504 2024-04-05T08:18:50Z https://b.hatena.ne.jp/single_wing/20240405#bookmark-4751612434904817504 2024-04-05T08:16:32Z あとで読む https://b.hatena.ne.jp/xlc/20240405#bookmark-4751612434904817504 型チェックのおかげでバグを防げるメリットよりも、型チェックによりプログラムの自由度が下がるデメリットの方が大きいと思ってる。 2024-04-05T08:15:16Z https://b.hatena.ne.jp/karuakun/20240405#bookmark-4751612434904817504 2024-04-05T08:11:26Z あとで読む https://b.hatena.ne.jp/tzmfreedom/20240405#bookmark-4751612434904817504 2024-04-05T08:04:45Z https://b.hatena.ne.jp/cu39/20240405#bookmark-4751612434904817504 「ミュニティの中におそらくですが、型警察みたいなものが出てくると思うんですね」「たぶんコミュニティの雰囲気がすごく悪くなると思っていて」 2024-04-05T07:23:14Z https://b.hatena.ne.jp/urtz/20240405#bookmark-4751612434904817504 “型警察” 2024-04-05T07:15:54Z https://b.hatena.ne.jp/dot/20240405#bookmark-4751612434904817504 そこそこ長くプログラム書いてるので、交互に揺り返しがあるのはそうだなと思う。最近はすっかりTypescriptばかり書いてるけど、型パズル解くのに結構時間取られたりするので、ﾑｷｰとなる瞬間はある。 2024-04-05T07:15:40Z