mangrove_gemを使ってRubyで静的型ともっと仲良くする.pdf

Transcript

1. mangrove gemを使って Rubyで静的型ともっと仲良くする 2025/04/28 - Kazuma Murata ko.rb#0
2. 自己紹介 • Kazuma Murata 村田一真 • @kazzix14 ← GitHub, Twitter, etc. • 株式会社TwoGate • バックエンドエンジニア • Rust, Ruby, TypeScript • 最寄りは笹塚（３年） 2
3. Rubyに型をガンガン入れたい派 3
4. 静的型付けを活かせる機能が 欲しくなってきた 4
5. Mangroveというgemを作っています 5
6. Mangroveとは 6 Sorbetを前提としたUtilityを提供するgem • 直和型（を簡単に書くためのsyntax sugar） • Result型 • Collectingメソッド • TryFromExt • 他にも色々やりたい
7. 直和型 中身の値を持つことができるEnumみたいなもの。
8. 直和型があると嬉しいこと ケース漏れ・型の想定違いなどに気づける。補完がきく。
9. Result型（直和型の一種） Ok, Errのvariantを持つ、成功か失敗かを表す型。各variantは異 なる型の値を持つ - Result::Ok(ok_inner) - Result::Err(err_inner)
10. Result型
11. 例外は静的に予期できない コードの奥底まで覚えてないと 例外が上がることがわからない
12. Resultならわかる！ エラーハンドリングも強制できる
13. 逆にいちいちエラーハンドリングするのがめんどくさい そのままメソッドの返り値になってくれればいいのに...
14. 逆にいちいちエラーハンドリングするのがめんどくさい そのままメソッドの返り値になってくれればいいのに...
15. 楽にエラーハンドリングできる仕組みを作った
16. 楽にエラーハンドリングできる仕組みを作った メソッドチェーンしやすい記法
17. 楽にエラーハンドリングできる仕組みを作った Rustの?operator, Haskellのdo記法的な...
18. さらに抽象化してモナド的なものが実装できないか - ログの抽象化 - Asyncの抽象化 - 配列アクセスの抽象化 - etc. Resultの機能として生やしてしまったが
19. - 便利なメソッド - モナド - Struct - より良いErrorハンドリング - などなど 今後やりたいこと
20. ありがとうございました