《微型LISP解释器的构造与实现》中Parsec 算子的类型错误
admin
2024-04-13 15:30:55
0

《微型LISP解释器的构造与实现》中Parsec 算子的类型错误

感谢同行 Aaron,指出了书中有一些代码的算子类型错误。简单的说,Parsec 算子的基本结构有两个类型参数(部分组合子有多个,但是仍然遵循类似的设计)。作为输入和输出的类型。书中部分代码,这两个类型参数的次序颠倒。
这个历史原因在于,我最早实现这套组合子的时候,并没有想好类型结构如何定义,那时候想的是,算子的产物是最重要的,所以它的类型是决定性的,输入的类型是次要的,所以放在后面,如果将来找到方法,把输入类型变成一个隐式的存在,就可以极大的简化 Parsec 算子的定义。
另外一点就是我第一个版本是用 go 语言——那还是0.9到1.3时代的go语言——实现的,高度的倾向 go 的语法风格。其返回类型并非 either 模式,而是 result, err 风格。所以似乎这种组合思路也看不出什么问题。
一旦进入支持泛型的编程语言,就越来越感觉这种定义非常的不自然,比如 java 和 scala 有 Function[In, Out] 算子,这是最基础的函数式编程元素,它跟我过去的 Parsec 定义 Parsec[Result, Element] 这种次序是冲突的。在写了几个版本后,我最终下决心把 Parsec 的定义也修改为 Parsec[In, Out] 。这就导致了我多年来积累下来的笔记,有一部分代码跟现在的 Parsec 版本是对不上的。成书时我自己校对了几遍,但是仍然有一些漏网之鱼。
简单的说,现在的 Parsec 算子,可以看作是一个生成函数。它的定义是 Parsec[In, Out] 。当我们实现一个 Parsec,得到的产物可以看作是一个 Function[State[In], Try[Out]] 函数对象。这个函数对象的输入参数是一个有状态的 State,但是通常状态变化总是封闭在 State 中,而且它的功能也可以跟 Parsec 算子正交分解开。Parsec 算子几乎可以看作无状态的纯函数(Pure Function)——当然,较真的说,State的状态变化是Parsec调用其 next 方法而引发的,所以它通常都不是无状态的,只是状态变化局限于对 State 的修改。这个约束非常清晰,我们甚至可以定义一个算子类型,接受一个纯函数,生成对应的 Parsec 算子:

case class Func[E, T](func: Function[E, T]) extends Parsec[E, T] {override def apply(s: State[E]): Try[T] = {s.next().map(func)}
}

也可以对 Function[E, Try[T]] 做类似的封装:

case class Func[E, T](func: Function[E, Try[T]]) extends Parsec[E, T] {override def apply(s: State[E]): Try[T] = {s.next().flatMap(func)}
}

当然,要让这种封装做到足够的严谨和方便,我可能要引入一些类型映射工具。

目前我看到的是,书中第24和25页的代码中,NumberParser 类型的定义应该分别是

public class NumberParser implements Parsec {private final Parsec parser = decimal();@Overridepublic Double parse(State s) throws EOFException, ParsecException {var data = parser.parse(s);return Double.parseDouble(data);}
}

class NumberParser extends Parsec[Char, Double] {val parser: Decimal = decimaloverride def apply(s: State[Char]): Try[Double] = {parser ? s map {_.toDouble}}
}

后续,我会把勘误都单独发到本书的社区

https://bbs.csdn.net/forums/0df49a9c476642e68b2554d1e19ccbd5?typeId=1224564

相关内容

热门资讯

安卓系统音乐软件推荐,五大热门... 你有没有发现,手机里音乐软件那么多,挑一款适合自己的真心不容易啊!安卓系统上的音乐软件更是五花八门,...
安卓系统刷三星系统,轻松刷入最... 你有没有想过,你的安卓手机其实可以变身成三星的旗舰机呢?没错,就是那种屏幕大、性能强、系统流畅的旗舰...
塞班系统可以转为安卓,跨越时代... 你知道吗?现在科技的发展真是让人眼花缭乱,连我们曾经熟悉的塞班系统也能华丽转身,变成安卓系统呢!是不...
安卓系统如何录像剪辑,录像剪辑... 亲爱的手机控们,你是否有过这样的经历:在某个瞬间,你捕捉到了一段令人难忘的画面,却因为没来得及记录而...
安卓系统强行提高配置,配置提升... 最近你的安卓手机是不是感觉有点儿“发烧”了?没错,就是那种配置突然“升级”的感觉。你是不是也觉得,手...
安卓系统能做设计吗,探索安卓系... 你有没有想过,安卓系统竟然也能做设计?是的,你没听错,这个我们日常使用的手机操作系统,竟然也能成为设...
安卓系统几年后使用,探索多年使... 你有没有想过,那些陪伴我们多年的安卓手机,它们现在过得怎么样了呢?安卓系统,这个曾经让我们爱恨交加的...
平板安卓苹果双系统,安卓与苹果... 你有没有想过,拥有一台既能运行安卓系统,又能使用苹果系统的平板电脑,那该是多么酷炫的事情啊!想象一边...
嘉和病历系统安卓,便捷医疗信息... 你有没有听说过嘉和病历系统安卓版?这可是医疗行业的一大神器呢!想象医生们拿着手机就能轻松管理病历,患...
安卓10更改系统号,揭秘系统编... 你知道吗?最近安卓系统又来了一次大更新,安卓10正式上线了!这次更新可是带来了不少新功能,其中最引人...
小米墨水屏 安卓系统,融合科技... 你知道吗?在科技日新月异的今天,电子阅读器市场也迎来了新的活力。而小米,这个我们熟悉的品牌,最近推出...
系统软件最少的安卓系统,基于最... 你有没有想过,手机系统就像是我们生活的操作系统,有时候太复杂了,让人感觉头都大了。今天,我要给你介绍...
安卓系统关闭应用推荐,安卓系统... 你有没有发现,手机里的安卓系统最近有点儿“小情绪”,总是给你推荐一些你根本不感兴趣的应用?别急,今天...
车载安卓系统如何用,智能驾驶体... 你有没有想过,你的车载安卓系统其实是个隐藏的宝库呢?没错,就是那个你每天开车时几乎不离手的那个屏幕,...
安卓系统更新如何取消,```p... 你有没有遇到过这种情况:安卓手机的系统更新推送得让人有点头疼,有时候更新后的系统还各种不适应。别急,...
安卓系统源码修改练习,从零开始... 亲爱的技术爱好者,你是否曾梦想过深入安卓系统的内核,亲手修改源码,让手机变得更加个性化?那就让我们一...
安卓考勤系统论文,基于安卓平台... 你有没有想过,每天打卡上班,是不是也能变得有趣起来呢?没错,就是那个我们每天都要面对的安卓考勤系统。...
安卓系统哪家流畅度,安卓系统流... 手机里的安卓系统,就像是每个人的小世界,各有各的风采。但说到流畅度,这可是大家最关心的问题了。今天,...
安卓开不了定位系统,安卓设备定... 最近是不是发现你的安卓手机定位系统突然罢工了?别急,别慌,今天就来给你详细解析一下这个问题,让你轻松...
安卓系统怎么设置airpod,... 你有没有发现,自从AirPods问世以来,它就成为了科技界的宠儿?这款无线耳机不仅音质出众,而且连接...