关键词: 纯函数式语言 Monad lazy I/O

Abstract:

Monads serve as the basis for adding other features to a pure functional language, such as exception, state and I/O. This paper defines the pure funct  ional lazy I/O operations based on Monads by combining a state transformer monad with an exception processing monad. This method shows that I/O can be i  ncorporated into pure functional languages without losing the advantages of pure functional languages

Key words: pure function language, Monad lazy I/O