HOW TO DECLARE AN IMPERATIVE

Authors
WADLER P
Citation
P. Wadler, HOW TO DECLARE AN IMPERATIVE, ACM computing surveys, 29(3), 1997, pp. 240-263
Citations number
67
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
ACM computing surveys → ACNP
ISSN journal
03600300
Volume
29
Issue
3
Year of publication
1997
Pages
240 - 263
Database
ISI
SICI code
0360-0300(1997)29:3<240:HTDAI>2.0.ZU;2-D
Abstract
How can we integrate interaction into a purely declarative language? T his tutorial describes a solution to this problem based on a monad. Th e solution has been implemented in the functional language Haskell and the declarative language Escher. Comparisons are given with other app roaches to interaction based on synchronous streams, continuations, li near logic, and side effects.