How to declare an imperative
- 1 September 1997
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 29 (3) , 240-263
- https://doi.org/10.1145/262009.262011
Abstract
How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad. The solution has been implemented in the functional language Haskell and the declarative language Escher. Comparisons are given with other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.Keywords
This publication has 23 references indexed in Scilit:
- Functional programming with overloading and higher-order polymorphismPublished by Springer Nature ,1995
- The design of a pretty-printing libraryPublished by Springer Nature ,1995
- Functional parsersPublished by Springer Nature ,1995
- The ins and outs of Clean I/OJournal of Functional Programming, 1995
- Computational interpretations of linear logicTheoretical Computer Science, 1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- The linear abstract machineTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- Toposes, Triples and TheoriesPublished by Springer Nature ,1985
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940