Monads for functional programming
Monads for functional programming
复制标题
用于函数式编程的 Monad
DOI：
--
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
P. Wadler
中科院分区：
文献类型：
--
作者：
P. Wadler
描述了如何使用单体来构造函数式程序。Monad提供了一个方便的框架，用于模拟其他语言中的Eect，如全局状态、异常处理、输出或非确定性。本文详细介绍了三个案例研究：Monad如何简化简单求值器的修改；Monad如何作为受就地更新的数组数据类型的基础；以及Monad如何用于构建解析器。
The use of monads to structure functional programs is de- scribed. Monads provide a convenient framework for simulating eects found in other languages, such as global state, exception handling, out- put, or non-determinism. Three case studies are looked at in detail: how monads ease the modication of a simple evaluator; how monads act as the basis of a datatype of arrays subject to in-place update; and how monads can be used to build parsers.