The Eff monad, one monad to rule them all

Eric Torreborre

•

May. 05, 2016

• •

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 engin...

You could have
invented monads!

Next SlideShares

Upcoming SlideShare

The many faces of modularity

The many faces of modularity

Loading in …3

×

Top clipped slide

The Eff monad, one monad to rule them all

May. 05, 2016

• •

Download to read offline

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

Eric Torreborre

Senior Software Engineer

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

More Related Content

The Future Is Faster Than You Think: How Converging Technologies Are Transforming Business, Industries, and Our Lives Peter H. Diamandis

SAM: One Robot, a Dozen Engineers, and the Race to Revolutionize the Way We Build Jonathan Waldman

From Gutenberg to Google: The History of Our Future Tom Wheeler

Talk to Me: How Voice Computing Will Transform the Way We Live, Work, and Think James Vlahos

So You Want to Start a Podcast: Finding Your Voice, Telling Your Story, and Building a Community That Will Listen Kristen Meinzer

Bezonomics: How Amazon Is Changing Our Lives and What the World's Best Companies Are Learning from It Brian Dumaine

No Filter: The Inside Story of Instagram Sarah Frier

Autonomy: The Quest to Build the Driverless Car—And How It Will Reshape Our World Lawrence D. Burns

Future Presence: How Virtual Reality Is Changing Human Connection, Intimacy, and the Limits of Ordinary Life Peter Rubin

Live Work Work Work Die: A Journey into the Savage Heart of Silicon Valley Corey Pein

Everybody Lies: Big Data, New Data, and What the Internet Can Tell Us About Who We Really Are Seth Stephens-Davidowitz

Life After Google: The Fall of Big Data and the Rise of the Blockchain Economy George Gilder

System Identification: Tutorials Presented at the 5th IFAC Symposium on Identification and System Parameter Estimation, F.R. Germany, September 1979 Elsevier Books Reference

Energy Conservation in Buildings: The Achievement of 50% Energy Saving: An Environmental Challenge? Elsevier Books Reference

Longitude: The True Story of a Lone Genius Who Solved the Greatest Scientific Problem of His Time Dava Sobel

Young Men and Fire: Twenty-fifth Anniversary Edition Norman Maclean

If Then: How the Simulmatics Corporation Invented the Future Jill Lepore

A Brief History of Motion: From the Wheel, to the Car, to What Comes Next Tom Standage

An Ugly Truth: Inside Facebook’s Battle for Domination Sheera Frenkel

Spooked: The Trump Dossier, Black Cube, and the Rise of Private Spies Barry Meier

Second Nature: Scenes from a World Remade Nathaniel Rich

Test Gods: Virgin Galactic and the Making of a Modern Astronaut Nicholas Schmidle

Driven: The Race to Create the Autonomous Car Alex Davies

Einstein's Fridge: How the Difference Between Hot and Cold Explains the Universe Paul Sen

Dignity in a Digital Age: Making Tech Work for All of Us Ro Khanna

After Steve: How Apple Became a Trillion-Dollar Company and Lost its Soul Tripp Mickle

User Friendly: How the Hidden Rules of Design Are Changing the Way We Live, Work, and Play Cliff Kuang

Uncanny Valley: A Memoir Anna Wiener

Blockchain: The Next Everything Stephen P. Williams

Lean Out: The Truth About Women, Power, and the Workplace Marissa Orr

A World Without Work: Technology, Automation, and How We Should Respond Daniel Susskind

The Players Ball: A Genius, a Con Man, and the Secret History of the Internet's Rise David Kushner

The Eff monad, one monad to rule them all

1. Eric Torreborre The Eff monad One monad to rule them all!
2. 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
3. You could have invented monads!
4. Exceptions?
5. Exceptions?
6. State?
7. State?
8. Genius!
9. Can we have both state and error?
10. First idea: stack them!
11. 1996!
12. Which order?
13. DOES NOT WORK!
14. THIS ONE WORKS!
15. DIFFERENCE?
16. DIFFERENCE?
17. DIFFERENCE?
18. ORDER IS IMPORTANT!
19. GENERALISE
20. STACKING HAS A COST!
21. SIMILAR EFFECTS?
22. IN PRACTICE
23. Specialized stacks
24. Specialized functions
25. WHAT IF? We need to use both Hadoop and S3?
26. WHAT ELSE?
27. WHAT ELSE?
28. Type- level effects Eff monad Value- level effects Continuatio nsInterpreters Member typeclass
29. Effect
30. Type-level effects Value-level effects
31. Value-level effect Continuations
32. Option Interpreter State Interpreter Continuation1 Continuation2 Option Interpreter Continuation3 + State Interpreter
33. OPTION RELOADED
34. KLEISLI
35. OPTION AS EFFECT
36. EFF
37. ERROR AS EFFECT
38. NEVER RE-IMPLEMENT flatMap EVER AGAIN!
39. EFFECTS UNITE!
40. Type-level effects
41. Value-level effects
42. Value-level effects
43. Member typeclass
44. LIBRARY
45. scalaz.Future
46. STACKOVERFLOW :-(
47. STACK SAFE
48. TRANSFORM EFFECTS
49. SO, SILVER BULLET?
50. SORRY NO
51. Implicits
52. Implicits Use it in prod' Renamings Check laws Missing functions Benchmarking, Scalajs...
53. CREDITS
54. LINKS Monads for functional programming Monad transformers and modular interpreters Extensible effects Reflection without remorse Freer monad, more extensible effects
55. THANKS!
56. Matchers
57. Matchers
58. Matchers
59. Matchers
60. MORE TROUBLE
61. List(5, 7, 1)
62. TOO BIG?
63. ONE MORE ERROR LAYER!

Editor's Notes

M denotes the effect that goes with A