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

Free monads and free applicatives

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
ローカルLLMでどこまでコードが書けるか / How much code can be written on a local LLM
Avatar for Naoki Kishida kishida
2
360
[RubyKaigi 2026] Require Hooks
Avatar for Vladimir Dementyev palkan
1
320
How We Practice Exploratory Testing in Iterative Development( #scrumniigata ) / 反復開発の中で、探索的テストをどう実施しているか
Avatar for teyamagu teyamagu
PRO
3
840
KMP × Kotlin 2.3 - How Android Got Slower While iOS Builds Improved by 47%
Avatar for Ryosuke Shimizu (RIO) rio432
0
200
PicoRuby for IoT: Connecting to the Cloud with MQTT
Avatar for Y_uuu yuuu
2
780
Symfony AI in Action - SymfonyLive Berlin 2026
Avatar for Christopher Hertel chr_hertel
1
150
Agentic Elixir
Avatar for Andrea Leopardi whatyouhide
0
450
属人化しないコード品質の作り方_2026.04.07.pdf
Avatar for Masaki Murano muraaano
1
360
クラウドネイティブなエンジニアに向ける Raycastの魅力と実際の活用事例
Avatar for Nealle nealle
2
260
AIを導入する前にやるべきこと
Avatar for Negima negima
2
360
Firefoxにコントリビューションして得られた学び
Avatar for ken7253 ken7253
2
160
密結合なバックエンドから TypeScript のコードを生成する
Avatar for kemuridama kemuridama
0
150

Featured

See All Featured
How to build a perfect <img>
Avatar for Jono Alderson jonoalderson
1
5.5k
Un-Boring Meetings
Avatar for Sebastian Deterding codingconduct
0
290
Reflections from 52 weeks, 52 projects
Avatar for Jefferson Lam jeffersonlam
356
21k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
57
14k
sira's awesome portfolio website redesign presentation
Avatar for ElsiraPls elsirapls
0
240
Thoughts on Productivity
Avatar for Jon Yablonski jonyablonski
76
5.2k
Winning Ecommerce Organic Search in an AI Era - #searchnstuff2025
Avatar for Aleyda Solis aleyda
1
2k
Heart Work Chapter 1 - Part 1
Avatar for Lake Fama lfama
PRO
7
35k
Game over? The fight for quality and originality in the time of robots
Avatar for Wayne Barker wayneb77
1
170
Amusing Abliteration
Avatar for ianozsvald ianozsvald
1
170
brightonSEO & MeasureFest 2025 - Christian Goodrich - Winning strategies for Black Friday CRO & PPC
Avatar for Christian Goodrich cargoodrich
3
700
AI in Enterprises - Java and Open Source to the Rescue
Avatar for ivargrimstad ivargrimstad
0
1.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