The Eff monad, one monad to rule them all

•Download as PPT, PDF•

14 likes•5,401 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

型プロバイダー開発ハンズオン.pptxssuserb6e6d5

Sorting Things Out: An Introduction to Card SortingStephen Anderson

文献紹介：SegFormer: Simple and Efficient Design for Semantic Segmentation with Tr...Toru Tamaki

scalar.pdfMartin Odersky

Stack Data Structure & It's Application Tech_MX

10.m way search treeChandan Singh

Information Architecture. Card SortingDCU_MPIUA

CPUの同時実行機能Shinichiro Niiyama

Elasticsearchのサジェスト機能を使った話ktaro_w

NTUSTxTDOH - Pwn基礎 2015/12/27Sheng-Hao Ma

Unit 2 application of stack LavanyaJ28

Analisys of Selection Sort and Bubble SortHumano Terricola

Bubble sort algorithmDavid Burks-Courses

Stage Level Scheduling Improving Big Data and AI IntegrationDatabricks

OpenFOAMスレッド並列化のための基礎検討Fixstars Corporation

Reverse Engineering Dojo: Enhancing Assembly Reading SkillsAsuka Nakajima

How to use Parquet as a basis for ETL and analyticsJulien Le Dem

about Tcpreplay@ otsuka752

Spark 巨量資料處理基礎教學NUTC, imac

Binary tree traversal ppt - 02.03.2020V.V.Vanniapermal College for Women

What's hot (20)

型プロバイダー開発ハンズオン.pptx

Sorting Things Out: An Introduction to Card Sorting

文献紹介：SegFormer: Simple and Efficient Design for Semantic Segmentation with Tr...

scalar.pdf

Stack Data Structure & It's Application

10.m way search tree

Information Architecture. Card Sorting

CPUの同時実行機能

Elasticsearchのサジェスト機能を使った話

NTUSTxTDOH - Pwn基礎 2015/12/27

Unit 2 application of stack

Analisys of Selection Sort and Bubble Sort

Bubble sort algorithm

Stage Level Scheduling Improving Big Data and AI Integration

OpenFOAMスレッド並列化のための基礎検討

Reverse Engineering Dojo: Enhancing Assembly Reading Skills

How to use Parquet as a basis for ETL and analytics

about Tcpreplay

Spark 巨量資料處理基礎教學

Binary tree traversal ppt - 02.03.2020

Recently uploaded

How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes

A Domino Admins Adventures (Engage 2024)Gabriella Davis

Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j

MINDCTI Revenue Release Quarter One 2024MIND CTI

Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUK Journal

Why Teams call analytics are critical to your entire businesspanagenda

ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProduct Anonymous

TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays

Partners Life - Insurer Innovation Award 2024The Digital Insurer

AWS Community Day CPH - Three problems of TerraformAndrey Devyatkin

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10

🐬 The future of MySQL is Postgres 🐘RTylerCroy

Strategies for Landing an Oracle DBA Job as a FresherRemote DBA Services

Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodJuan lago vázquez

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra

Boost Fertility New Invention Ups Success Rates.pdfsudhanshuwaghmare1

HTML Injection Attacks: Impact and Mitigation StrategiesBoston Institute of Analytics

Real Time Object Detection Using Open CVKhem

Recently uploaded (20)

How to Troubleshoot Apps for the Modern Connected Worker

A Domino Admins Adventures (Engage 2024)

Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...

MINDCTI Revenue Release Quarter One 2024

Understanding Discord NSFW Servers A Guide for Responsible Users.pdf

Why Teams call analytics are critical to your entire business

ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke

TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments

Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...

Partners Life - Insurer Innovation Award 2024

AWS Community Day CPH - Three problems of Terraform

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024

Connector Corner: Accelerate revenue generation using UiPath API-centric busi...

🐬 The future of MySQL is Postgres 🐘

Strategies for Landing an Oracle DBA Job as a Fresher

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving

Boost Fertility New Invention Ups Success Rates.pdf

HTML Injection Attacks: Impact and Mitigation Strategies

Real Time Object Detection Using Open CV

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!