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
仕様駆動開発の消費期限
Avatar for watany watany
20
8k
運用ダッシュボードの設計を誰も教えてくれないのだけど みなさんどうしてるんですか？ - チームに監視するという文化を根付かせるための第一歩を踏みたい -
Avatar for Satoshi Kaneyasu satoshi256kbyte
1
110
20260722_microCMSで考える、AI時代のコンテンツ運用設計
Avatar for Yoshihisa Kaino yosh1
0
390
AI Engineeringは、AIプロダクトだけのものか？ 〜AIがソフトウェアを作る時代の新しい当たり前〜 / No AI in your product. AI Engineering in your development.
Avatar for r-kagaya rkaga
4
390
ITヒヤリハットを整理してみた ～ライフサイクルと原因から考える再発防止策～
Avatar for kouki.miura koukimiura
1
140
琵琶湖の水は止められてもNet--HTTPのリトライは止められない / You might be able to stop the water flow of Lake Biwa but you can't stop Net::HTTP retries
Avatar for luccafort luccafort
PRO
0
650
PHP初心者セッション2026　〜生成AIでは見えない裏側を知る：今だからLAMPを通して仕組みを学ぶ〜
Avatar for Hideo Kashioka kashioka
0
890
その節約、円になってますか？
Avatar for isamu asakawa isamumumu
1
730
Terraform標準の組織で AWS CDKをどう使うか
Avatar for mu7889yoon / Yuta Nakamura mu7889yoon
1
500
torikago - Ruby::Boxで照らすモジュラモノリスの実行境界
Avatar for nori se4weed
1
360
改善しないと、タスクが回らない。 “てんこ盛りポジション” を引き継いだ情シスの、入社3ヶ月の業務改善録
Avatar for Kurumi Watabe krm963
0
260
FDEが実現するAI駆動経営の現在地
Avatar for ryuta sakamoto gonta
2
280

Featured

See All Featured
How Software Deployment tools have changed in the past 20 years
Avatar for Geshan Manandhar geshan
1
34k
Agile Actions for Facilitating Distributed Teams - ADO2019
Avatar for Mark Kilby mkilby
0
250
Tips & Tricks on How to Get Your First Job In Tech
Avatar for Honza Javorek honzajavorek
1
690
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
38
2.9k
The Curse of the Amulet
Avatar for Matthew Lei leimatthew05
2
14k
The Curious Case for Waylosing
Avatar for Cassini Nazir cassininazir
1
450
How to build a perfect <img>
Avatar for Jono Alderson jonoalderson
1
5.9k
My Coaching Mixtape
Avatar for mlcsv mlcsv
0
220
Highjacked: Video Game Concept Design
Avatar for Ryan Kendrick rkendrick25
PRO
1
430
How to optimise 3,500 product descriptions for ecommerce in one day using ChatGPT
Avatar for Katarina Dahlin katarinadahlin
PRO
2
3.7k
ReactJS: Keep Simple. Everything can be a component!
Avatar for Pedro Nauck pedronauck
666
130k
For a Future-Friendly Web
Avatar for Brad Frost brad_frost
183
10k

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