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

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

Avatar for kazzix kazzix
April 28, 2025
Programming
0
43

 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
受け入れテスト駆動開発(ATDD)×AI駆動開発 AI時代のATDDの取り組み方を考える
Avatar for Takasaki Kazunari kztakasaki
2
510
grapheme_strrev関数が採択されました（あと雑感）
Avatar for てきめん tekimen youkidearitai
PRO
1
200
「やめとこ」がなくなった — 1月にZennを始めて22本書いた AI共創開発のリアル
Avatar for atani atani14
0
340
AI活用のコスパを最大化する方法
Avatar for Ochtum ochtum
0
120
株式会社 Sun terras カンパニーデック
Avatar for Sun terras.Inc sunterras
0
1.9k
The Ralph Wiggum Loop: First Principles of Autonomous Development
Avatar for Ryuichiro Semba sembayui
0
3.7k
AI巻き込み型コードレビューのススメ
Avatar for Nealle nealle
2
2.5k
Rで始めるML・LLM活用入門
Avatar for wakama1994 wakamatsu_takumu
0
140
ぼくの開発環境2026
Avatar for yuzneri yuzneri
1
290
ご飯食べながらエージェントが開発できる。そう、Agentic Engineeringならね。
Avatar for yoko / Naoki Yokomachi yokomachi
1
280
AI主導でFastAPIのWebサービスを作るときに 人間が構造化すべき境界線
Avatar for Jun okazaki okajun35
0
460
Claude Code の Skill で複雑な既存仕様をすっきり整理しよう
Avatar for yuichiro_takahashi yuichirokato
1
240

Featured

See All Featured
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
Avatar for Marc Duiker marcduiker
35
2.4k
How GitHub (no longer) Works
Avatar for Zach Holman holman
316
140k
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
200
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
97
6.5k
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
Avatar for konakalab konakalab
0
370
HDC tutorial
Avatar for Michiel Stock michielstock
1
480
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
378
71k
Building an army of robots
Avatar for Kyle Neath kneath
306
46k
Making Projects Easy
Avatar for Brett Harned brettharned
120
6.6k
Code Review Best Practice
Avatar for Trisha Gee trishagee
74
20k
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
Avatar for r-kagaya rkaga
60
42k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.7k

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