monad本意是单子.在haskell中,第一个接触的基本都是IO action,通过把IO动作包装起来我们能很方便的与现实世界进行数据交换.但其实monad的用途不止如此,monad还能讲一系列操作进行序列化,而这一点在通常编程中是非常需要的.而在haskell中,类似的事情则是通过递归来完成了平时需要序列化的工作.但其实haskell中也有能进行顺序操作的方法,那就是monad.一个类似于monad的定义基本是这个样子的. class Computation c where success…

在haskell中,有一个do的语句专门用来做一些不那么“干净”的事情,比如读写都需要用do来开头 一开始以为do的作用是做monad,后来发现是错误的,其实do做的事情是包裹一个顺序操作 比如在如下代码中 main=do > then do putStrLn "Step 1" putStrLn "Step 2" else putStrLn "Step 3" 第三行中的do如果缺少的话,编译器会报这个错误 The function `put…

cps全称叫continuation passing style,简要来讲就是告诉函数下一步做什么的递归方式,由于普通递归有栈溢出的问题,而cps都是尾递归(tail recursion),尾递归则是没有栈溢出问题的,所以haskell推荐都用cps的方式去编写代码. 当然,相对于普通递归方式,cps也有着非常不便于理解的问题. def fact(n): if (n==0): return 1 else: return n* fact(n-1) print fact(400) 这是一段递归求阶乘…

haskell中有两种定义局部变量的方法let和where,方法分别如下 roots a b c = ((-b + det) / (a2), (-b - det) / (a2)) *a*c) a2 = *a roots a b c = let det = sqrt (b*b - *a*c) a2 = *a in ((-b + det) / a2, (-b - det) / a2) 这两种方法都可以使全局变量定义失效 det = "Hello World" roots a b c =((…

1. 运行命令cabal install glib时出现错误: Cannot find gtk2hsC2hs Please install `gtk2hs-buildtools` first and check that the install directory is in your PATH (e.g. HOME/.cabal/bin). 2. 运行命令cabal install gtk2hs-buildtools Installed gtk2hs-buildtools-0.12.5.2 3…

前言 近期又开始折腾起Haskell,掉进这个深坑恐怕很难再爬上来了.在不断深入了解Haskell的各种概念以及使用它们去解决实际问题的时候,我会试想着将这些概念移植到Swift中.函数式编程范式的很多概念在Swift等主打面向对象范式的语言中就像各种设计模式一样,优雅地帮助我们构建好整个项目,促使我们的代码更加的美观优雅.安全可靠. 本篇文章为"函数式编程"系列中的第二篇,我主要说下Monad的一些小概念,以及试图将Monad融入Swift中来让其为我们的实际工程项目作出贡献. 关于…

原文地址:Haskell学习-monad 什么是Monad Haskell是一门纯函数式的语言,纯函数的优点是安全可靠.函数输出完全取决于输入,不存在任何隐式依赖,它的存在如同数学公式般完美无缺.可是纯函数因为隔绝了外部环境,连最基本的输入输出都无法完成.而 Monad 就是 Haskell 给出的解决方案.但Monad 并不仅仅是 IO 操作的抽象,它更是多种类似操作之间共性的抽象.所以 Monad 解决的问题并不局限在 IO 上,像 Haskell 中的 Maybe 和 [] 都是 Mona…

函数编程中functor和monad的形象解释 函数编程中Functor函子与Monad是比较难理解的概念,本文使用了形象的图片方式解释了这两个概念,容易理解与学习,分别使用Haskell和Swift两种语言为案例. 虽然Swift并不是一个函数式语言,但是我们可以用更多点代码来完成与Haskell同样的结果.Swift的代码见on GitHub. 这里是一个简单的值: 如果我们应用一个函数(+3)到这个值: 非常简答,是不是?现在我们拓展一下,上面的值我们没有设定上下文场景,如果我们假设一个值…

版权归作者所有,任何形式转载请联系作者. 作者:tison(来自豆瓣) 来源:https://www.douban.com/note/733279598/ Monad 在实际开发中的应用 不同的人会从不一样的角度接触 Monad.大多数网上的教程和介绍都从其严格的定义出发,加上几个玩具示例就当讲解完毕.诚然,不少 FP 的爱好者都是形式逻辑的拥趸或强于数学的,但是我对 Monad 的理解却不是从其定义入门的.相反,我是先频繁接触了其实例,这其中包括所有开发者都熟悉的列表(List),现代开发者应…

说到 Haskell,这真是一门逼格极高的编程语言,一般初学者如果没有相关函数式编程的经验,入门直接接触那些稀奇古怪的概念,简直要跪下.现在回想起来,隐隐觉得初学者所拥有的命令式编程语言(imperative programming language)相关的知识和经验反而成了负担,若能抛掉以往固有的观念转以全新的视角来看待这些新奇东西,仿佛会更好接受些,真是莫名其妙. Bartosz Milewski 在其博客上写了不少 Haskell 及函数式编程相关的文章,读来真是受益良多,这位大哥很多年前…