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

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

Avatar for kazzix kazzix
April 28, 2025
Programming
48
0

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

Avatar for kazzix

kazzix

April 28, 2025

More Decks by kazzix

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

Other Decks in Programming

See All in Programming
開発体験を左右するライブラリの API 設計 - GraphQL スキーマ構築ライブラリから考える #tskaigi
Avatar for izumin5210 izumin5210
2
520
技術記事、AIに書かせるか、自分で書くか？ 〜それでも私が自分の手で書く理由〜 / #QiitaConference
Avatar for Junichi Ito jnchito
2
210
柔軟なPDFレイアウトエディタを支える型システム設計 — Discriminated UnionとConditional Typeの実践
Avatar for minako-ph minako__ph
3
570
実践ハーネスエンジニアリング：ステアリングループを実例から読み解く / Practical Harness Engineering: Understanding Steering Loops Through Real-World Examples
Avatar for nrs nrslib
6
6.2k
Zod v4 Codec でスキーマに型変換を埋め込む REST API 設計 #TSKaigi2026
Avatar for Ryutaro Yako ryutaro_yako
0
140
ReactとSvelteのその先、Ripple-TS / Beyond React and Svelte: Ripple-TS
Avatar for TOMIKAWA Sotaro ssssota
3
750
iOS26時代の新規アプリ開発
Avatar for 野瀬田　裕樹 yuukiw00w
0
200
Copilot CLI の継戦能力を高める コンテキスト管理
Avatar for Nozomuts nozomutu
1
920
Talking to terminals (and how they talk back) (KotlinConf 2026)
Avatar for Jake Wharton jakewharton
PRO
1
110
20年以上続くプロダクトでも使い続けられる静的解析ツールを求めて
Avatar for Atsushi Matsuo matsuo_atsushi
0
160
AI駆動開発で崩れていくコードベースを立て直す
Avatar for Kyoko NR kyoko_nr_nr
1
360
次世代リンターで探る、tsgo 時代における型認識カスタムルールの現実解
Avatar for Yuta Takahashi ytakahashii
1
950

Featured

See All Featured
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
Avatar for Tech SEO Connect techseoconnect
PRO
0
140
Conquering PDFs: document understanding beyond plain text
Avatar for Ines Montani inesmontani
PRO
4
2.7k
Tell your own story through comics
Avatar for letsgokoyo letsgokoyo
1
930
Faster Mobile Websites
Avatar for Dean Hume deanohume
310
31k
What does AI have to do with Human Rights?
Avatar for Per Axbom axbom
PRO
1
2.1k
The browser strikes back
Avatar for Jono Alderson jonoalderson
0
1.1k
Docker and Python
Avatar for Tania Allard trallard
47
3.8k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
408
66k
Helping Users Find Their Own Way: Creating Modern Search Experiences
Avatar for Dan Newman danielanewman
31
3.2k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.8k
Navigating Weather and Climate Data
Avatar for Ryan Abernathey rabernat
0
200
The AI Revolution Will Not Be Monopolized: How open-source beats economies of scale, even for LLMs
Avatar for Ines Montani inesmontani
PRO
3
3.5k

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