愿你走出半生,归来仍是Java Parser

摘要:
几天前,我的一个朋友给了我一个Haskell问题嘿,MK。假设我有一个BNF,我在Haskell中有一个这个BNF的解析器。现在,我想为这个BNF换一条线。是否有任何方法可以在不接触BNF解析器代码的情况下扩展BNF解析器?让我们想想,这个x是什么样的变体?请记住,传入的参数不是self,而是super。好了,openrecursion已经准备好了,剩下的是标准的最终聚集,这毫无意义。1 classASTreprefre2lit::Int-˃repr3plus::repr-˃repr-˃Repr45classVarreprefre6var::String-˃repr78typeWholeParserepr=Parserer9typeLitParserer=Parserer10typePlusParserepr=parser1112intP::ParserInt13intP=readmany1digital1415stringP::ParserString16stringP=many1letter1718typeOriginalParserer=19 originalParser::ASTrepr=˃Object20originalParser=MkObject$-˃let21litP=litInt P22pluSP=between 23wholeP=litPplusPin242526typeVarParsepr=Parsepr27extendedParser::=˃Object28extendedParser=inheriteextendedoriginalParser29 where 30extend~=let31varP=varstringPin323334instanceASTStringwhere35lit=show36plusxy=“”3738instanceVarStringwhere39varx=x非常成功。

愿你走出半生,归来仍是Java Parser第1张

几天前,我的一个朋友给了我一个Haskell问题

Hey, MK,假设我有个BNF,并且我在Haskell中有个这个BNF的parser。
现在,我想给这个BNF改一行,有没有办法不用动这个BNF parser的代码(因为是其他人写的),而是对这parser进行扩展呢?

这问题挺有趣的,也不算难。

这问题说是extensibility problem,其实有两个地方需要扩展。

0:Parser需要用open recursion之类的方法扩展

1:Parse出来的ADT也需要可扩展性

后半个需求见多了,Final Tagless,DTALC,Tree that grow,Recursion scheme style fix。。。于是放下不表,我们来处理前一个。

前半个。。Haskell's Overlooked Object System就搞过,当然他们有点heavy weight,打算随手弄一个超级轻量级的:5行就够了,多一行是小莎莎。

Ready?

1 data Object x = MkObject (x -> x)

1。Inheritance is not subtyping式的Object=recursive type。为了简易性(反正也不需要多高的扩展性)就不model真。recursive type,而只有recursive dependency。

1 use :: Object x -> x
2 use (MkObject x) = let res = x res in res

2。3。最典型的tying the knot。其实就是fix了。

我们想想,这个x是什么variant的呢?covariant还是contravariant?

1 inherit :: (a -> b) -> (b -> a) -> Object a -> Object b
2 inherit ab ba (MkObject aa) = MkObject (ab . aa . ba)

既然是invariant,那fmap contramap都用不上,但invariant依然能有map:两边一起传进来就行了。4。5。

这就是一个prototype based oo system了。

接下来讲怎么用哈:

1 test :: Object (Int, Int)
2 test = MkObject $ self -> (2, fst self + fst self)

这弄了个两个field的object,第零个field初始值为2(可能因为继承被override),第一个field为第零个field的值*2(不一定是3,如果任何field被override这个值都能改)。use test应该是(2, 4)。

1 inheritTest :: Object ((Int, Int), Int)
2 inheritTest = inherit ((l, r) -> ((l + 1, r + 2), r + 1)) fst test

这里继承了上面的Object,override了l(l + 1是super + 1),r被override到super + 2,加了个新的field,值是r+1。use inheritTest应该是((3, 8), 7)。记着传进来的参数不是self而是super就很好理解了。

好,open recursion搞好了,剩下的就是标准的final tagless了,体力活,没啥意思

 1 class AST repr where
 2   lit :: Int -> repr
 3   plus :: repr -> repr -> repr
 4 
 5 class Var repr where
 6   var :: String -> repr
 7 
 8 type WholeParser repr = Parser repr
 9 type LitParser repr = Parser repr
10 type PlusParser repr = Parser repr
11 
12 intP :: Parser Int
13 intP = read <$> many1 digit
14 
15 stringP :: Parser String
16 stringP = many1 letter
17 
18 type OriginalParser repr = ((LitParser repr, PlusParser repr), WholeParser repr)
19 originalParser :: AST repr => Object (OriginalParser repr)
20 originalParser = MkObject $ (~(_, p)) -> let
21   litP = lit <$> intP
22   plusP = between (char '(') (char ')') (do {l <- p; spaces; char '+'; spaces; r <- p; return $ plus l r})
23   wholeP = litP <|> plusP in
24   ((litP, plusP), wholeP)
25 
26 type VarParser repr = Parser repr
27 extendedParser :: (AST repr, Var repr) => Object (VarParser repr, OriginalParser repr)
28 extendedParser = inherit extend snd originalParser
29   where
30     extend ~((litP, plusP), wholeP) = let
31       varP = var <$> stringP in
32       (varP, ((litP, plusP), varP <|> wholeP))
33 
34 instance AST String where
35   lit = show
36   plus x y = "(" ++ x ++ " " ++ "+" ++ " " ++ y ++ ")"
37 
38 instance Var String where
39   var x = x

大功告成。

代码在https://github.com/MarisaKirisame/extensible-parser/blob/master/src/Lib.hs

Q:封装呢?

A:Abstract Type is Existential Type

Q:这是prototype based的,class怎么办?

A:A Theory Of Object里面讲过怎么用prototype来做class

Q:多继承呢?

A:给定Object a,Object b,可以组合出Object (a, b),要菱形继承自己手动再inherit一下就好

Q:Subtyping?

A:Typeclass。

如果大家感兴趣,请评论下,我可以再写个blog把这些功能补完。

免责声明:文章转载自《愿你走出半生,归来仍是Java Parser》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇JWT加密解密MarkDown技巧:两种方式实现页内跳转下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

随便看看

vant-picker二次封装

痛点在项目经常会遇到这样的设计,下拉选择框,在vant中没有提供直接的select组件,但是可以使用Field、Popup和Picker这三个组件组合来完成。this.show;}},watch:{selectValue:function{this.result=newVal;},result{this.$emit;}}};效果链接:https://www....

CommonJS规范

NodeJS是本规范的实现。环境、运行、JSGILocaland远程包和包管理关于每个子规范的具体定制进度,请参考官方网站描述:Apache CouchDB和node.js。然而,这些项目中的大多数只实现了CommonJS的一些规范。具体项目及实施请参见官方网站描述:http:...

目录扫描工具DirBuster

DirBuster用于检测web服务器上的目录和隐藏文件。因此,必须在运行之前安装Java环境。在TargetURL下输入要检测的网站的地址。请注意,地址应与协议一起添加。一种是自动选择。它将决定是使用head方法还是get方法。number of Thread是所选扫描线程的数量,selectscanning type是所选的扫描类型。Listbasedb...

Jenkins安装

1、 Jenkins简介1.开源自动化持续集成和部署平台CI、持续集成CD和持续部署2.Jenkins Free风格任务管道Maven项目多配置项目多分支管道任务支持的任务类型,不会执行任何更新;触发器(由Gitlab...

layui使用layui-excel扩展导出xlsx格式文件

layui-excel扩展导出的文件可用office打开,正常显示;直接用table带的导出功能,导出的文件用office打开显示乱码。--导出表不展示--˃78910layui.config.use(['table','form','laydate','excel'],function(){11varform=layui.form;12vartable=l...

dbeaver 驱动安装

一、背景:在Windows10安装dbeaver数据库连接工具,点“测试连接”的时候出现报错如下:ErrorresolvingdependenciesMavenartifact'maven:/mysql:mysql-connector-java:RELEASE'nofound经网上查询是dbeaver驱动无法下载的问题。二、解决方法:打开“窗口”-˃“首选项...