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等。

目錄

正文


語言
量借鑒Haskell,Lisp,Prolog,C,Perl,Java等語言的特性。他包含絕大多數的主要編程范型,包括邏輯,函數式(包括惰性求值和及早求值)、指令式編程、面向對象、約束編程、分散式以及併發計算等。Oz 的正式語法簡單而實現高效。 Oz是一個面向并行編程的語言, 這個名詞最開始是由Erlang language的主要設計者Joe Armstrong發明,面向并行的編程語言可以讓并行變得容易且高效。Oz還支持一個標準的圖形界面語言QTk。
支持編程範式基礎, 優勢支持約束編程布式計算。益模塊化設計,Oz 成功得被實現為一種網路透明的分散式計算模型。這種模型使得使用 Oz 編寫開放的、可容錯的應用變得簡單。而在約束編程方面,Oz 引入了“計算空間(computation space)”的概念,從而使得用戶定義的搜索和部署策略與約束領域相正交。