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

Free monads and free applicatives

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
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
160
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
肥大化するレガシーコードに立ち向かうためのインターフェース分離と依存の逆転 / JJUG CCC 2026 Spring
Avatar for hirokuni-maeta hirokunimaeta
0
480
ふつうのFeature Flag実践入門
Avatar for irof irof
7
3.5k
LLM本来の能力を解き放つサンドボックス技術とAI民主化への適用
Avatar for Yuku Kotani yukukotani
3
2.6k
AIとRubyの静的型付け
Avatar for ukin0k0 ukin0k0
0
530
3Dシーンの圧縮
Avatar for Fadis fadis
1
590
権限チェックの一貫性を型で守る TypeScript による多層防御
Avatar for aster-mnch (kitagawa) mnch
4
1.1k
正しくソフトウェアを作る、前提を疑うための認知の視点 / doubt-premise
Avatar for MinoDriven minodriven
17
5.7k
AIとASP.NET Coreで雑Webアプリを作った話
Avatar for Mayuki Sawatari mayuki
0
260
今さら聞けないCancellationToken
Avatar for tkym htkym
0
220
JavaDoc 再入門
Avatar for nagise nagise
0
270
These Five Tricks Can Make Your Apps Greener, Cheaper, & Nicer
Avatar for Holly Cummins hollycummins
0
270
Lemonade + Foundry Toolkit でお手軽アプリ開発
Avatar for 瀬尾佳隆 seosoft
1
270

Featured

See All Featured
AI in Enterprises - Java and Open Source to the Rescue
Avatar for ivargrimstad ivargrimstad
0
1.3k
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
331
21k
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
515
110k
Embracing the Ebb and Flow
Avatar for Simon Collison colly
88
5.1k
Discover your Explorer Soul
Avatar for Emna emna__ayadi
2
1.1k
The Success of Rails: Ensuring Growth for the Next 100 Years
Avatar for Eileen M. Uchitelle eileencodes
47
8.2k
Making Projects Easy
Avatar for Brett Harned brettharned
120
6.7k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
77
5.4k
Imperfection Machines: The Place of Print at Facebook
Avatar for Scott Boms scottboms
270
14k
Raft: Consensus for Rubyists
Avatar for Patrick Van Stee vanstee
141
7.5k
How Fast Is Fast Enough? [PerfNow 2025]
Avatar for Tammy Everts tammyeverts
3
600
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
Avatar for Ines Montani inesmontani
PRO
3
2.3k

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