![00f480ba820e26e69c69f724394db4a3.png](https://img-blog.csdnimg.cn/img_convert/00f480ba820e26e69c69f724394db4a3.png)
RChain 的开发语言是 Scala, Greg 是Scala语言的早期参与者,2010年 Greg 出版过一本 Scala 教程 “Pro Scala: Monadic Design Patterns for the Web”,https://www.goodreads.com/book/show/8266596-scala
这本教程还被 wikipedia 引用,我在 wikipedia 的附注里发现了这本书的电子版,就在 Greg 的 github 代码库里:https://github.com/leithaus/XTrace/blob/monadic/src/main/book/content/monadic.pdf
Rholang 是 RChain 的智能合约语言,最大特色是处处并发。Rholang 的解释器是 Scala 实现的,但是太复杂,不便于理解。今天我们从 Tomislav 这段 simple Rholang 来管窥一下 Rholang 的精髓:par 是怎么实现的。simpleRholang 是 Tomislav 主持的 RChain 社区学习系列的一个主题。
1. Rholang的基本语句
a!(1)|
for(b <-a){
stdout!(["I got", *b])
}
这段代码的意思是在名字为a的channel里放入1,当有另一个进程在a的channel等待消息时,它们就完成了一个comm event,并且触发continuation的执行,也就是在屏幕打印["I got", 1]
par表示并发,par指代码中的“|”符号。par连接的语句不分先后,哪个先执行是随机的。send即代码中的“!”,receive即代码中的“for”。send和receive无论哪个先执行,都会处于等待状态,直至有一个可以配的进程出现。
2. simpleRholang要完成的事
simpleRholang 目标很简单,就是实现 par 功能,当
send("a") | receive("a")
时,则reduce。simpleRholang 并没有实现 continuation。
3. simpleRholang的程序结构
程序可三部分:
- 定义par, send, receive
- 定义 eval,对par, send, receive 进行 eval
- 对以上代码进行测试
第一部分: par, send, receive
原代码中有很多注释,原代码在本文的最后部分,大家可以参考。