Eff swMATH ID: 22721 Software Authors: Bauer, Andrej; Pretnar, Matija Description: Eff is a functional programming language based on algebraic effects and their handlers. Algebraic effects are a way of adding computational effects to a pure functional setting. In a technical sense they are subsumed by the monadic approach to computational effects, but they offer new ways of programming that are not easily achieved with monads. In particular, algebraic effects are combined seamlessly, whereas monad transformers are needed in the monadic style. The main idea of eff is that computational effects are accessed through a set of operations, for example lookup and update for state, read and write for I/O, raise for exceptions, etc. The behavior of operations is determined by handlers. Just like an exception handler determines what happens when an exception is raised, a general handler describes the actions taken when an operation is triggered. Examples of handlers include state, transactions, non-determinism, stream redirection, backtracking, delimited continuations, and many others. Because eff supports first-class effects and handlers, programmers may define new computational effects, combine existing ones, and handle effects in novel ways. For instance, ML-style references are a defined concept in eff. Eff code looks and feels like that of Ocaml because eff uses Ocaml syntax extended with constructs for effects and handlers. Furthermore, eff is a statically typed language with parametric polymorphism and type inference. The types are similar to those of OCaml and other variants of ML in the sense that they do not express any information about computational effects. Homepage: http://math.andrej.com/eff/ Keywords: algebraic effects; effect handlers; effect system Related Software: Koka; Haskell; GitHub; ML; Coq; Links; Frank; Shonky; Idris; Irdis; Agda; Twelf; FreeSpec; operational; Kami; Rocksalt; FoCaLiZe; Paco; Coquet; ESC/Java Cited in: 22 Documents Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year Programming with algebraic effects and handlers. Zbl 1304.68025Bauer, Andrej; Pretnar, Matija 2015 An effect system for algebraic effects and handlers. Zbl 1448.68203Bauer, Andrej; Pretnar, Matija 2014 all top 5 Cited by 36 Authors 8 Pretnar, Matija 3 Bauer, Andrej 3 Lindley, Sam 2 Amblard, Maxime 2 Atkey, Robert 2 Hillerström, Daniel 2 Kammar, Ohad 2 Maršík, Jirka 2 Saleh, Amr Hany 2 Schrijvers, Tom 1 Abel, Andreas M. 1 Adelsberger, Stephan 1 Baanen, Anne 1 Bickford, Mark 1 Brachthäuser, Jonathan Immanuel 1 Chifflier, Pierre 1 Convent, Lukas 1 de Groote, Philippe 1 Ekici, Burak 1 Hiet, Guillaume 1 Hötzel Escardó, Martín 1 Kaliszyk, Cezary 1 Karachalias, Georgios 1 Letan, Thomas 1 Lukšič, Žiga 1 McBride, Conor Thomas 1 McDermott, Dylan 1 McLaughlin, Craig A. 1 Ostermann, Klaus 1 Rahli, Vincent 1 Régis-Gianas, Yann 1 Schuster, Philipp 1 Setzer, Anton 1 Sivaramakrishnan, K. C. 1 Swierstra, Wouter 1 Vanderhallen, Stien all top 5 Cited in 8 Serials 7 Journal of Functional Programming 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Theory and Practice of Logic Programming 1 Mathematics in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 22 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) Citations by Year