问题标签 [mozart]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
0 回答
53 浏览

parsing - 帮助函子环境盎司?

我在第 240 行遇到解析错误,即:GUI_port={GUI.portWindow}。我不明白之前一切都好起来了。有人可以帮我吗,编译没有任何其他问题。

0 投票
1 回答
342 浏览

oz - Mac os x 上的 Mozart/Oz 配置问题

我正在尝试使用以下链接进行构建Mozart/OzMac os x Mojavehttps: //github.com/mozart/mozart 并收到以下配置错误。未找到 GNU MP 库。

gmp使用安装homebrew并尝试了 --with-gmp=/usr/local/opt/gmp/lib 和 --with-gmp=/usr/local/Cellar/gmp/6.1.2_2/ 但得到了同样的错误。谁能帮我解决这个问题?

0 投票
2 回答
457 浏览

paradigms - 如何使用 mozart oz 中的标签从对/元组中获取元素?

我是 mozart oz 的新手,我有这个问题要解决:

我所知道的是,这#是一个组成对/元组的某种标签,取自文档,但我找不到说明如何使用它的示例。

我的问题是如何拆分它以获取项目或如何使用该标签(或任何可能具有如何使用它的示例的来源)。

我做了一些搜索,我得到了这段代码(我不知道它在语法上是否正确):

任何帮助将不胜感激。

谢谢你的时间。

0 投票
0 回答
83 浏览

oz - 哪些生产就绪的编程语言具有类似于 Mozart/Oz 的 `NewName` 的东西?

CTM的第 3.7.5 节介绍了NewName安全抽象数据类型中数据封装的概念。它旨在以这种方式使用:

我找不到这个NewName概念的合适的技术术语。所以我想知道:

  1. 这个概念在莫扎特/奥兹之外被称为什么?
  2. 哪种更主流的语言实现了这种机制?
0 投票
1 回答
36 浏览

arithmetic-expressions - 表达评估 Oz/Mozart

我正在尝试创建一个接受表达式并对其进行评估的函数。表达式可以包含以下操作:

  1. 整数- 由 tuple 描述int(N),其中N是整数。
  2. 加法- 由元组描述add(X Y),其中XY都是算术表达式。
  3. 乘法- 由元组描述mul(X Y),其中XY都是算术表达式。
  4. 变量- 由元组描述var(A),其中A一个原子给出变量名
  5. 环境- 由记录描述env(a:5 b:5),其中ab是值为 5 的变量。

例如:{Eval add(var(a) mul(int(3) var(b))) env(a:5 b:5)}。哪个应该评估为20.

到目前为止,我已经实现了整数、加法和乘法。但是我不确定从哪里开始变量和环境。

我当前的代码:

0 投票
1 回答
29 浏览

oz - 创建函子时莫扎特错误“非法使用嵌套标记”

使用仿函数编译 Oz 代码时,在声明“仿函数”的行上出现错误“非法使用嵌套标记”。这意味着什么?

0 投票
1 回答
20 浏览

oz - 什么是具有更好并发性的替代过滤器操作(代码)?

以下是增加Filter函数并发的幼稚尝试:

什么是具有更好并发性的替代过滤器操作(代码)?(提示:您可以利用消息传递并发。)