问题标签 [mozart]

我意识到 Oz 是一种相当晦涩的语言。我第一次听说它是在Programming Language Shootout中。然后我找到了这篇 Wikipedia 文章，其中指出Mozart/Oz支持 8 种不同的范式。

所以我试了一下。有很多文档，除了我发现它非常混乱和缺乏。我找不到任何书籍或其他文档，也找不到几个例子。此外，它似乎与我不太习惯的 Emacs 紧密集成。

你对这种编程语言有什么看法：这完全是浪费时间吗？或者有人可以指点我一些好的资源等吗？

另外，我不想使用 Emacs。我是否有任何其他选项，例如交互式解释器或正常的编译运行周期？

我正在尝试使用以下代码在Oz中创建一个列表：

Mozart 编译器显示代码被接受，但没有打开浏览窗口。我要做的就是在 Oz 中创建一个列表。

代码有什么问题？

如何将整数转换为列表并返回Oz？我需要取一个数字321并将其反转为123.

Oz 中的 Reverse 函数仅适用于列表，因此我想将 321 转换为 [3 2 1]，将其反转，然后将 [1 2 3] 转换回 123。这可以在 Oz 中完成吗？

想知道是否有新版本的 mozart/oz 目前是 1.4。那是在 2008 年。一定有进步。

我想实现一个变量域为非数字的 CSP（类似于 [lisa ann mary joanna] ）。有没有办法在 Mozart/Oz 中实现这一点？

我尝试使用 2 种方法在 Oz 中打印出斐波那契数列：使用 Emac 作为编辑器的函数和过程。程序在这里：

和功能：

问题是唯一的程序“循环”有效。结果是：

函数“Loo”没有，它会抛出一些难以理解的错误：

我仍然不知道为什么。我认为函数和过程在 OZ 中具有类似的效果。

问候，

这个想法最好用一个例子来说明：

假设我们有一个向量vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100})。我希望能够向该向量添加约束，直到我添加到它的每个附加约束都不会添加任何更多信息，例如不添加约束vec.a，vec.b以及vec.c任何进一步的信息。

有可能在莫扎特/奥兹中做到吗？

我愿意这样想。

在一个循环中：

1. 访问约束存储，
2. 检查是否改变
3. 如果没有变化则终止。

例如：

我想将 A 转换为类似浏览窗口的字符串，以便通过管道（序列化）将数据发送到其他程序。

是否存在任何莫扎特原生功能或任何捷径？谢谢你的想法

我想知道是否有办法将整个函数调用绑定到 Oz 中的变量中。例如，我确实有：

和一个局部变量X。

我想要做的是将调用（按原样）存储{F1 1 2}在X而不是其结果中：3，以便我可以{F1 1 2}通过某种方式再次调用X.

这在奥兹可能吗？如果是这样，怎么做？

谢谢您的回答。

我想做的是，测试某个表达式是否与 Oz 中的另一个表达式统一。

例如，我想做这样的事情：

that can return truewhen Acan be unity to Band false else.

我想用它来进行特定的模式匹配（即按特定模式过滤列表）。

谢谢您的回答。