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

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

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for kazzix kazzix
April 28, 2025
Programming
0
42

 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
Apache Iceberg V3 and migration to V3
Avatar for Tomohiro Tanaka tomtanaka
0
170
CSC307 Lecture 05
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
500
AIと一緒にレガシーに向き合ってみた
Avatar for nyafunta9858 nyafunta9858
0
260
AIによるイベントストーミング図からのコード生成 / AI-powered code generation from Event Storming diagrams
Avatar for nrs nrslib
2
1.9k
組織で育むオブザーバビリティ
Avatar for ryotaro kobayashi ryota_hnk
0
180
CSC307 Lecture 08
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
670
AtCoder Conference 2025
Avatar for shindannin shindannin
0
1.1k
20260127_試行錯誤の結晶を1冊に。著者が解説 先輩データサイエンティストからの指南書 / author's_commentary_ds_instructions_guide
Avatar for nash_efp nash_efp
1
1k
高速開発のためのコード整理術
Avatar for sutetotanuki sutetotanuki
1
410
Vibe Coding - AI 驅動的軟體開發
Avatar for Micky Li mickyp100
0
180
QAフローを最適化し、品質水準を満たしながらリリースまでの期間を最短化する #RSGT2026
Avatar for shibayu36 shibayu36
2
4.4k
AI時代の認知負荷との向き合い方
Avatar for OptFit Corp. optfit
0
170

Featured

See All Featured
4 Signs Your Business is Dying
Avatar for Josh Pigford shpigford
187
22k
The Impact of AI in SEO - AI Overviews June 2024 Edition
Avatar for Aleyda Solis aleyda
5
740
Utilizing Notion as your number one productivity tool
Avatar for Mfonobong Umondia mfonobong
3
220
Performance Is Good for Brains [We Love Speed 2024]
Avatar for Tammy Everts tammyeverts
12
1.4k
Public Speaking Without Barfing On Your Shoes - THAT 2023
Avatar for David Neal reverentgeek
1
310
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.3k
Winning Ecommerce Organic Search in an AI Era - #searchnstuff2025
Avatar for Aleyda Solis aleyda
1
1.9k
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
Avatar for Katarina Dahlin katarinadahlin
PRO
0
3.4k
Building Applications with DynamoDB
Avatar for Matt Wood mza
96
6.9k
Easily Structure & Communicate Ideas using Wireframe
Avatar for Afnizar Nur Ghifari afnizarnur
194
17k
JavaScript: Past, Present, and Future - NDC Porto 2020
Avatar for David Neal reverentgeek
52
5.8k
Dominate Local Search Results - an insider guide to GBP, reviews, and Local SEO
Avatar for Greg Gifford greggifford
PRO
0
80

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