泛函编程(16)-泛函状态-Functional State

    初接触泛函状态觉着很不习惯。主要是在使用State数据类型时很难理解其中的原理,特别是泛函状态变迁机制(state transition mechanism):怎么状态就起了变化,实在难以跟踪。我想这主要是因为状态变迁机制经过了函数组合,已经深深的埋藏在运行代码后面。上节我们讨论到RNG,对于了解State类型是个很好的开头。RNG简单描述了泛函方式的状态变迁及支持状态变迁所需要的数据结构和操作函数款式。

    在上节我们提到过 type Rand[+A] = RNG => (A, RNG),Rand是一个随意数产生函数。由于Rand是个类型,一个函数类型,所以可以被当作参数或者返回值来使用。我们把这个定义再扩展一下,变得更通用一些:type State[S, +A] = S => (A, S)。Rand就是State的一个特殊案例:type Rand[+A] = State[RNG, +A] 。我们称State为状态行为,即S => (A,S)是一个定义状态变迁方式的函数。State类型的状态变迁机制就是通过状态行为函数来确定的。再次聚焦一下我们设计State类型的目标:State类型不但可以使我们像设计其它类型一样封装一个较低阶类型元素并且提供一套状态变迁机制,而且状态变迁机制是泛函式的,自然隐性的。

我们先试试简单的State类型设计:

1 case class State[S,+A](run: S => (A, S)) 

没错,就是这么简单,也是我刻意为之。注意状态行为函数run是State类的内部成员,我们有针对性的把一个State的状态变迁机制通过在构建State类时作为参数注入。然后产生的State实例就会按照我们期待的那样进行状态变迁了。case class自备了apply,这样我们可以直接使用State(???)创建State实例。我会把State(s => (a,s))写成State { s => (a,s)},这样表达传入的是一段代码会更形象自然一点。State[]既然是一个高阶类型,那么我们应该也为它提供一套在管子内部进行元素操作的函数。切记!切记!在处理管子内封装元素值的同时要按照状态行为函数的要求对类型状态进行相应变迁。

先从高阶类型最基本的组件开始:

1 object State {
2     def unit[S,A](a: A) = State[S,A](s => (a, s))
3 }

我们前面接触过这个unit。它就是一个封装元素值和状态都不转变的State实例。unit的唯一功能就是把低阶一级的封装元素类型a升格为State类型。

我们来编写一个State函数,切记!切记!要同时处理状态变迁机制:

1 case class State[S,+A](run: S => (A, S)) {
2     def flatMap[B](f: A => State[S,B]): State[S,B] = State[S,B] {
3         s => {
4             val (a, s1) = run(s)
5             f(a).run(s1)
6         }
7     }

在flatMap里我们用函数f处理了封装元素a, f(a)。同时我们又引用了状态行为函数run对传入的状态s进行了状态变迁 run(s)。

1     def map[B](f: A => B): State[S,B] = State[S,B] {
2         s => {
3             val (a, s1) = run(s)
4             (f(a),s1)
5         }
6     }
7     def map_1[B](f: A => B): State[S,B] = {
8         flatMap { a => unit(f(a)) }
9     }

同样,map也实施了f(a),run(s)。map也可以用flatMap来实现。它们之间的分别只是f: A => B 和 A => State[S,B]。因为我们有unit, unit(a) = State[S,A],unit(f(a)) = State[S,B]所以我们用unit把map的函数参数A升格就行了。用flatMap来实现map可以把map抽升到更高级:这样map就不用再理会那个状态行为函数了。

那么map2呢?

1     def map2[B,C](sb: State[S,B])(f: (A,B) => C): State[S,C] = {
2         flatMap {a => sb.map { b => f(a,b) }}
3     }
4     def map3[B,C,D](sb: State[S,B], sc: State[S,C])(f: (A,B,C) => D): State[S,D] = {
5         flatMap {a => sb.flatMap {b => sc.map { c => f(a,b,c) }}}
6     }

map2的功能是用封装元素类型函数(A,B) => C来把两个State管子里的元素结合起来。我们可以施用flatMap两次来把两个管子里的元素结合起来。对于map3我们可以再加一次。

另一种连续施用flatMap的表达方式:

 1     def map2_1[B,C](sb: State[S,B])(f: (A,B) => C): State[S,C] ={
 2         for {
 3             a <- this
 4             b <- sb
 5         } yield f(a,b)
 6     }
 7     def map3_1[B,C,D](sb: State[S,B], sc: State[S,C])(f: (A,B,C) => D): State[S,D] ={
 8         for {
 9             a <- this
10             b <- sb
11             c <- sc
12         } yield f(a,b,c)
13     }

以上的语法糖(syntatic sugar)for-comprehension让我们俨然进入了一个泛函世界,好像有了一种兴奋的感觉。这种表达形式简洁直白,更加容易理解。同样,在map2,map3里没有涉及到任何状态变迁的东西。我们实现了状态变迁的隐形操作。

下面举个切实例子来示范泛函状态:

 1 //Stack类型就是一个List[Int],后面比较容易表达点
 2 type Stack = List[Int]
 3 //pop就是一个State实例。它的状态行为函数是partial function:把一个现成的List[Int]拆分成新的值和状态
 4 //即把第一个元素去掉放到值里
 5 def pop = State[Stack, Int]{ case x::xs => (x, xs) }
 6                                                   //> pop: => ch6.state.State[ch6.state.Stack,Int]
 7 //push就是一个State实例。它的状态行为函数把i压到一个现成的List[Int]上,跟值没有任何关系
 8 def push(i: Int) = State[Stack, Unit]{ case xs => ((), i :: xs ) }
 9                                                   //> push: (i: Int)ch6.state.State[ch6.state.Stack,Unit]
10 def stackRun: State[Stack, Int] = {
11     for {
12         _ <- push(13)
13         a <- pop
14         b <- pop
15     } yield a+b
16 }                                                 //> stackRun: => ch6.state.State[ch6.state.Stack,Int]
17 
18 val (a, s) =stackRun.run(List(10,11,12))          //> a  : Int = 23
19                                                   //| s  : ch6.state.Stack = List(11, 12)

在stackRun里我们没有在任何地方提到状态Stack,但看看运行结果(a,s):不但返回值是正确的,而且Stack状态也默默地发生了转变。如果尝试从stackRun的代码里去分析状态是如何转变的是永远无法理解的,建议还是老老实实从头来吧。

泛函状态是一种隐形自动的变迁,那么如果我们需要打乱既定流程,手动设定或者临时读取状态时该怎么办呢?

1 object State {
2     def unit[S,A](a: A) = State[S,A](s => (a, s))
3     def getState[S]: State[S,S] = State[S,S] { s => (s,s) }
4   def setState[S](s: S): State[S,Unit] = State[S,Unit] { _ => ((),s)}
5     
6 }

还是通过状态行为函数来实现的。

 1 def stackRun: State[Stack, Int] = {
 2     for {
 3         _ <- push(13)
 4         a <- pop
 5         _ <- setState(List(8,9))
 6         b <- pop
 7         s1 <- getState
 8     } yield (a + b)
 9 }                                                 //> stackRun: => ch6.state.State[ch6.state.Stack,Int]
10 
11 val (a, s) =stackRun.run(List(10,11,12))          //> a  : Int = 21
12                                                   //| s  : ch6.state.Stack = List(9)

我们可以临时将状态设置成List(8,9)。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏吴伟祥

UML 类图介绍 转

Unified Modeling Language (UML)又称统一建模语言或标准建模语言,是始于1997年一个OMG标准,它是一个支持模型化和软件系统开发的...

471
来自专栏云瓣

深入Redux架构

关于redux 之前写了一篇通过一个demo了解Redux,但对于redux的核心方法没有进行深入剖析,在此重新总结学习,完整的代码看这里。(参考了React ...

2496
来自专栏IMWeb前端团队

JavaScript任务队列的执行

本文作者:IMWeb went 原文出处:IMWeb社区 未经同意,禁止转载 1.事件循环(Event Loop)机制 众所周知,JavaScript...

20010
来自专栏互联网杂技

JavaScript定时器:setTimeout与setInterval 定时器与异步循环数组

深入了解一下 关于JavaScript定时器的知识; setTimeout与setInterval简述 setTimeout与setInterval使用方法基...

2696
来自专栏前端说吧

vuex - 学习日记

35311
来自专栏一个会写诗的程序员的博客

JS基础——异步回调

一个刚入前端的小菜,虽然以前看到过关于回调的文章,但是呢,理解起来有点费劲啊。当时的脑海里就一个概念。

672
来自专栏iOS122-移动混合开发研究院

DateTools,可能是最好用的iOS日期工具库

项目简介 DateTools 用于提高Objective-C中日期和时间相关操作的效率.灵感来源于 DateTime和Time Period Library. ...

21110
来自专栏葬爱家族

Android高德之旅(11)绘制海量点废话海量总结

第7篇说过绘制一个Marker,如果我要绘制多个Marker呢,很简单调用多次就可以了。但是如果绘制的数量非常大呢?大到成千上万,甚至好几万,普通绘制Marke...

693
来自专栏性能与架构

jquery官方性能优化建议

jquery的官网上给出了6点性能方面的建议: (1)在循环外面做append操作 DOM操作是有成本的,一次性append要比循环中每次都append要好很多...

3276
来自专栏前端黑板报

采用Symbol和process.nextTick实现Promise

作者简介:slashhuang 研究型程序员 现就职于爱屋吉屋 Promise已经成为处理Node.js异步流程的标配技术。 V8的async/await语法构...

2248

扫码关注云+社区