Abstract
We examine the monadic I/O system, and put forward some ideas on how functional programmers should use it to build programs that interact with the “Real World”, advocating separation of functionality from communication with external systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
C Hall, K Hammond, W Partain, SL Peyton Jones & PL Wadler, “The Glasgow Haskell Compiler: A Retrospective,” in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Springer-Verlag, Workshops in Computing, Ayr, Scotland, 1992.
P Hudak & RS Sundaresh, “On the expressiveness of purely-functional I/O systems,” YALEU/DCS/RR-665, Department of Computing Science, Yale University, March 1989.
John Hughes, “Why functional programming matters,” PMG-40, Programming Methodology Group, Chalmers Inst, Sweden, Oct 1984.
John K. Ousterhout, “Tcl: An Embeddable Command Language,” in Proc. USENIX Winter Conference 1990.
SL Peyton Jones & PL Wadler, “Imperative functional programming,” in 20th ACM Symposium on Principles of Programming Languages, ACM, Jan 1993.
Duncan Sinclair, “Interacting with Functional Languages,” Master’s Thesis (In preparation ), University of Glasgow, 1994.
Duncan C. Sinclair, “Graphical User Interfaces for Haskell,” in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Springer-Verlag, Workshops in Computing, Ayr, Scotland, 1992.
Duncan C. Sinclair, “Solid Modelling in Haskell,” in Functional Programming, Glasgow 1990, Workshops in Computing, Springer-Verlag, Aug 1990, pp. 246–263.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this chapter
Cite this chapter
Sinclair, D.C. (1994). Separating Interaction. In: O’Donnell, J.T., Hammond, K. (eds) Functional Programming, Glasgow 1993. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3236-3_22
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3236-3_22
Publisher Name: Springer, London
Print ISBN: 978-3-540-19879-6
Online ISBN: 978-1-4471-3236-3
eBook Packages: Springer Book Archive