Oz (编程语言)

维基百科,自由的百科全书
跳转至: 导航搜索

Oz是一门多范式编程语言语言,由 Université catholique de Louvain的编程系统实验室开发,主要用于计算机编程语言的教学。它还提供一本相关的语言教材《Concepts, Techniques, and Models of Computer Programming》。

Mozart Programming System是 Oz 语言的主要实现,由Mozart Consortium作为开源软件发布。目前Mozart已经被移植到了不同的操作平台,包括Unix, FreeBSD, Linux, Microsoft Windows, 和 Mac OS X。Mozart-Oz项目本身包括运行虚拟机MVM等,请见于Mozart2-GitHub以及[www.mozart-oz.org]


语言特性[编辑]

Oz大量借鉴了HaskellLispPrologCPerlJava等语言的特性。他包含绝大多数的主要编程范型,包括逻辑,函数式(包括惰性求值及早求值)、指令式编程面向对象约束编程分布式以及并发计算等。Oz 的正式语法简单(详见下文提到的书中第 13 章)而实现高效[來源請求]. Oz是一个面向并行编程的语言, 这个名词最开始是由 Erlang language的主要设计者 Joe Armstrong发明。面向并行的编程语言可以让并行变得容易且高效。Oz还支持一个标准的图形界面语言 QTk

在支持多种编程范式的基础上,Oz 的主要优势来自于支持约束编程分布式计算。同时受益于模块化设计,Oz 成功得被实现为一种网络透明的分布式计算模型。这种模型使得使用 Oz 编写开放的、可容错的应用变得简单。而在约束编程方面,Oz 引入了“计算空间(computation space)”的概念,从而使得用户定义的搜索和部署策略与约束领域相正交