Filters








701 Hits in 7.2 sec

Monad transformers and modular algebraic effects: what binds them together

Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff
2019 Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019  
In particular, we show that our modular algebraic effects gives rise to monad transformers. Moreover, every monad transformer for algebraic operations gives rise to a modular effect handler.  ...  We characterise a class of algebraic effects that is modular, and show how these correspond to a specific class of monad transformers.  ...  Maciej Piróg was supported by the National Science Centre, Poland under POLONEZ 3 grant "Algebraic Effects and Continuations" no. 2016/23/P/ST6/02217.  ... 
doi:10.1145/3331545.3342595 dblp:conf/haskell/SchrijversPWJ19 fatcat:bgfvvklu4jb2jaxirknh6ln4ga

Extensible effects

Oleg Kiselyov, Amr Sabry, Cameron Swords
2013 Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13  
The library is lightweight, generalizing the extensible exception handling to other effects and accurately tracking them in types.  ...  Effects in Haskell immediately evoke monad transformers, which were proposed, essentially in the same form we know now, in this classic, well-cited paper by Liang, Hudak and Jones from 1995.  ...  This is the handler part: and it is very different. With extensible effects, we never had to define a type class for a handler, had we?  ... 
doi:10.1145/2503778.2503791 dblp:conf/haskell/KiselyovSS13 fatcat:w2akkfcrrba2di742ifen5ptru

Towards Modular Compilers for Effects [chapter]

Laurence E. Day, Graham Hutton
2012 Lecture Notes in Computer Science  
We summarise our progress to date, issues that have arisen, and further work.  ...  In this article we focus on the problem of modular compilation, in which the aim is to develop compilers for separate language features independently, which can then be combined as required.  ...  Acknowledgements We would like to thank Mauro Jaskelioff, Neil Sculthorpe, the participants of BCTCS 2011 in Birmingham and our anonymous referees for useful comments and suggestions; and Matteo Acerbi  ... 
doi:10.1007/978-3-642-32037-8_4 fatcat:6yp6h457tffahittobkej3txou

Reasoning about effect interaction by fusion

Zhixuan Yang, Nicolas Wu
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
Effect handlers can be composed by applying them sequentially, each handling some operations and leaving other operations uninterpreted in the syntax tree.  ...  style transformation.  ...  ACKNOWLEDGMENTS This work has been supported by EPSRC grant number EP/S028129/1 on 'Scoped Contextual Operations and Effects'.  ... 
doi:10.1145/3473578 fatcat:idbw47jndjbcvgfwco3zip3bbu

Structured Handling of Scoped Effects

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe Van Den Berg, Tom Schrijvers
2022 Zenodo  
However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely in conjunction with algebraic operations.  ...  Algebraic effects offer a versatile framework that covers a wide variety of effects.  ...  Acknowledgements This work is supported by EPSRC grant number EP/S028129/1 on 'Scoped Contextual Operations and Effects', by FWO project G095917N, and KU Leuven project C14/20/079.  ... 
doi:10.5281/zenodo.5914133 fatcat:kxxhpxq7vbeu3kno4lolorhmga

Normalization by Evaluation and Algebraic Effects

Danel Ahman, Sam Staton
2013 Electronical Notes in Theoretical Computer Science  
We use algebraic theories to treat the computational effects in the normalization algorithm in a modular way.  ...  We examine the interplay between computational effects and higher types.  ...  of Education and Research. • In addition to algebraic operations, the monad also incorporates additional algebraic structure describing residualizing function calls, following Filinski [13] .  ... 
doi:10.1016/j.entcs.2013.09.007 fatcat:i5ke6gxpvzhohhwhabfsmgemfy

Structured Handling of Scoped Effects: Extended Version [article]

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers
2022 arXiv   pre-print
However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely in conjunction with algebraic operations.  ...  Algebraic effects offer a versatile framework that covers a wide variety of effects.  ...  Acknowledgements This work is supported by EPSRC grant number EP/S028129/1 on 'Scoped Contextual Operations and Effects', by FWO project G095917N, and KU Leuven project C14/20/079.  ... 
arXiv:2201.10287v1 fatcat:vwkbwbsjifd45kzkoqqg4pjose

A Counterexample to Tensorability of Effects [chapter]

Sergey Goncharov, Lutz Schröder
2011 Lecture Notes in Computer Science  
One of their advantages is that they allow for a modular treatment of effects, using composition operators such as sum and tensor.  ...  Monads are widely used in programming semantics and in functional programming to encapsulate notions of side-effect, such as state, exceptions, input/output, or continuations.  ...  Catesbeiana has commented on inconsistent monads.  ... 
doi:10.1007/978-3-642-22944-2_15 fatcat:ydwmewycgfhtpe3ivrlel3w2zi

Fusion of recursive programs with computational effects

Alberto Pardo
2001 Theoretical Computer Science  
The other operator is called monadic hylomorphism, and corresponds to programs formed by the composition of a monadic unfold followed by a function deÿned by structural induction on the data structure  ...  The fusion laws associated with the traditional recursive operators on datatypes cannot, in general, be used to transform recursive programs with e ects.  ...  Acknowledgements I would like to thank one of the anonymous TCS referees for helpful suggestions and Gustavo Betarte for his proofreading and comments.  ... 
doi:10.1016/s0304-3975(00)00127-4 fatcat:s6rzj6rdqngdtfc462ytmemtpe

Introducing a Calculus of Effects and Handlers for Natural Language Semantics [article]

Jirka Maršík, Maxime Amblard (MSH Lorraine, SEMAGRAMME)
2016 arXiv   pre-print
It was previously observed that the lambda terms and/or the denotations studied tend to follow the same pattern: they are instances of a monad.  ...  We prove that our calculus exhibits some of the key formal properties of the lambda calculus and we use it to construct a modular semantics for a small fragment that involves multiple distinct semantic  ...  A monad is formed by a functor and a pair of natural transformations that satisfy certain laws.  ... 
arXiv:1606.06125v2 fatcat:5b2eatsjwbgnpclkvdmzjenng4

Monads and Effects [chapter]

Nick Benton, John Hughes, Eugenio Moggi
2002 Lecture Notes in Computer Science  
The course introduces monads, effects, and exemplifies their applications in programming (Haskell) and in compilation (MLj).  ...  The course presents typed metalanguages for monads and related categorical notions, and then describes how they can be further refined by introducing effects.  ...  Effect Masking and Monadic Encapsulation We have seen that it is not too hard to recast simple effect systems in a monadic framework. But what is the monadic equivalent of effect masking?  ... 
doi:10.1007/3-540-45699-6_2 fatcat:mwqo2nszxnbidh2sx636lubfgq

Type-directed language extension for effectful computations

Evgenii Kotelnikov
2014 Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14  
Computation types such as functors, applicative functors and monads have become common abstractions for modeling effectful computations in functional programming languages.  ...  They are often used together with special language extensions intended to simplify the syntax of monadic expressions.  ...  Most monads only have a transformer for one of the methods $ and &.  ... 
doi:10.1145/2637647.2637648 dblp:conf/ecoop/Kotelnikov14 fatcat:kuf5j3uzhnfnhbe7ckjde2neu4

Modular Probabilistic Models via Algebraic Effects [article]

Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu
2022 arXiv   pre-print
We also demonstrate how simulation and inference can be expressed naturally as composable program transformations using algebraic effect handlers.  ...  Using Haskell as the host language, we present an embedded domain specific language based on algebraic effects, where probabilistic models are modular, first-class, and reusable for both simulation and  ...  This work is partly supported by the EPSRC grant EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations (EP/T008911/1).  ... 
arXiv:2203.04608v3 fatcat:7nesx5lhvrbdtfe266vbqarv4e

Extending Equational Monadic Reasoning with Monad Transformers [article]

Reynald Affeldt, David Nowak
2021 arXiv   pre-print
Our starting point is the existing theory of modular monad transformers, which provides a uniform treatment of operations.  ...  We also use Monae to revisit the lifting theorems of modular monad transformers by providing equational proofs and explaining how to patch a known bug using a non-standard use of Coq that combines impredicative  ...  Effects are declared as operations in interfaces together with equational laws, and some effects extend others by (simple or multiple) inheritance.  ... 
arXiv:2011.03463v2 fatcat:j4suw5kaozgm3hk3yr3fhx3mou

Achieving information flow security through monadic control of effects

William L. Harrison, James Hook, J.D. Guttman
2009 Journal of Computer Security  
This approach is constructive, relying on properties of monads and monad transformers to build, verify, and extend secure software systems.  ...  This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects.  ...  Acknowledgments The authors wish to thank René Rydhof Hansen, Tom Harke, Peter White and the anonymous CSFW reviewers for suggestions that helped improve this paper and its presentation.  ... 
doi:10.3233/jcs-2009-0356 fatcat:75vhnfiqcnfzpphxd6v54prcku
« Previous Showing results 1 — 15 out of 701 results