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 to other approaches to interaction based on synchronous streams, continuations, linear logic, and side effects.
|Title of host publication||Logic Programming, Proceedings of the 1995 International Symposium, December 4-7, 1995, Portland, Oregon|
|Number of pages||15|
|Publication status||Published - 1995|