PICT 学习笔记

PICT是基于π演算编程语言，有两个基本点是信道channel和进程process。

1. 打印通道

printi ! i   i:Int

print!"String"

pr!["String" /[]] 响应通道 打印字符串到标准输出流，然后在另一个信道上发送信号，表明完成它的任务。原型是/[Stirng /[]]

def d[]=print!"done"
pr!["pr..." d]

or

new c: ^[]
run pr!["pr..." (rchan c)]
run c?[] = print!"done"

rchan 强制转换为响应通道

pr (String)
int.pr (int)
bool.pr(bool)
char.pr(char 's')
 
  
 
  
 
  
 
  
2.() 等同于 run，但(Proc)后要加；表示结束
 
  

 
  
3。  打印0到5
 
  
(int.for 0 5 \(x) =
  (
      ( int.pr x);
  (nl))
);
 
  
4. (nl)后不加； =后要加()