Parameterised Notions of Computation

Abstract

Moggi’s Computational Monads and Power et al’s equivalent notion of Freyd category have captured a large range of computational effects present in programming languages such as exceptions, side-effects, input/output and continuations. We present generalisations of both constructs, which we call parameterised monads and parameterised Freyd categories, that also capture computational effects with parameters. Examples of such are composable continuations, side-effects where the type of the state varies and input/output where the range of inputs and outputs varies. By also considering monoidal parameterisation, we extend the range of effects to cover separated side-effects and multiple independent streams of I/O.We also present two typed λ-calculi that soundly and completely model our categorical definitions — with and without monoidal parameterisation—and act as prototypical languages with parameterised effects.

Affiliations

Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh

Mayfield Road, Edinburgh EH9 3JZ, UK

Contributors

Robert Atkey

Conference

Publication date: July 2006

Publication date (Print): July 2006

Pages: 1-15

ID: 10.14236/ewic/MSFP2006.5

Copyright statement: © Robert Atkey. Published by BCS Learning and Development Ltd. Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonia

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Workshop on Mathematically Structured Functional Programming (MSFP 2006)

Conference acronym: MSFP

Conference number:

Conference location: Kuressaare, Estonia

Conference date: 2 July 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Mathematically Structured Functional Programming

Product

Product Information: 1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MSFP2006.5

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing