Rubyの静的型検査を利用した開発手法の現状まとめ

Leaner 開発チームの黒曜(@kokuyouwind)です。 先週はBurikaigi2022で登壇させていただきました！ 今回はリモート開催でしたが、来年は現地でブリしゃぶを食べられると良いですね！ Burikaigi ではRBSから始める静的型付け生活と題して、 Ruby の静的型検査の概要や開発手順などについて登壇しました。 入門的な内容ではありますが、今回は発表内容を大まかにまとめた記事をお届けします。 なお記事の構成上、発表内容から一部割愛している話がありますがご容赦ください。[1] Ruby 静的型検査の概要 TypeScript の台頭や Python 3.5 での型注釈記法の導入など、動的型付けの言語においても静的型検査の仕組みを導入する動きが近年活発です。 Ruby においても 2020 年 12 月にリリースされた Ruby 3.0.0 において RBS と Typ

[tattyu]

型が無い言語は1人で弄り倒すなら全然ありだけど複数人で触り始めた瞬間から型が無い事にイラつきを覚え始めるので、ヘッダファイル見たいな2度手間な仕組みじゃなくて普通にソースに直接注釈入れれる様にしてほしい

[KoshianX]

ふーむ、Ruby の静的型検査こんな感じか。vscode なら拡張で型が表示されるんだな。推論できるところはいちいち書かずに明示したいところだけ RBS で書くみたいなところに落ち着きそうではあるな

[mas-higa]

"実際に試してみると VSCode 拡張を用いた開発サポートはかなり実用的になっている" ふつうの人が気になるのはココだけ。

[seal2501]

TS書いてる身としてはわりといい感じなんじゃないかと思うが、Rubyの良いところもなくなる気がする(帰ってくるまで結果の型がわからないのがRubyのいいところなのかと言われると違う気もする

[umai_bow]

TSぐらい型システムが強力でRailsぐらいスピード感のある開発がしたい…blitz？

[diveintounlimit]

特に変わりなしということで理解した