The Eff monad, one monad to rule them all

•Download as PPT, PDF•

14 likes•5,399 views

The Eff monad is an alternative to monad transformers. It is implemented as a library in https://github.com/atnos-org/eff-cats and https://github.com/atnos-org/eff-scalaz

Technology

Eric Torreborre
The Eff monad
One monad to
rule them all!

It must be evident how multifarious
and how mutually complicated are
the considerations which the working
of such an engine involve. There are
frequently several distinct sets of
effects going on simultaneously; all
in a manner independent of each
other, and yet to a greater or less
degree exercising a mutual influence.
Ada Lovelace,
1842

WHAT IF?
We need to use both Hadoop and S3?

Type-
level
effects
Eff monad
Value-
level
effects
Continuatio
nsInterpreters
Member
typeclass

Option
Interpreter
State
Interpreter
Continuation1
Continuation2
Option
Interpreter
Continuation3 +
State
Interpreter

Implicits
Use it in prod'
Renamings
Check laws
Missing functions
Benchmarking, Scalajs...

LINKS
Monads for functional programming
Monad transformers and modular interpreters
Extensible effects
Reflection without remorse
Freer monad, more extensible effects

What's hot

Goのサーバサイド実装におけるレイヤ設計とレイヤ内実装について考えるpospome

Java - Exception Handling ConceptsVicter Paul

Java exception handling pptJavabynataraJ

左と右の話Cryolite

大規模トラフィックにどのように備えて負荷対策を実施しているのか？Yusuke Shirakawa

Net frameworkSaiteja Kaparthi

「再代入なんて、あるわけない」～ふつうのプログラマが関数型言語を知るべき理由～ (Gunma.web #5 2011/05/14)parrotstudio

L14 exception handlingteach4uin

貪欲法による 単調劣モジュラ関数の最大化Ikumi Shimizu

What is Rack Hijacking APINomo Kiyoshi

空間分割amusementcreators

Object oriented frameworkbalamurugan.k Kalibalamurugan

Math in Machine Learning / PCA and SVD with ApplicationsKenji Hiranabe

条件分岐とcmovとmaxpsMITSUNARI Shigeo

オブジェクト指向の設計と実装の学び方のコツ増田亨

Jbatch実践入門 #jdt2015Norito Agetsuma

The Functional Programming Triad of Map, Filter and FoldPhilip Schwarz

なぜ人は必死でjQueryを捨てようとしているのかYoichi Toyota

異常検知と変化検知の1~3章をまとめてみたTakahiro Yoshizawa

ドキュメントを作りたくなってしまう魔法のツールSphinxTakayuki Shimizukawa

What's hot (20)

Goのサーバサイド実装におけるレイヤ設計とレイヤ内実装について考える

Java - Exception Handling Concepts

Java exception handling ppt

左と右の話

大規模トラフィックにどのように備えて負荷対策を実施しているのか？

Net framework

「再代入なんて、あるわけない」～ふつうのプログラマが関数型言語を知るべき理由～ (Gunma.web #5 2011/05/14)

L14 exception handling

貪欲法による 単調劣モジュラ関数の最大化

What is Rack Hijacking API

空間分割

Object oriented framework

Math in Machine Learning / PCA and SVD with Applications

条件分岐とcmovとmaxps

オブジェクト指向の設計と実装の学び方のコツ

Jbatch実践入門 #jdt2015

The Functional Programming Triad of Map, Filter and Fold

なぜ人は必死でjQueryを捨てようとしているのか

異常検知と変化検知の1~3章をまとめてみた

ドキュメントを作りたくなってしまう魔法のツールSphinx

Recently uploaded

"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays

Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada

Pigging Solutions in Pet Food ManufacturingPigging Solutions

Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service9953056974 Low Rate Call Girls In Saket, Delhi NCR

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited

Powerpoint exploring the locations used in television show Time Clashcharlottematthew16

Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB

Advanced Test Driven-Development @ php[tek] 2024Scott Keck-Warren

Install Stable Diffusion in windows machinePadma Pradeep

Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm

APIForce Zurich 5 April Automation LPDGMarianaLemus7

Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro

Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos

Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst

Designing IA for AI - Information Architecture Conference 2024Enterprise Knowledge

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxnull - The Open Security Community

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106

Recently uploaded (20)

"Debugging python applications inside k8s environment", Andrii Soldatenko

Are Multi-Cloud and Serverless Good or Bad?

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024

Pigging Solutions in Pet Food Manufacturing

Hot Sexy call girls in Panjabi Bagh 🔝 9953056974 🔝 Delhi escort Service

Dev Dives: Streamline document processing with UiPath Studio Web

Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365

Powerpoint exploring the locations used in television show Time Clash

Developer Data Modeling Mistakes: From Postgres to NoSQL

Advanced Test Driven-Development @ php[tek] 2024

Install Stable Diffusion in windows machine

Streamlining Python Development: A Guide to a Modern Project Setup

APIForce Zurich 5 April Automation LPDG

Unraveling Multimodality with Large Language Models.pdf

Scanning the Internet for External Cloud Exposures via SSL Certs

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)

Human Factors of XR: Using Human Factors to Design XR Systems

Designing IA for AI - Information Architecture Conference 2024

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics

The Eff monad, one monad to rule them all

1. Eric Torreborre The Eff monad One monad to rule them all!

3. It must be evident how multifarious and how mutually complicated are the considerations which the working of such an engine involve. There are frequently several distinct sets of effects going on simultaneously; all in a manner independent of each other, and yet to a greater or less degree exercising a mutual influence. Ada Lovelace, 1842

5. You could have invented monads!

8. Exceptions?

9. Exceptions?

10. State?

11. State?

12. Genius!

13. Can we have both state and error?

14. First idea: stack them!

15. 1996!

16. Which order?

17. DOES NOT WORK!

18. THIS ONE WORKS!

19. DIFFERENCE?

20. DIFFERENCE?

21. DIFFERENCE?

22. ORDER IS IMPORTANT!

23. GENERALISE

24. STACKING HAS A COST!

25.

26.

27.

28. SIMILAR EFFECTS?

29. IN PRACTICE

30. Specialized stacks

31. Specialized functions

32. WHAT IF? We need to use both Hadoop and S3?

33.

34.

35.

36.

37.

38. WHAT ELSE?

39. WHAT ELSE?

40. Type- level effects Eff monad Value- level effects Continuatio nsInterpreters Member typeclass

41. Effect

42. Type-level effects Value-level effects

43. Value-level effect Continuations

44. Option Interpreter State Interpreter Continuation1 Continuation2 Option Interpreter Continuation3 + State Interpreter

45. OPTION RELOADED

46.

47. KLEISLI

48.

49. OPTION AS EFFECT

50. EFF

51.

52.

53.

54. ERROR AS EFFECT

55.

56. NEVER RE-IMPLEMENT flatMap EVER AGAIN!

57. EFFECTS UNITE!

58. Type-level effects

59. Value-level effects

60. Value-level effects

61. Member typeclass

62.

63.

64.

65.

66.

67. LIBRARY

68.

69.

70. scalaz.Future

71.

72.

73. STACKOVERFLOW :-(

74. STACK SAFE

75.

76. TRANSFORM EFFECTS

77.

78.

79. SO, SILVER BULLET?

80. SORRY NO

81. Implicits

82.

83. Implicits Use it in prod' Renamings Check laws Missing functions Benchmarking, Scalajs...

84. CREDITS

85. LINKS Monads for functional programming Monad transformers and modular interpreters Extensible effects Reflection without remorse Freer monad, more extensible effects

86. THANKS!

87.

88. Matchers

89. Matchers

90. Matchers

91. Matchers

92. MORE TROUBLE

93. List(5, 7, 1)

94. TOO BIG?

95.

96.

97. ONE MORE ERROR LAYER!