Atitit 理解Monad attilax总结 但函数式编程最大的一个问题是,函数是一个数学抽象,在现实世界中不存在,1 那既然这样就够用了,还要 Monad 干嘛?Monad 的作用在这里就体现出来了,它就是个加强的胶水函数1 但函数式编程最大的一个问题是,函数是一个数学抽象,在现实世界中不存在, 它必须被模拟出来.目前为止被广泛使用的计算机还是基于图灵机模型,计算机的寄存器.缓存.内存就是用来记录状态的.要真正懂得程序设计,必须知道没有状态的函数是如何在充满状态的计算机上实现的,所以还是绕…

对于大多数刚刚入门函数式编程的同学来说,monad(单子.又叫单体)可能是这里面的一道坎.你可能对 map . flatMap 以及 filter 再熟悉不过,可是到了高阶的抽象层次上就又会变得一脸懵逼.其实每个人在学习的阶段都会经历这个过程,不过希望这篇文章能让你重新理解 monad 以及其他相关的概念. Optional Swift 作为一门类型安全的强类型语言,它在编译阶段就会对你的数据类型进行比较多的检查.因此,在 Swift 中我们遇到了一种新的数据类型,叫做 Optional .它的…

前言 Swift 其实比 Objective-C 复杂很多,相对于出生于上世纪 80 年代的 Objective-C 来说,Swift 融入了大量新特性.这也使得我们学习掌握这门语言变得相对来说更加困难.不过一切都是值得的,Swift 相比 Objective-C,写出来的程序更安全.更简洁,最终能够提高我们的工作效率和质量. Swift 相关的学习资料已经很多,我想从另外一个角度来介绍它的一些特性,我把这个角度叫做「烧脑体操」.什么意思呢?就是我们专门挑一些比较费脑子的语言细节来学习.通过「烧…

最近几年,函数式编程变得越来越流程,其代码简洁.副作用小.维护成本低等特点,使得许多其它的语言也开始支持函数式编程,比如Java 和 C#等.本文主要介绍一下函数式编程中的一个重要概念:Monad.      从定义上看,Monad就是两个接口:一个是return,另一个是一个bind:只要实现这两个操作的类型,都是monad.但是在理解Monad之前,先要搞清楚两个概念:Functors 和 Applicatives:    1. Functors 定义:把一个函数作用在数值类型(对值类型的封…

上周提过,Swift 的 Github 主页上已经有了 >>「Port to Android」,这周重点推荐一下 Stanford 的 Swift 课程. Developing iOS 9 Apps with Swift 开发者@林泰前 在微博上说到: "这大概是全球最佳的免费 iOS 教学的大学课程,教导用 Swift 编写 iOS 9 软件." 不光是 iOS 开发者,想学 Swift 的 Android 开发者也可以看看这个课程. 除了重点推荐的这个课程外,本期 fi…

这本书比较基础认真看完再自己写点demo一个双休日就差不多, 总体来说看完还是有收获的,会激起一些你对函数编程的兴趣 主要目录如下: 第1章 函数式编程简介 11.1 什么是函数式编程?为何它重要 11.2 引用透明性 41.3 命令式.声明式与抽象 51.4 函数式编程的好处 71.5 纯函数 71.5.1 纯函数产生可测试的代码 71.5.2 合理的代码 91.6 并发代码 101.7 可缓存 111.8 管道与组合 121.9 纯函数是数学函数 131.10 我们要构建什么 151.11…

大致介绍了幺半群(monoid)后,我们重新回顾最初引用wadler(haskell委员会成员,把monad引入haskell的家伙)的那句话: 现在我们来解读这句话中包含的另一个概念:自函子(Endofunctor),不过我们先需要一些铺垫: 首先,什么是函子(Functor)? 乍一看名字,以为函子(functor)对函数(function)是一种封装,实际没有关系,尽管他们都是表示映射,但两者针对的目标不一样. 函数表达的映射关系在类型上体现在特定类型(proper type)之间的映射,…

monad是高阶抽象类型: 包含类型构造器: monad抽象的核心是类型封装和类型转化(map). 实现monad的的类型必须实现(基础)类型的封装和类型转化的功能: 在此基础上实现其他的功能(基本依赖于map): 实现类型的衍生功能依赖于map的实现:…

google到数学里定义的群(group): G为非空集合,如果在G上定义的二元运算 *,满足 (1)封闭性(Closure):对于任意a,b∈G,有a*b∈G (2)结合律(Associativity):对于任意a,b,c∈G,有(a*b)*c=a*(b*c) (3)幺元 (Identity):存在幺元e,使得对于任意a∈G,e*a=a*e=a (4)逆元:对于任意a∈G,存在逆元a^-1,使得a^-1*a=a*a^-1=e 则称(G,*)是群,简称G是群. 如果仅满足封闭性和结合律,则称G是…

1. 复合函数操作符 Prelude> :t (.) (.) :: (b -> c) -> (a -> b) -> a -> c Prelude> (.) ((+) 5) ((*) 2) 4 13 所以(.)操作符的作用,是将4作为参数传递给((*) 2)函数,再将结果传递给((+) 5)函数. 这就是数学里面的复合函数: f(x) = 2x g(x) = x + 5 g(f(x)) = g(2x) = (2x) + 5 = 2x + 5 g(f(4)) = 2*…