acc定义代码 神经网络_Scala代码实战:simple Rholang

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

原代码中有很多注释,原代码在本文的最后部分,大家可以参考。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值