Monadic I/O in Haskell 1.3 (1995)
| Venue: | Proceedings of the Haskell Workshop |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Gordon95monadici/o,
author = {Andrew D. Gordon and Kevin Hammond},
title = {Monadic I/O in Haskell 1.3},
booktitle = {Proceedings of the Haskell Workshop},
year = {1995},
pages = {50--69}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe the design and use of monadic I/O in Haskell 1.3, the latest revision of the lazy functional programming language Haskell. Haskell 1.3 standardises the monadic I/O mechanisms now available in many Haskell systems. The new facilities allow fairly sophisticated text-based application programs to be written portably in Haskell. The standard provides implementors with a flexible framework for extending Haskell to incorporate new language features. Apart from the use of monads, the main advances over the previous standard are: character I/O based on handles (analogous to ANSI C file pointers), an error handling mechanism, terminal interrupt handling and a POSIX interface. Apart from a tutorial description of the new facilities we include a worked example: a derived monad for combinator parsing. 1 Introduction Haskell 1.3 improves on previous versions of Haskell [12] by adopting an I/O mechanism based on monads [19]. This paper explains the structure of this monadic I/O mechanis...
