ProTradex普瑞缇系统开发智能合约demo
Source code WeChat:kaifa873
区块链技术可以为数据打上时空标签,通过在区块中加入数据的时间和空间信息,将同样内容的数据集标识为不同的数据集个体,从而解决了数据要素流通中数据集可以被无限复制而无法辨识的难题,实现数据来源可确认。
if default block present:->
{defaultBlock jump($switchI_end)}
for each of cases match{
case val:{body}->$switchI_caseJ:{body
jump($switchI_end)}
}
$switchI_end:
}
FunctionalAssemblyExpression(identifier(arg1,arg2,…,argn))->
{
if identifier is functionwith n args and m ret values->
{
//find I such that$funcallI_*does not exist
$funcallI_return argn…arg2 arg1 jump()
pop(n+1 times)
if the current context islet(id1,...,idm):=f(...)
->
let id1:=0…let idm:=0
$funcallI_return:
else->
0(m times)
$funcallI_return:
turn the functional expression that leads to the function call
into a statement stream
}
else->desugar(children of node)
}
default node->
desugar(children of node)
}
本作品采用《CC 协议》,转载必须注明作者和本文链接