Pict编程语言

我们很高兴地宣布Pict的新公开发布基于pi-calculus的编程语言。

皮克特语是ML传统中的一种语言，通过添加一层方便的语法糖和静态类型系统核心。当前版本包括Pict-to-C编译器，参考手册、语言教程、大量库和示例程序。

核心语言——Milner、Parrow和沃克的pi-calculus-已被广泛用作理论基础并发计算类。Pict的目标是确定高水平当使用这些原语构建工作时自然产生的习惯用法程序-基本数据结构、返回协议等习惯用法结果、高阶编程、选择性通信和并发物体。该类型系统集成了最近工作中发现的许多功能类型化面向对象语言的理论基础：高阶多态性、简单递归类型、子类型和功能强大的部分类型推理算法。

的亮点新版本包括。。。

• 完整的形式定义
• 单独的编译工具
• 一组扩展的标准库
• 一个二进制发行版，用于在一些通用软件上进行更简单的安装架构（也可以使用完整的源代码发行版）
• 从先前的大量简化和推广发布。

编译器的当前版本有源代码和二进制代码两种版本表单来源：

http://www.cis.upenn.edu/~bc皮尔斯/papers/pict

对于源代码分发版，使用最大版本号NNN。除了上面列出的工具外，您还将需要Objective CAML编译器，可从ftp://ftp.inia.fr/pub/lang/caml-light（ftp://ftp.inria.fr/pub.lang/caml-light）.