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

Doubly linked listFahd Allebdi

Binary Search Tree in Data StructureMeghaj Mallick

Data structure pptProf. Dr. K. Adisesha

Bubble sortManek Ar

Hash table in data structure and algorithmAamir Sohail

Local Secondary Indexes in Apache PhoenixRajeshbabu Chintaguntla

10. Search Tree - Data Structures using C++ by Varsha Patilwidespreadpromotion

In memory databases presentationMichael Keane

Binary treeVanitha Chandru

Lec 17 heap data structureSajid Marwat

Introduction to data structures and AlgorithmDhaval Kaneria

AD3251-Data Structures Design-Notes-Tree.pdfRamco Institute of Technology, Rajapalayam, Tamilnadu, India

Algorithm analysissumitbardhan

Top Machine Learning Tools and Frameworks for Beginners | EdurekaEdureka!

Data structures & algorithms lecture 3Poojith Chowdhary

Quick sort-Data StructureJeanie Arnoco

Presto overviewShixiong Zhu

linked listShaista Qadir

single linked listSathasivam Rangasamy

linked list in data structure shameen khan

What's hot (20)

Doubly linked list

Binary Search Tree in Data Structure

Data structure ppt

Bubble sort

Hash table in data structure and algorithm

Local Secondary Indexes in Apache Phoenix

10. Search Tree - Data Structures using C++ by Varsha Patil

In memory databases presentation

Binary tree

Lec 17 heap data structure

Introduction to data structures and Algorithm

AD3251-Data Structures Design-Notes-Tree.pdf

Algorithm analysis

Top Machine Learning Tools and Frameworks for Beginners | Edureka

Data structures & algorithms lecture 3

Quick sort-Data Structure

Presto overview

linked list

single linked list

linked list in data structure

Recently uploaded

Install Stable Diffusion in windows machinePadma Pradeep

Vector Databases 101 - An introduction to the world of Vector DatabasesZilliz

Powerpoint exploring the locations used in television show Time Clashcharlottematthew16

Gen AI in Business - Global Trends Report 2024.pdfAddepto

CloudStudio User manual (basic edition):comworks

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

Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostZilliz

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

Vertex AI Gemini Prompt Engineering TipsMiki Katsuragi

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

The Future of Software Development - Devin AI Innovative Approach.pdfSeasiaInfotech2

My INSURER PTE LTD - Insurtech Innovation Award 2024The Digital Insurer

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxnull - The Open Security Community

"ML in Production",Oleksandr BaganFwdays

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

Ensuring Technical Readiness For Copilot in Microsoft 3652toLead Limited

DevEX - reference for building teams, processes, and platformsSergiu Bodiu

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106

Artificial intelligence in cctv survelliance.pptxhariprasad279825

Recently uploaded (20)

Install Stable Diffusion in windows machine

Vector Databases 101 - An introduction to the world of Vector Databases

Powerpoint exploring the locations used in television show Time Clash

Gen AI in Business - Global Trends Report 2024.pdf

CloudStudio User manual (basic edition):

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

Unraveling Multimodality with Large Language Models.pdf

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost

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

Vertex AI Gemini Prompt Engineering Tips

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

The Future of Software Development - Devin AI Innovative Approach.pdf

My INSURER PTE LTD - Insurtech Innovation Award 2024

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx

"ML in Production",Oleksandr Bagan

Dev Dives: Streamline document processing with UiPath Studio Web

Ensuring Technical Readiness For Copilot in Microsoft 365

DevEX - reference for building teams, processes, and platforms

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics

Artificial intelligence in cctv survelliance.pptx

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!