请输入您要查询的百科知识:

 

词条 mozart-oz
释义

mozart-oz语言是Universität des Saarlandes、Swedish Institute of Computer Science、Université catholique de Louvain等联合开发的新一代计算机语言,语言本身有haskell,lisp,prolog,c,perl,java等的影子。有你想要的几乎全部特性,例如:

约束编程特性:

处理复杂约束中语言提供了搜索引擎,我们只用定义约束关

系即可,除非非常复杂的问题,一般不需要程序员定义搜索

函数。下面是求解传说中爱因斯坦5国5色5物问题中的搜索树:

搜索树

约束问题写起来很简单:

decalre X Y in

X :: 1#11

Y :: 12#30

X+Y =: 25

X*Y =: 150

{Show [X Y] }

就能求解:

X 属于 [1 11]

Y 属于 [12 30] 求X Y使得满足

X+Y=25

X*Y=150

条件的X和Y。

DataFlow特性:

变量可以后绑定值,先使用,比如:

declare X in

thread {Show X} end

X=100

程序执行倒第2行时X没有绑定到值,线程会自动阻塞,直到

被绑定值,原始线程接下来给X赋值,第一个线程将会自动

执行。

分布式特性:

一个对象可以被多个主机引用,但如果有任何一个主机修改

了其值则全部的主机上该对象的值都将被自动同步(同步完

成前对该对象的操作自动阻塞)。其他语言的分布式编程中

都是提供同步机制由程序员控制,这给程序设计带来了很多

麻烦,而在mozart中所有的语言元素包括提供的数据结构都

是直接支持分布式的,分布式完全有oz的虚拟机完成处理,

我们编写分布式程序和编写本地并发程序没有什么区别。

线程和并发特性:

创建线程非常方便:thread 表达式 end即可,

线程创建的速度大约为java的20倍。

程序中很多表达式,如条件选择本身是多线程实现的,比如100多个条件,有任何一个满足则整体满足,此时系统会自动对每个条件创建线程来检查,有任何满足的则全部线程退出,整体得到满足。

在mozart-oz中,求解约束问题过程中创建过上百万个线程是时常遇到的。

其他许多编程语言的线程特性是提供库或类支持的,相比而言语言直接的支持使得我们处理多线程会更加便利。

面向对象特性:

有全部的oo特性,尤其是支持多继承,

如 狮身人面像 继承自 狮子 人 石头

而多继承在很多语言里是不允许的。

函数编程特性:支持函数作为另一个函数参数传递,支持函数返回另一个函数,支持高阶函数,支持递归及尾递归……

如:

{Browse {Map [1 2 3 4] fun {$ I} I*10 end }}

将显示结果 [10 20 30 40]

此外,mozart-oz还支持许多特性如惰性求值、模块化设计、和其他语言方便

的集成等就不是一篇文章能讲完的了。

就由于有如此多的特性,因此mozart-oz叫多泛式语言。

这个语言,已经有近20年的历史,已经非常成熟了,自带的文档比较齐全,MIT的《Press Concepts Techniques and.Models of Computer Programming》就是以这门语言来讲解程序设计技术和模式的。

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/1/28 10:17:35