《微型LISP解释器的构造与实现》中Parsec 算子的类型错误
创始人
2024-02-20 14:30:57
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

相关内容

热门资讯

世事繁华不及你惊鸿一瞥什么意思... 世事繁华不及你惊鸿一瞥什么意思?理解这句话首先要明白惊鸿一瞥的意思。那惊鸿一瞥什么意思呢——只是匆匆...
朋友梦见我在火里让她救我是什么... 朋友梦见我在火里让她救我是什么意思?如果你们是单纯的朋友可能说明友谊很好吧,如果不是单纯的,那可能是...
猜谜啦!猜谜啦!很多谜语哦! 猜谜啦!猜谜啦!很多谜语哦!1,开方2,3.4,5,圆周率6。王,8,丕9,10,丰11,晶12,偶...
女孩子说感觉有点怪 女孩子说感觉有点怪这对她来说比较突然,而且也许她现在自己也不能分辨出她对你的感觉到底是喜欢还是好朋友...
南京银行股份有限公司关于实施“... 证券简称: 南京银行 证券代码: 601009 编号: 2025-052优先股简称:南银优1 优先股...
科技赋能“气象+”,一场助企富... (来源:工人日报) “8月头季稻卖一块八毛,10月份再收一季,两季加起来一亩地收上千元!”四川...
取一杯天上水是指月光吗 取一杯天上水是指月光吗不是。是指下雨的时候接一杯天上掉下来的雨水,最纯洁的水最有灵性的水。这杯水在晚...
为什么越来越觉得赚钱比男朋友重... 为什么越来越觉得赚钱比男朋友重要?我也这么认为,因为男朋友不够好。还没遇到真心待自己的人或者,是因为...
腐团儿现实中有男朋友吗? 腐团儿现实中有男朋友吗?腐团儿现实中有男朋友吗?这个谁知道呢一或者暗中有也不一定这种明星私事我也不是...
元宵与汤圆有啥区别 元宵与汤圆有啥区别元宵和汤圆的区别:1.馅料选择不同,汤圆馅偏软,咸甜荤素选择众多,元宵馅偏硬,以甜...