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

RubyからHaskellへのソフトランディング

Avatar for さっちゃん さっちゃん
December 18, 2015
Programming
190
0

 RubyからHaskellへのソフトランディング

RubyistがHaskellを安心しながら習得する實例です

Avatar for さっちゃん

さっちゃん

December 18, 2015

More Decks by さっちゃん

See All by さっちゃん
火星曆
Avatar for さっちゃん ne_sachirou
0
26
みんなのオブザーバビリティプラットフォームを作ってるんだがパフォーマンスがやばい #mackerelio #srenext
Avatar for さっちゃん ne_sachirou
0
1.7k
作ってよかったgraceful shutdownライブラリ #kyotogo
Avatar for さっちゃん ne_sachirou
0
1.4k
path 依存型って何?
Avatar for さっちゃん ne_sachirou
0
830
野生の onbording と onbording 設計 #kyototechtalk
Avatar for さっちゃん ne_sachirou
0
730
メトリックはいかにして見え續ける樣になったか #devio2022
Avatar for さっちゃん ne_sachirou
0
130
名實一致
Avatar for さっちゃん ne_sachirou
0
740
まかれるあなとみあ ―Mackerel のしくみを理解する 30 分― @ Hatena Engineer Seminar #16
Avatar for さっちゃん ne_sachirou
0
3.3k
tacit programming : Point-free, Concatenatives & J
Avatar for さっちゃん ne_sachirou
0
1.1k

Other Decks in Programming

See All in Programming
コンテキストの使い捨てをやめる — ビジネスルール駆動開発と miko —
Avatar for ioki ioki
0
190
Creating Composable Callables in Contemporary C++
Avatar for Björn Fahller rollbear
0
110
不変条件と整合性境界—ビジネスが決める設計判断と実現パターン / Invariants and Consistency Boundaries
Avatar for nrs nrslib
13
3.7k
JJUG CCC 2026 Spring: JSpecify で実現する Kotlin フレンドリーな Java API 設計
Avatar for ternbusty ternbusty
1
160
メソッドのジェネリクスでGoの夢は広がるか？ / Kyoto.go #65
Avatar for utagawa kiki utgwkk
3
730
LLM本来の能力を解き放つサンドボックス技術とAI民主化への適用
Avatar for Yuku Kotani yukukotani
3
3.7k
技術記事、 専門家としてのプログラマ、 言語化
Avatar for Koutarou Chikuba mizchi
13
5.4k
過去最大のMCPアップデート! 2026-07-28 RC版の謎に迫る
Avatar for matsukada licux
6
280
技術記事、AIに書かせるか、自分で書くか？ 〜それでも私が自分の手で書く理由〜 / #QiitaConference
Avatar for Junichi Ito jnchito
2
1.4k
AutonomyとControlのあいだ：Graflowで記述するAIエージェント協調
Avatar for Makoto Yui myui
0
120
New "Type" system on PicoRuby
Avatar for pocke pocke
1
860
CSC307 Lecture 17
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
320

Featured

See All Featured
Beyond borders and beyond the search box: How to win the global "messy middle" with AI-driven SEO
Avatar for David Carrasco davidcarrasco
3
160
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
140
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
580
Future Trends and Review - Lecture 12 - Web Technologies (1019888BNR)
Avatar for Beat Signer signer
PRO
0
3.6k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
Avatar for Tammy Everts tammyeverts
11
940
The untapped power of vector embeddings
Avatar for Frank van Dijk frankvandijk
2
1.8k
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
408
66k
Kristin Tynski - Automating Marketing Tasks With AI
Avatar for Tech SEO Connect techseoconnect
PRO
0
270
Claude Code のすすめ
Avatar for schroneko schroneko
67
230k
Scaling GitHub
Avatar for Zach Holman holman
464
140k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
Avatar for panda_program panda_program
122
22k
Lightning Talk: Beautiful Slides for Beginners
Avatar for Ines Montani inesmontani
PRO
2
570

Transcript

  1. RubyからHaskellへの ソフトランディング

  2. .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)

  3. Haskell

  4. Haskell • 再代入… • 型理論… • モナド… • 圏論… •

    命題論理… • ｳｯ…

  5. Ruby

  6. Ruby

  7. Haskell World

  8. Go to Haskell World

  9. None

  10. 急がない

  11. 小さなものを作る

  12. ちょっとづつ作る

  13. 安心しながら作る

  14. None

  15. どの言語で書いても Cucumberでテストできる 振る舞いテスト！

  16. • 小さなプログラムを作る • テストしやすいので、通信しないCLIプログラ ムを作る • Rubyでプロトを作りながら、Cucumberを書く • Cucumberを信じてHaskellを書く

  17. https://github.com/ne- sachirou/private-values

  18. https://github.com/ne- sachirou/private-values

  19. https://github.com/ne- sachirou/private-values • Haskellコード : 355行 • Cucumber+Hspec+QuickCheck : 250行

    小さい

  20. Go to Haskell World

  21. Go to Haskell World

  22. None

  23. ももんが Advent Calendar 2015

  24. 栄光のももんがAdvent Calendar

  25. みんなのももんがAdvent Calendar

  26. 5年の歴史のももんがAdvent Calendar

  27. みんなのももんが

  28. 12/18のももんが

  29. .｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)