The Eff monad, one monad to rule them all

•Descargar como PPT, PDF•

14 recomendaciones•5,401 vistas

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

Tecnología

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

Más contenido relacionado

La actualidad más candente

1.8 splay tree

Krish_ver2

C++ project on police station software

dharmenderlodhi021

InfoGAN: Interpretable Representation Learning by Information Maximizing Generative Adversarial Nets 오사카 대학 박사과정인 Takato Horii군이 작성한 자료 데이터 생성 모델로 우수한 GAN을 이용하여 비지도학습을 통해 "알기쉬게" 이미지의 정보를 표현하는 특징량을 "간단하게"획득하기 * 특징이 서로 얽혀있는 Physical space에서 서로 독립적인 Eigen space로 변환하는 것과 같은 원리

InfoGAN: Interpretable Representation Learning by Information Maximizing Gene...

홍배 김

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

parrotstudio

いまさら聞けないselectあれこれ

lestrrat

Paper Summary of Beta-VAE: Learning Basic Visual Concepts with a Constrained ...

준식 최

Paper Summary of Disentangling by Factorising (Factor-VAE)

준식 최

Computer graphics lab manual

Uma mohan

Splay Tree

Dr Sandeep Kumar Poonia

Wasserstein GAN 수학 이해하기 I

Sungbin Lim

asm.jsとWebAssemblyって実際なんなの？

Yosuke Onoue

Cognitive Complexity でコードの複雑さを定量的に計測しよう

Shuto Suzuki

Pythonとパッケージングと私

Atsushi Odagiri

[PR12] intro. to gans jaejun yoo

JaeJun Yoo

Emily Denton - Unsupervised Learning of Disentangled Representations from Vid...

Luba Elliott

Cs231n 2017 lecture13 Generative Model

Yanbin Kong

Phpcon2015

Hiroshi Tokumaru

[기초개념] Graph Convolutional Network (GCN)

Donghyeon Kim

Leftist heap

Shuvro Roy

Balls and-bins model app

deawoo Kim

La actualidad más candente (20)

1.8 splay tree

C++ project on police station software

InfoGAN: Interpretable Representation Learning by Information Maximizing Gene...

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

いまさら聞けないselectあれこれ

Paper Summary of Beta-VAE: Learning Basic Visual Concepts with a Constrained ...

Paper Summary of Disentangling by Factorising (Factor-VAE)

Computer graphics lab manual

Splay Tree

Wasserstein GAN 수학 이해하기 I

asm.jsとWebAssemblyって実際なんなの？

Cognitive Complexity でコードの複雑さを定量的に計測しよう

Pythonとパッケージングと私

[PR12] intro. to gans jaejun yoo

Emily Denton - Unsupervised Learning of Disentangled Representations from Vid...

Cs231n 2017 lecture13 Generative Model

Phpcon2015

[기초개념] Graph Convolutional Network (GCN)

Leftist heap

Balls and-bins model app

Más de Eric Torreborre

wire-all-the-things-lambda-days-2023.pdf

Eric Torreborre

Functional Programming is on the rise and many programmers fall in love with the idea that they can build well-behaved programs from small, well-understood, functions. However our community is still wondering how to best build large applications and services. Many techniques co-exist nowadays: functions-only, MTL, effects, Tagless-final, ReaderT pattern, dependency injection... This can be so confusing for newcomers. This talk will take a "zoom out" approach and come back to what we are really after: modularity. We will embark on a "modularity tour": - why is it so important to have modular programs? - vhy is it so hard to achieve modularity? - what can we expect from today's techniques? - what can we hope from the ongoing research?

The many faces of modularity

Eric Torreborre

What haskell taught us when we were not looking

Eric Torreborre

Wire once, rewire twice! (Haskell exchange-2018)

Eric Torreborre

Pratical eff-functional-conf

Eric Torreborre

Specs2, from starters to dessert and... a look in the kitchen

Eric Torreborre

Streaming, effects and beautiful folds: a winning trilogy

Eric Torreborre

Pratical eff-scalaitaly-2017

Eric Torreborre

Pratical eff monad at Scaladays Chicago

Eric Torreborre

Pratical eff

Eric Torreborre

Easy di-slideshare

Eric Torreborre

Generating data to run QuickCheck properties is a bit of a black art, especially when working with recursive data structures and (polymorphic) functions.In this talk we will review some of the issues and point to some literature aiming at solving them. We will in particular focus on one elegant piece of mathematics, combinatorial species, and see how they could serve as the foundation of data generation.

Data generation, the hard parts

Eric Torreborre

Origami, a monadic fold library for Scala

Eric Torreborre

“Make illegal state unrepresentable” - Yaron Minsky Starting from Yaron’s quote we will see where it traditionally applies: values sanitization (escaping), data structures (NonEmptyList), CS constructs (parsers). Does it still apply to the rest of the day-to-day programming where things look… complicated? In particular we will develop the example of executing applications which can run on single Amazon EC2 instances (for testing) or on full EMR clusters (for production) and which can take data from S3 (meaning that they need to download it and put it somewhere first) or use local data. Can we make sure we get the right paths? Can we know when it is possible to download data efficiently (using distcopy to go directly from S3 to the cluster for example)? The answer is: create specific data types to model the different cases and tame the complexity. The take-away: datatypes are not only for “data” but they can also encapsulate “logic”

Datatypes for the real world

Eric Torreborre

Specs2 3.4

Eric Torreborre

DSLs with fold algebras

Eric Torreborre

Specs2 whirlwind tour at Scaladays 2014

Eric Torreborre

$Epic success \/ failure, refactoring to *real* FP$ $Epic success \/ failure, refactoring to *real* FP$

Epic success \/ failure, refactoring to *real* FP

Eric Torreborre

Vampire methods

Eric Torreborre

Specs2 whirlwind-tour

Eric Torreborre

Más de Eric Torreborre (20)

wire-all-the-things-lambda-days-2023.pdf

The many faces of modularity

What haskell taught us when we were not looking

Wire once, rewire twice! (Haskell exchange-2018)

Pratical eff-functional-conf

Specs2, from starters to dessert and... a look in the kitchen

Streaming, effects and beautiful folds: a winning trilogy

Pratical eff-scalaitaly-2017

Pratical eff monad at Scaladays Chicago

Pratical eff

Easy di-slideshare

Data generation, the hard parts

Origami, a monadic fold library for Scala

Datatypes for the real world

Specs2 3.4

DSLs with fold algebras

Specs2 whirlwind tour at Scaladays 2014

$Epic success \/ failure, refactoring to *real* FP$ $Epic success \/ failure, refactoring to *real* FP$

Epic success \/ failure, refactoring to *real* FP

Vampire methods

Specs2 whirlwind-tour

Último

Created by Mozilla Research in 2012 and now part of Linux Foundation Europe, the Servo project is an experimental rendering engine written in Rust. It combines memory safety and concurrency to create an independent, modular, and embeddable rendering engine that adheres to web standards. Stewardship of Servo moved from Mozilla Research to the Linux Foundation in 2020, where its mission remains unchanged. After some slow years, in 2023 there has been renewed activity on the project, with a roadmap now focused on improving the engine’s CSS 2 conformance, exploring Android support, and making Servo a practical embeddable rendering engine. In this presentation, Rakhi Sharma reviews the status of the project, our recent developments in 2023, our collaboration with Tauri to make Servo an easy-to-use embeddable rendering engine, and our plans for the future to make Servo an alternative web rendering engine for the embedded devices industry. (c) Embedded Open Source Summit 2024 April 16-18, 2024 Seattle, Washington (US) https://events.linuxfoundation.org/embedded-open-source-summit/ https://ossna2024.sched.com/event/1aBNF/a-year-of-servo-reboot-where-are-we-now-rakhi-sharma-igalia

A Year of the Servo Reboot: Where Are We Now?

Igalia

A Domino Admins Adventures (Engage 2024)

Gabriella Davis

How to Troubleshoot Apps for the Modern Connected Worker

ThousandEyes

GenCyber Cyber Security Day Presentation

Michael W. Hawkins

MySQL Webinar, presented on the 25th of April, 2024. Summary: MySQL solutions enable the deployment of diverse Database Architectures tailored to specific needs, including High Availability, Disaster Recovery, and Read Scale-Out. With MySQL Shell's AdminAPI, administrators can seamlessly set up, manage, and monitor these solutions, ensuring efficiency and ease of use in their administration. MySQL Router, on the other hand, provides transparent routing from the application traffic to the backend servers in the architectures, requiring minimal configuration. Completely built in-house and supported by Oracle, these solutions have been adopted by enterprises of all sizes for their business-critical applications. In this presentation, we'll delve into various database architecture solutions to help you choose the right one based on your business requirements. Focusing on technical details and the latest features to maximize the potential of these solutions.

Mastering MySQL Database Architecture: Deep Dive into MySQL Shell and MySQL R...

Miguel Araújo

Imagine a world where information flows as swiftly as thought itself, making decision-making as fluid as the data driving it. Every moment is critical, and the right tools can significantly boost your organization’s performance. The power of real-time data automation through FME can turn this vision into reality. Aimed at professionals eager to leverage real-time data for enhanced decision-making and efficiency, this webinar will cover the essentials of real-time data and its significance. We’ll explore: FME’s role in real-time event processing, from data intake and analysis to transformation and reporting An overview of leveraging streams vs. automations FME’s impact across various industries highlighted by real-life case studies Live demonstrations on setting up FME workflows for real-time data Practical advice on getting started, best practices, and tips for effective implementation Join us to enhance your skills in real-time data automation with FME, and take your operational capabilities to the next level.

From Event to Action: Accelerate Your Decision Making with Real-Time Automation

Safe Software

BooK Now Call us at +918448380779 to hire a gorgeous and seductive call girl for sex. Take a Delhi Escort Service. The help of our escort agency is mostly meant for men who want sexual Indian Escorts In Delhi NCR. It should be noted that any impersonator will get 100 attention from our Young Girls Escorts in Delhi. They will assume the position of reliable allies. VIP Call Girl With Original Photos Book Tonight +918448380779 Our Cheap Price 1 Hour not available 2 Hours 5000 Full Night 8000 TAG: Call Girls in Delhi, Noida, Gurgaon, Ghaziabad, Connaught Place, Greater Kailash Delhi, Lajpat Nagar Delhi, Mayur Vihar Delhi, Chanakyapuri Delhi, New Friends Colony Delhi, Majnu Ka Tilla, Karol Bagh, Malviya Nagar, Saket, Khan Market, Noida Sector 18, Noida Sector 76, Noida Sector 51, Gurgaon Mg Road, Iffco Chowk Gurgaon, Rajiv Chowk Gurgaon All Delhi Ncr Free Home Deliver

08448380779 Call Girls In Diplomatic Enclave Women Seeking Men

Delhi Call girls

[2024]Digital Global Overview Report 2024 Meltwater.pdf

hans926745

Scaling API-first – The story of a global engineering organization

Radu Cotescu

Data Cloud, More than a CDP by Matt Robison

Anna Loughnan Colquhoun

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

Neo4j

As privacy and data protection regulations evolve rapidly, organizations operating in multiple jurisdictions face mounting challenges to ensure compliance and safeguard customer data. With state-specific privacy laws coming up in multiple states this year, it is essential to understand what their unique data protection regulations will require clearly. How will data privacy evolve in the US in 2024? How to stay compliant? Our panellists will guide you through the intricacies of these states' specific data privacy laws, clarifying complex legal frameworks and compliance requirements. This webinar will review: - The essential aspects of each state's privacy landscape and the latest updates - Common compliance challenges faced by organizations operating in multiple states and best practices to achieve regulatory adherence - Valuable insights into potential changes to existing regulations and prepare your organization for the evolving landscape

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

TrustArc

08448380779 Call Girls In Friends Colony Women Seeking Men

Delhi Call girls

Tata AIG General Insurance Company - Insurer Innovation Award 2024

The Digital Insurer

What are drone anti-jamming systems? The drone anti-jamming systems and anti-spoof technology protect against interference, jamming, and spoofing of the UAVs. To protect their security, countries are beginning to research drone anti-jamming systems, also known as drone strike weapons. The anti-jam and anti-spoof technology protects against interference, jamming and spoofing. A drone strike weapon is a drone attack weapon that can attack and destroy enemy drones. So what is so unique about this amazing system?

What Are The Drone Anti-jamming Systems Technology?

Antenna Manufacturer Coco

Choosing the right accounts payable services provider is a strategic decision that can significantly impact your business's financial performance and operational efficiency. By considering factors such as expertise, range of services, technology infrastructure, scalability, cost, and reputation, businesses can make informed decisions and select a provider that aligns with their unique needs and objectives. Partnering with the right provider can streamline accounts payable processes, drive cost savings, and position your business for long-term success. https://katprotech.com/accounts-payable-and-purchase-order-automation/

Factors to Consider When Choosing Accounts Payable Services Providers.pptx

Katpro Technologies

Discord is a free app offering voice, video, and text chat functionalities, primarily catering to the gaming community. It serves as a hub for users to create and join servers tailored to their interests. Discord’s ecosystem comprises servers, each functioning as a distinct online community with its own channels dedicated to specific topics or activities. Users can engage in text-based discussions, voice calls, or video chats within these channels. Understanding Discord Servers Discord servers are virtual spaces where users congregate to interact, share content, and build communities. Servers may revolve around gaming, hobbies, interests, or fandoms, providing a platform for like-minded individuals to connect. Communication Features Discord offers a range of communication tools, including text channels for messaging, voice channels for real-time audio conversations, and video channels for face-to-face interactions. These features facilitate seamless communication and collaboration. What Does NSFW Mean? The acronym NSFW stands for “Not Safe For Work,” indicating content that may be inappropriate for professional or public settings. NSFW Content NSFW content encompasses material that is sexually explicit, violent, or otherwise graphic in nature. It often includes nudity, profanity, or depictions of sensitive topics.

Understanding Discord NSFW Servers A Guide for Responsible Users.pdf

UK Journal

The 7 Things I Know About Cyber Security After 25 Years | April 2024

Rafal Los

In this session, we will delve into strategic approaches for optimizing knowledge management within Microsoft 365, amidst the evolving landscape of Copilot. From leveraging automatic metadata classification and permission governance with SharePoint Premium, to unlocking Viva Engage for the cultivation of knowledge and communities, you will gain actionable insights to bolster your organization's knowledge-sharing initiatives. In this session, we will also explore how to facilitate solutions to enable your employees to find answers and expertise within Microsoft 365. You will leave equipped with practical techniques and a deeper understanding of how there is more to effective knowledge management than just enabling Copilot, but building actual solutions to prepare the knowledge that Copilot and your employees can use.

Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...

Drew Madelung

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024

The Digital Insurer

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!