Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for kazzix kazzix
April 28, 2025
Programming
0
40

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

Avatar for kazzix

kazzix

April 28, 2025
Tweet

More Decks by kazzix

See All by kazzix
Type on Rails - Railsアプリケーションの安全性と開発体験を型で革新する
Avatar for kazzix kazzix
5
1.6k
プログラミング言語Rustのすすめ @TwoGate Tech Meeting
Avatar for kazzix kazzix
0
280

Other Decks in Programming

See All in Programming
The Past, Present, and Future of Enterprise Java
Avatar for ivargrimstad ivargrimstad
0
310
QAフローを最適化し、品質水準を満たしながらリリースまでの期間を最短化する #RSGT2026
Avatar for shibayu36 shibayu36
2
4.1k
20260127_試行錯誤の結晶を1冊に。著者が解説 先輩データサイエンティストからの指南書 / author's_commentary_ds_instructions_guide
Avatar for nash_efp nash_efp
0
780
Fragmented Architectures
Avatar for Denys Poltorak denyspoltorak
0
140
大規模Cloud Native環境におけるFalcoの運用
Avatar for Chihiro Hasegawa owlinux1000
0
260
[AI Engineering Summit Tokyo 2025] LLMは計画業務のゲームチェンジャーか？ 最適化業務における活⽤の可能性と限界
Avatar for terry-u16 terryu16
2
590
Kotlin Multiplatform Meetup - Compose Multiplatform 외부 의존성 아키텍처 설계부터 운영까지
Avatar for Suhyeon Kim wisemuji
0
180
疑似コードによるプロンプト記述、どのくらい正確に実行される？
Avatar for kokuyouwind kokuyouwind
0
360
今から始めるClaude Code超入門
Avatar for 448jp | OKI Yoshiya 448jp
5
6.6k
責任感のあるCloudWatchアラームを設計しよう
Avatar for アキキー akihisaikeda
3
130
16年目のピクシブ百科事典を支える最新の技術基盤 / The Modern Tech Stack Powering Pixiv Encyclopedia in its 16th Year
Avatar for ahu ahuglajbclajep
5
940
MDN Web Docs に日本語翻訳でコントリビュート
Avatar for uutan1108 ohmori_yusuke
0
620

Featured

See All Featured
How to audit for AI Accessibility on your Front & Back End
Avatar for davetheseo davetheseo
0
150
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
225
10k
Building Better People: How to give real-time feedback that sticks.
Avatar for Will Jessup wjessup
370
20k
DevOps and Value Stream Thinking: Enabling flow, efficiency and business value
Avatar for Helen Beal helenjbeal
1
88
Color Theory Basics | Prateek | Gurzu
Avatar for Gurzu gurzu
0
190
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
55
12k
Data-driven link building: lessons from a $708K investment (BrightonSEO talk)
Avatar for Szymon szymonslowik
1
900
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
37
6.2k
Navigating the Design Leadership Dip - Product Design Week Design Leaders+ Conference 2024
Avatar for Andy Polaine apolaine
0
170
Ruling the World: When Life Gets Gamed
Avatar for Sebastian Deterding codingconduct
0
130
SEOcharity - Dark patterns in SEO and UX: How to avoid them and build a more ethical web
Avatar for Sara Fernández Carmona sarafernandez
0
110
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
302
51k

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. ありがとうございました