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

Free monads and free applicatives

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Markus Hauck Markus Hauck
May 03, 2016
Programming
800
0

Free monads and free applicatives

Avatar for Markus Hauck

Markus Hauck

May 03, 2016

More Decks by Markus Hauck

See All by Markus Hauck
The Power Of Const
Avatar for Markus Hauck markus1189
0
180
When Everything Fits: The Beauty of Composition
Avatar for Markus Hauck markus1189
0
190
Free All The Things
Avatar for Markus Hauck markus1189
1
75
Configuration With Dhall
Avatar for Markus Hauck markus1189
2
410
Free All The Things
Avatar for Markus Hauck markus1189
0
170
Shake it
Avatar for Markus Hauck markus1189
0
190
Let The Compiler Help You
Avatar for Markus Hauck markus1189
0
1.2k
Rhein-Main Scala Enthusiasts: Functional Programming Awesomeness
Avatar for Markus Hauck markus1189
0
120
Functional Web Services with Final Encoding
Avatar for Markus Hauck markus1189
3
1.9k

Other Decks in Programming

See All in Programming
AIを活用したE2Eテスト実装効率化のあゆみ / ebisu-mobile-14-kotetu
Avatar for kotetu (kotetuco) kotetuco
0
130
[2026年度第1回ORセミナー] 計画最適化ベンチャーと競技プログラミング人材
Avatar for terry-u16 terryu16
0
270
Inside Stream API
Avatar for Yuichi.Sakuraba skrb
1
780
Hunting Vulnerabilities in Symfony with LLMs
Avatar for Vincent Amstoutz vinceamstoutz
0
560
決定論的オーケストレーションの設計と実装 / Design and Implementation of Deterministic Orchestration
Avatar for nrs nrslib
4
1.5k
Strategic Design in the Frontend: Moduliths & Micro Frontends @DDDEurope
Avatar for Manfred Steyer manfredsteyer
PRO
0
130
エンジニアと一緒にテストコードの設計と実装を改善した話
Avatar for mototakatsu mototakatsu
0
220
エージェンティックRAGにAWSで入門しよう！
Avatar for Har1101 har1101
9
1.8k
鹿野さんに聞く！『TypeScriptコードレシピ集』で磨く実践力
Avatar for tonkotsuboy_com tonkotsuboy_com
4
810
並列実装の現場、2ヶ月間実務でAIを使い倒したAIもPCも私も限界が近い
Avatar for ming ming_ayami
0
130
Vue × Nuxt × Oxc どこまで使える？実運用の現在地
Avatar for ANDPAD inc andpad
0
300
Make SRE Operations Easier with Azure SRE Agent
Avatar for KAMEGAWA Kazushi kkamegawa
0
8.1k

Featured

See All Featured
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3.1k
Raft: Consensus for Rubyists
Avatar for Patrick Van Stee vanstee
141
7.6k
How To Stay Up To Date on Web Technology
Avatar for Chris Coyier chriscoyier
790
250k
Prompt Engineering for Job Search
Avatar for Mfonobong Umondia mfonobong
0
350
Designing for Performance
Avatar for Lara Hogan lara
611
70k
Mobile First: as difficult as doing things right
Avatar for Swwweet swwweet
225
10k
Improving Core Web Vitals using Speculation Rules API
Avatar for Sergey Chernyshev sergeychernyshev
21
1.5k
Unlocking the hidden potential of vector embeddings in international SEO
Avatar for Frank van Dijk frankvandijk
0
850
The Hidden Cost of Media on the Web [PixelPalooza 2025]
Avatar for Tammy Everts tammyeverts
2
330
Building a A Zero-Code AI SEO Workflow
Avatar for Ian Lurie portentint
PRO
0
610
Technical Leadership for Architectural Decision Making
Avatar for Kenny Baas-Schwegler baasie
3
420
The Cult of Friendly URLs
Avatar for Andy Hume andyhume
79
6.9k

Transcript

  1. None
  2. None
  3. None

  4. λ α

  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None

  19. ✓ ✓

  20. None
  21. None
  22. None
  23. None
  24. None
  25. None

  26. λ α

  27. λ α λ α

  28. None
  29. None
  30. None
  31. None
  32. None
  33. None
  34. None

  35. ✓ ✓

  36. None
  37. None
  38. None
  39. None
  40. None
  41. None
  42. None
  43. None
  44. None