- 博客(18)
- 收藏
- 关注
RSS订阅原创 泛函编程（17）－泛函状态－State In Action
对OOP编程人员来说，泛函状态State是一种全新的数据类型。我们在上节做了些介绍，在这节我们讨论一下State类型的应用：用一个具体的例子来示范如何使用State类型。以下是这个例子的具体描述：模拟一个自动糖果贩售机逻辑：贩售机有两种操作方法：投入硬币和扭动出糖旋钮。贩售机可以处于锁定和放开两种状态。模拟运作跟踪贩售机内当前的糖果和硬币数量。贩售机的操作逻辑要求如下：1、如果机内有糖的话
2015-03-27 09:25:05
728
原创 泛函编程（16）－泛函状态－Functional State
初接触泛函状态觉着很不习惯。主要是在使用State数据类型时很难理解其中的原理，特别是泛函状态变迁机制（state transition mechanism）：怎么状态就起了变化，实在难以跟踪。我想这主要是因为状态变迁机制经过了函数组合，已经深深的埋藏在运行代码后面。上节我们讨论到RNG，对于了解State类型是个很好的开头。RNG简单描述了泛函方式的状态变迁及支持状态变迁所需要的数据结构和操作函
2015-03-26 11:31:21
948
原创 泛函编程（15）－泛函状态－随意数产生器
对于OOP程序员来说，泛函状态变迁（functional state transition）是一个陌生的课题。泛函状态变迁是通过泛函状态数据结构（functional state）来实现的。State是一个出现在泛函编程里的类型（type）。与其它数据类型一样，State同样需要自身的一套泛函操作函数和组合函数（combinators），我们将在以下章节中讨论有关State数据类型的设计方案。
2015-03-24 18:08:11
567
原创 泛函编程（14）－try to map them all
虽然明白泛函编程风格中最重要的就是对一个管子里的元素进行操作。这个管子就是这么一个东西：F[A]，我们说F是一个针对元素A的高阶类型，F就是一个装载A类型元素的管子。泛函编程风格就是在F内部用对付A类的函数对元素进行操作。但在之前的现实编程中确总是没能真正体会这种编程模式畅顺的用法。在前面Stream设计章节里，我们采用了封装形式的数据结构设计，把数据结构uncons放进了特质申明里： tr
2015-03-23 19:41:31
738
原创 泛函编程（13）－无穷数据流－Infinite Stream
上节我们提到Stream和List的主要分别是在于Stream的“延后计算“（lazy evaluation）特性。我们还讨论过在处理大规模排列数据集时，Stream可以一个一个把数据元素搬进内存并且可以逐个元素地进行处理操作。这让我不禁联想到我们常用的数据搜索读取方式了：大量的数据存放在数据库里，就好像无穷的数据源头。我们把数据读取方式（那些数据库读写API函数）嵌入Stream的操作函数内，把
2015-03-18 11:36:16
833
原创 泛函编程（12）－数据流－Stream
在前面的章节中我们介绍了List，也讨论了List的数据结构和操作函数。List这个东西从外表看上去挺美，但在现实中使用起来却可能很不实在。为什么？有两方面：其一，我们可以发现所有List的操作都是在内存中进行的，要求List中的所有元素都必须在操作时存在于内存里。如果必须针对大型数据集进行List操作的话就明显不切实际了。其二，List的抽象算法如折叠算法、map, flatMap等是无法中途跳
2015-03-17 07:28:37
669
原创 泛函编程（11）－延后计算－lazy evaluation
在进入具体的Stream实现之前，先对泛函编程中比较特别的一个语言属性”计算时机“(strict-ness)做些介绍。strict-ness是指系统对一个表达式计算的时间点：立即计算的（strict)，或者延迟计算的（non-strict or lazy）。non-strict或者lazy的意思是在使用一个表达式时才对它进行计值。用个简单直观的例子吧： def lazyFun(x: => I
2015-03-15 18:49:41
754
原创 泛函编程（10）－异常处理－Either
上节我们介绍了新的数据类型Option：一个专门对付异常情况出现时可以有一致反应所使用的数据类型。Option可以使编程人员不必理会出现异常后应该如何处理结果，他只是获得了一个None值，但这个None值与他所期待的类型是一致的，他可以继续用处理这种类型数据的方法使用这个结果。不过遗憾的是我们通过None值只能知道某个计算没能得出结果，但到底发生了什么事Option并没有提供任何提示。这样我们也就
2015-03-15 09:45:24
1186
原创 泛函编程（9）－异常处理－Option
Option是一种新的数据类型。形象的来描述：Option就是一种特殊的List，都是把数据放在一个管子里；然后在管子内部对数据进行各种操作。所以Option的数据操作与List很相似。不同的是Option的管子内最多只能存放一个元素，在这个方面Option的数据操作就比List简单的多，因为使用者不必理会数据元素的位置、顺序。Option只有两种状态：包含一个任何类型的元素或者为空。或者这样讲：
2015-03-13 08:08:48
863
原创 泛函编程（8）－数据结构－Tree
上节介绍了泛函数据结构List及相关的泛函编程函数设计使用，还附带了少许多态类型（Polymorphic Type）及变形（Type Variance）的介绍。有关Polymorphism的详细介绍会放在typeclass讨论中。为了更多了解泛函数据结构（Functional Data Structure）,想在这个章节把另一个我们熟悉的数据结构-Tree做些简单介绍。 Tree的状态不
2015-03-12 08:33:09
796
原创 泛函编程（7）－数据结构－List－折叠算法
折叠算法是List的典型算法。通过折叠算法可以实现众多函数组合（function composition）。所以折叠算法也是泛函编程里的基本组件（function combinator）。了解折叠算法的原理对了解泛函组合有着至关紧要的帮助。折叠算法又可分右折叠和左折叠。我们先从右折叠（foldRight）开始:从以上两图示可以得出对List(a,b,c)的右折叠算法：op(a,op(b
2015-03-11 09:40:50
1473
1
原创 泛函编程（6）－数据结构－List基础
List是一种最普通的泛函数据结构，比较直观，有良好的示范基础。List就像一个管子，里面可以装载一长条任何类型的东西。如需要对管子里的东西进行处理，则必须在管子内按直线顺序一个一个的来，这符合泛函编程的风格。与其它的泛函数据结构设计思路一样，设计List时先考虑List的两种状态：空或不为空两种类型。这两种类型可以用case class 来表现: trait List[+A] {} c
2015-03-10 10:42:06
863
原创 泛函编程（5）－数据结构（Functional Data Structures)
编程即是编制对数据进行运算的过程。特殊的运算必须用特定的数据结构来支持有效运算。如果没有数据结构的支持，我们就只能为每条数据申明一个内存地址了，然后使用这些地址来操作这些数据，也就是我们熟悉的申明变量再对变量进行读写这个过程了。试想想如果没有数据结构，那我们要申明多少个变量呢。所以说，数据结构是任何编程不可缺少的元素。 泛函编程使用泛函数据结构来支持泛函程序。泛函数据结构的特点是”不可变
2015-03-10 07:28:49
899
原创 泛函编程（3）－认识Scala和泛函编程
接着昨天的文章，再示范一个稍微复杂一点的尾递归tail recursion例子：计算第n个Fibonacci数。Fibonacci数第一、第二个数值分别是0,1，按顺序后面的数值是前面两个数的加合。例如：0,1,1,2,3,5... def fib(n: Int): Int = { @annotation.tailrec def go(cnt: Int, prev: Int,
2015-03-04 19:58:02
949
1
原创 泛函编程（1）－泛函编程是如何实现的
泛函编程就是把函数组合起来形成一个完整的程序。可以预见，组合的过程可以是曲折的，形成的程序可以是复杂的。泛函编程是如何保证一个复杂的函数组合是正确无误的呢？首先，泛函编程的函数组合（Composition）遵循一定的数学定律（Mathematical Laws)，这保证了组成的函数具备要求的行为特征（Behavior）。再者，所有组件函数都必须具备行为不可变化特性，即无论在任何场合，它们的行为都不
2015-03-02 19:07:28
1979
原创 泛函编程（0）－什么是泛函编程
什么是泛函编程（Functional Programming）？泛函编程就是用函数编写程序。这个回答太抽象，等于没说。再说清楚一点：泛函编程就想砌积木一样把函数当成积木块，把函数的输出输入作为积木的楔子和楔孔，把一个函数的输出当作另一个函数的输入组合成一个更大的函数。整个砌积木的过程就是泛函编程。嗯，这个稍微清楚了一点，不过这样做来干什么呢？相对于泛函编程模式还有指令编程模式（Impera
2015-03-02 16:14:44
2344
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人