Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

PADL
2016
Springer

favoriteEmaildiscussreport

63views Programming Languages» more PADL 2016»

From Monads to Effects and Back

8 years 12 days ago

From Monads to Effects and Back

Download goto.ucsd.edu

The combination of monads and effects leads to a clean and easy to reason about programming paradigm. Monadic programming is easy to reason about, but can be cumbersome, as it requires explicit lifting and binding. In this paper, we combine monads and effects within a single programming paradigm: we use monads to define the semantics of effect types, and then, use the effects to program with those monads. We implemented an extension to the effect type system of Koka [15] with user defined effects. We use a type-directed translation to automatically lift effectful into monadic programs, by inserting bind- and unit operations.

Niki Vazou, Daan Leijen

Real-time Traffic

PADL 2016 | Programming Languages |

claim paper

Related Content

» Programming monads operationally with Unimo

» Achieving Information Flow Security through Precise Control of Effects

» Monads and Adjunctions for Global Exceptions

» Handlers of Algebraic Effects

» The Lixto Data Extraction Project Back and Forth between Theory and Practice

» From Monadic Logic to PSL

» From Signal to Substance and Back Insights from Environmental Sound Research to Auditory D...

» From HCI to Software Engineering and Back

» Expressiveness of XSDs from practice to theory there and back again

» From Dynamic to Static and Back Riding the Roller Coaster of InformationFlow Control Resea...

Post Info
More Details (n/a)

Added	08 Apr 2016
Updated	08 Apr 2016
Type	Journal
Year	2016
Where	PADL
Authors	Niki Vazou, Daan Leijen

Comments (0)