問題タブ [mozart]

オズはかなりあいまいな言語だと思います。私は最初にプログラミング言語シュートアウトでそれについて聞いた。次に、この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 年のことです。進歩があったに違いありません。

変数のドメインが数値ではない（[lisa ann mary joanna]のような）CSPを実装したいと思います。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。

Mozart / Ozでそれを行うことは可能ですか？

そう考えたいと思います。

ループ内：

1. 制約ストアにアクセスし、
2. 変更されているか確認してください
3. 変更がない場合は終了します。

例えば：

パイプ経由（シリアル化）で他のプログラムにデータを送信するために、Aをブラウズウィンドウのような文字列に変換したいと思います。

モーツァルトのネイティブ関数または短い方法はありますか？あなたのアイデアをありがとう

Ozの変数に関数呼び出し全体をバインドする方法があるかどうか知りたいです。たとえば、私は持っています：

およびローカル変数X。

私がやりたいのは、結果ではなく、呼び出しを（そのままで）格納することです{F1 1 2}。これにより、何らかの方法で。を参照して再度呼び出すことができます。X3{F1 1 2}X

これはオズで可能ですか？もしそうなら、どのように？

ご回答ありがとうございます。

私がやりたいことは、特定の式が Oz で別の式と統合されるかどうかをテストすることです。

たとえば、次のようなことをしたい:

それは、統合できるtrueときに返すことができ、それ以外の場合はfalse です。AB

これを使用して特定のパターン マッチングを行いたい (つまり、特定のパターンでリストをフィルター処理する)。

回答ありがとうございます。