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
200
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
Hatena Engineer Seminar #37「言語モデルの活用に関する研究」
Avatar for SlashNephy slashnephy
0
530
Built Our Own Background Agent at LayerX #aidevex_findy
Avatar for LayerX layerx
PRO
4
1.5k
えっ!!コードを読まずに開発を!?
Avatar for はなのうち hananouchi
0
220
act2-costs.pdf
Avatar for Sumedh Bala sumedhbala
0
120
これからAgentCoreを触る方へ トレンドはGatewayです
Avatar for Har1101 har1101
6
500
鹿野さんに聞く！『TypeScriptコードレシピ集』で磨く実践力
Avatar for tonkotsuboy_com tonkotsuboy_com
4
1.1k
なぜ型を書くのか？ TSKaigi2026で改めて考える #tskaigi_smarthr
Avatar for Takuma Kajikawa kajitack
0
390
FDEが実現するAI駆動経営の現在地
Avatar for ryuta sakamoto gonta
1
120
Claude Team Plan導入・ガイド
Avatar for tk3fftk tk3fftk
0
220
Prismを使った型安全な暗号化_関数型まつり2026
Avatar for _fhhmm _fhhmm
0
140
才能？センス？知らん、 続けたもん勝ちだ。-- 結婚・出産・癌を越えてなお、私がプロダクトを創り続ける理由
Avatar for 16bit_idol 16bitidol
2
890
Foundation Models frameworkで画像分析
Avatar for リョウ ryodeveloper
1
120

Featured

See All Featured
Visualization
Avatar for Eitan Lees eitanlees
152
17k
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
Avatar for Katarina Dahlin katarinadahlin
PRO
1
3.7k
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
1
3.7k
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
331
22k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
57
14k
First, design no harm
Avatar for Per Axbom axbom
PRO
2
1.2k
GraphQLの誤解/rethinking-graphql
Avatar for sonatard sonatard
75
12k
State of Search Keynote: SEO is Dead Long Live SEO
Avatar for Ryan Jones ryanjones
0
220
How to Think Like a Performance Engineer
Avatar for Harry Roberts csswizardry
28
2.7k
The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek
Avatar for Aleyda Solis aleyda
2
11k
10 Git Anti Patterns You Should be Aware of
Avatar for Lemi Orhan Ergin lemiorhan
PRO
659
62k
Rails Girls Zürich Keynote
Avatar for Gregor Martynus gr2m
96
14k

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