そろそろRailsプロジェクトに型を導入したい人向けの資料

すべての説明はイチRubyユーザーの個人的で期間も限定的な観測範囲に基づきます。 「Rubyには型がない」 ある日、同僚とプログラミング言語に関する雑談をしていたときに言われた一言です。 私はその日までRubyの型機能は使っていませんでした。忙しい毎日を送り、キャッチアップを疎かにしていたのです。後日このことは猛烈に反省することになります。 「Rubyには……型があるッ……！」 火がついた私はパターンマッチの時と同様にRubyの型についてキャッチアップすることにしました。そして最高の体験が待っていました。 導入した後の世界 ぶっちゃけRubyの型を導入するとどうなるのでしょうか？ メチャクチャ簡単に説明すると、エディタでバグがひと目で分かるようになります。 vscodeでの画面です。なにやら赤線がついています。 === bar === barの部分にカーソルを合わせてみましょう。 「Pos

[kobito19]

本当に「型最高！」と思ってるなら別の言語に移った方が。

[chinpokomon_master]

いいかげん「動的型解決」のことを「型がない」って表現するのやめた方がいいと思ってます。

[takahashim]

Rubyで求められる型は結局「都合のいい時だけ型チェック／補完したい（都合悪い時は無視したい）」みたいな（本当に都合のいい）奴で、いわゆる型システムとは永遠に分かりあえなさそうな気が

[hachibeechan]

完全無知推測なんだけどRailsのautoladerとか動的にメソッド生やしまくるgemの文化って静的型とすごい相性悪そう。その辺は割り切るのかな

[vuy]

Go/TS/Kotlinあたりに移行したほうが幸せになれそう。

[arx0balest]

そろそろ型無し糞言語から卒業してはどうかね。一体何年こんなしょうもない悩み抱えてるんだ？「動的型という型がありまァす！」とか的外れなこと言うやつは論外な

[emergent]

名前の似てるRustに移行してはいかがか？

[uehaj]

"「テストを書かなくても、コードを実行しなくても問題を発見できる」というのは利点になると思います" そうなんだけど、今までそれを良しとしてきたのはなぜなのか

[internetkun]

動的型付き言語を型がない言語って言うの通じはするけどなんとも間抜けっぽいのでやめてほしいなあ

[iga_k]

ksss先生の新作だ！ ksssさんらしい詳細な調査と説明がめっちゃよい。

[yudukikun5120]

良記事

[bellonieta]

duck typingはどうなるの？

[yo_waka]

めちゃいい

[yukiyan_w]

「Rails向け」としっかりターゲット定めて書いてあるのにブコメで他言語持ち出す人よくわからないな。型云々より日本語から勉強したほうがいいのでは。Rails好きじゃないけど、記事自体は丁寧でわかりやすい。

[sharaku3eyes]

む

[stk132]

これってエラー出てたらCIコケさせることができるの？ / エラー出てたらコンパイル通らなくて実行自体不可能ってのが静的型付け言語のメリットの一つよね。

[n314]

“型駆動開発”ファイルが分かれているからこそ、Haskellで型だけ書いて実装は全部undefinedを書いておくみたいなことがRubyだとやりやすいのか。

[gabill]

「型に定義されていないプロパティは『hoge_』のように末尾にアンダーバーを付ければ警告が出てこない」…みたいな棲み分けできないかな。

[moro]

そろそろ機運

[willnet]

そろそろ導入してみたい

[hitode909]

Perlでも使いたい

[hiroyuki1983]

それもうJavaでよくない？

[tmtms]

型があるRubyの世界、めっちゃ便利そう

[diveintounlimit]

steepてだいぶ前から無かったかいな

[udzura]

“エディタでバグがひと目で分かるようになります”

[non_117]

最高

[razokulover]

型だ

[Pasta-K]

如何にも便利そう

[onk]

型最高！

[ksss9]

書きました！