随笔分类 -  Functional Programming

上一页 1 2 3 4 5 6 7 下一页
泛函编程
Scalaz（6）－ typeclass：Functor－just map
摘要：Functor是范畴学（Category theory）里的概念。不过无须担心，我们在scala FP编程里并不需要先掌握范畴学知识的。在scalaz里，Functor就是一个普通的typeclass，具备map over特性。我的理解中，Functor的主要用途是在FP过程中更新包嵌在容器（高阶... 阅读全文
posted @ 2015-09-26 12:38 雪川大虫 阅读(1431) 评论(0) 推荐(1)
Scalaz（5）－ typeclass：my typeclass scalaz style－demo
摘要：我们在上一篇讨论中介绍了一些基本的由scalaz提供的typeclass。这些基本typeclass主要的作用是通过操作符来保证类型安全，也就是在前期编译时就由compiler来发现错误。在这篇讨论中我希望能按照scalaz的格式设计自己的typeclass并能使之融入scalaz库结构里去。 我... 阅读全文
posted @ 2015-09-19 17:13 雪川大虫 阅读(1037) 评论(0) 推荐(1)
Scalaz（4）－ typeclass：标准类型－Equal,Order,Show,Enum
摘要：Scalaz是由一堆的typeclass组成。每一个typeclass具备自己特殊的功能。用户可以通过随意多态（ad-hoc polymorphism）把这些功能施用在自己定义的类型上。scala这个编程语言借鉴了纯函数编程语言Haskell的许多概念。typeclass这个名字就是从Haskel... 阅读全文
posted @ 2015-09-18 22:13 雪川大虫 阅读(1840) 评论(1) 推荐(2)
Scalaz（3）－ 基础篇：函数概括化－Generalizing Functions
摘要：Scalaz是个通用的函数式编程组件库。它提供的类型、函数组件都必须具有高度的概括性才能同时支持不同数据类型的操作。可以说，scalaz提供了一整套所有编程人员都需要的具有高度概括性的通用函数，它是通过随意多态（ad-hoc polymorphism）来帮助用户使用这些函数的。随意多态就是trai... 阅读全文
posted @ 2015-09-09 20:53 雪川大虫 阅读(1956) 评论(1) 推荐(5)
Scalaz（2）－ 基础篇：随意多态－typeclass, ad-hoc polymorphism
摘要：scalaz功能基本上由以下三部分组成：1、新的数据类型，如：Validation, NonEmptyList ...2、标准scala类型的延伸类型，如：OptionOps, ListOps ...3、通过typeclass的随意多态（ad-hoc polymorphism）编程模式实现的大量概... 阅读全文
posted @ 2015-09-08 08:32 雪川大虫 阅读(2355) 评论(0) 推荐(2)
Scalaz（1）－ 基础篇：隐式转换解析策略－Implicit resolution
摘要：在正式进入scalaz讨论前我们需要理顺一些基础的scalaz结构组成概念和技巧。scalaz是由即兴多态（ad-hoc polymorphism）类型（typeclass）组成。scalaz typeclass在scala中的应用有赖于scala compiler的一项特别功能：隐式转换（imp... 阅读全文
posted @ 2015-09-06 15:44 雪川大虫 阅读(2992) 评论(1) 推荐(2)
Scalaz(0) - 写在前面
摘要：面向对象编程范畴（OOP）从80年代C++到90年代java的兴起已经经历了几十年的高潮，是不是已经发展到了尽头，该是函数式编程（FP）开始兴旺发达的时候了吧。这样说似乎心眼儿有点坏，可能会得罪当今大多数的编程人员。不过计算机硬件技术的发展往往会催生新的编程技术，这倒是无可反驳的现象。当今世界上计... 阅读全文
posted @ 2015-09-02 17:33 雪川大虫 阅读(2712) 评论(0) 推荐(1)
泛函编程（38）－泛函Stream IO：IO Process in action
摘要：在前面的几节讨论里我们终于得出了一个概括又通用的IO Process类型Process[F[_],O]。这个类型同时可以代表数据源（Source）和数据终端（Sink）。在这节讨论里我们将针对Process[F,O]的特性通过一些应用实例来示范它的组合性（composibility）和由数据源到接... 阅读全文
posted @ 2015-08-26 21:10 雪川大虫 阅读(901) 评论(0) 推荐(0)
泛函编程（37）－泛函Stream IO：通用的IO处理过程－Free Process
摘要：在上两篇讨论中我们介绍了IO Process：Process[I,O]，它的工作原理、函数组合等。很容易想象，一个完整的IO程序是由 数据源＋处理过程+数据终点: Source->Process->Sink所组成的。我们发现：Process[I,O]本身是无法兼顾Source和Sink的功能。而独... 阅读全文
posted @ 2015-08-16 11:51 雪川大虫 阅读(792) 评论(0) 推荐(0)
泛函编程（36）－泛函Stream IO：IO数据源－IO Source & Sink
摘要：上期我们讨论了IO处理过程：Process[I,O]。我们说Process就像电视信号盒子一样有输入端和输出端两头。Process之间可以用一个Process的输出端与另一个Process的输入端连接起来形成一串具备多项数据处理功能的完整IO过程。但合成的IO过程两头输入端则需要接到一个数据源，而... 阅读全文
posted @ 2015-08-04 13:39 雪川大虫 阅读(2164) 评论(0) 推荐(0)
泛函编程（35）－泛函Stream IO：IO处理过程－IO Process
摘要：IO处理可以说是计算机技术的核心。不是吗？使用计算机的目的就是希望它对输入数据进行运算后向我们输出计算结果。所谓Stream IO简单来说就是对一串按序相同类型的输入数据进行处理后输出计算结果。输入数据源可能是一串键盘字符、鼠标位置坐标、文件字符行、数据库纪录等。如何实现泛函模式的Stream ... 阅读全文
posted @ 2015-07-29 12:03 雪川大虫 阅读(1161) 评论(1) 推荐(0)
泛函编程（34）－泛函变量：处理状态转变－ST Monad
摘要：泛函编程的核心模式就是函数组合（compositionality）。实现函数组合的必要条件之一就是参与组合的各方程序都必须是纯代码的（pure code）。所谓纯代码就是程序中的所有表达式都必须是Referentially Transparent（RT，等量可替换的），它的意思是：在一段程序p中... 阅读全文
posted @ 2015-07-17 10:55 雪川大虫 阅读(919) 评论(1) 推荐(0)
泛函编程（33）－泛函IO：Free Functor - Coyoneda
摘要：在前几期讨论中我们终于推导出了Free Monad。这是一个Monad工厂，它可以把任何F[A]变成Monad。可惜的是它对F[A]是有所要求的：F必须是个Functor。Free Monad由此被称为由Functor F 产生的Monad。F必须是Functor,这个门槛使我们在使用Free M... 阅读全文
posted @ 2015-07-13 13:41 雪川大虫 阅读(678) 评论(0) 推荐(1)
泛函编程（32）－泛函IO：IO Monad
摘要：由于泛函编程非常重视函数组合（function composition），任何带有副作用（side effect）的函数都无法实现函数组合，所以必须把包含外界影响（effectful）副作用不纯代码（impure code）函数中的纯代码部分（pure code）抽离出来形成独立的另一个纯函数。... 阅读全文
posted @ 2015-07-06 22:20 雪川大虫 阅读(1902) 评论(3) 推荐(1)
泛函编程（31）－泛函IO：Free Monad－Running free
摘要：在上节我们介绍了Free Monad的基本情况。可以说Free Monad又是一个以数据结构替换程序堆栈的实例。实际上Free Monad的功能绝对不止如此，以heap换stack必须成为Free Monad的运算模式，这样我们才可以放心的使用Free Monad所产生的Monadic编程语言了... 阅读全文
posted @ 2015-06-25 14:10 雪川大虫 阅读(1934) 评论(8) 推荐(1)
泛函编程（30）－泛函IO：Free Monad－Monad生产线
摘要：在上节我们介绍了Trampoline。它主要是为了解决堆栈溢出（StackOverflow）错误而设计的。Trampoline类型是一种数据结构，它的设计思路是以heap换stack：对应传统递归算法运行时在堆栈上寄存程序状态，用Trampoline进行递归算法时程序状态是保存在Trampoli... 阅读全文
posted @ 2015-06-18 17:56 雪川大虫 阅读(1500) 评论(4) 推荐(1)
泛函编程（29）－泛函实用结构：Trampoline-不再怕StackOverflow
摘要：泛函编程方式其中一个特点就是普遍地使用递归算法，而且有些地方还无法避免使用递归算法。比如说flatMap就是一种推进式的递归算法，没了它就无法使用for-comprehension，那么泛函编程也就无法被称为Monadic Programming了。虽然递归算法能使代码更简洁易明，但同时又以占用堆... 阅读全文
posted @ 2015-06-10 21:39 雪川大虫 阅读(2575) 评论(0) 推荐(4)
泛函编程（28）－粗俗浅解：Functor, Applicative, Monad
摘要：经过了一段时间的泛函编程讨论，始终没能实实在在的明确到底泛函编程有什么区别和特点；我是指在现实编程的情况下所谓的泛函编程到底如何特别。我们已经习惯了传统的行令式编程（imperative programming），总是先入为主的认为软件编程就是一行接着一行的更改某些变量状态指令：明刀明枪，字里行... 阅读全文
posted @ 2015-06-02 15:55 雪川大虫 阅读(1506) 评论(0) 推荐(0)
泛函编程（27）－泛函编程模式－Monad Transformer
摘要：经过了一段时间的学习，我们了解了一系列泛函数据类型。我们知道，在所有编程语言中，数据类型是支持软件编程的基础。同样，泛函数据类型Foldable,Monoid,Functor,Applicative,Traversable,Monad也是我们将来进入实际泛函编程的必需。在前面对这些数据类型的探讨... 阅读全文
posted @ 2015-05-28 23:25 雪川大虫 阅读(1459) 评论(0) 推荐(0)
泛函编程（26）－泛函数据类型－Monad－Applicative Functor Traversal
摘要：前面我们讨论了Applicative。Applicative 就是某种Functor，因为我们可以用map2来实现map，所以Applicative可以map，就是Functor，叫做Applicative Functor。我们又说所有Monad都是Applicative，因为我们可以用flat... 阅读全文
posted @ 2015-05-21 19:27 雪川大虫 阅读(1122) 评论(0) 推荐(0)

上一页 1 2 3 4 5 6 7 下一页