Oz語言

Oz

編程範型	多範式: 邏輯, 函數式, 指令式, 面向對象, 約束, 分佈式, 並發
設計者	Gert Smolka, his students
實作者	Mozart Consortium
釋出時間	1991年​（1991）
當前版本	2.0.1 (2018年9月5日；穩定版本)
型態系統	動態
許可證	MIT X11
網站	mozart.github.io
主要實作產品
莫扎特編程系統
衍生副語言
Oz, Mozart
啟發語言
Erlang, Lisp, Prolog
影響語言
Alice, Scala

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。

語言特性

Oz大量借鑑了Haskell，Lisp，Prolog，C，Perl，Java等語言的特性。他包含絕大多數的主要編程范型，包括邏輯，函數式（包括惰性求值和及早求值）、指令式編程、 面向對象、約束編程、分佈式以及並發計算等。Oz 的正式語法簡單（詳見下文提到的書中第 13 章）而實現高效. Oz是一個面向並行編程的語言, 這個名詞最開始是由 Erlang language的主要設計者 Joe Armstrong發明。面向並行的程式語言可以讓並行變得容易且高效。Oz還支持一個標準的圖形界面語言 QTk。

在支持多種編程範式的基礎上，Oz 的主要優勢來自於支持約束編程和分佈式計算。同時受益於模塊化設計，Oz 成功得被實現為一種網絡透明的分佈式計算模型。這種模型使得使用 Oz 編寫開放的、可容錯的應用變得簡單。而在約束編程方面，Oz 引入了「計算空間（computation space）」的概念，從而使得用戶定義的搜索和部署策略與約束領域相正交。