ここでリストを操作する手順を含む Oz のモジュールに関する情報を見つけました: https://mozart.github.io/mozart-v1/doc-1.4.0/base/list.html
しかし、私はさまざまな方法でさまざまな手順を試してきました。たとえば、次のようになります。
declare
proc {Length L}
I
in
{List.length +L ?I}
{Browse I}
end
declare
L=[1 2 3 4]
in
{Length L}
そして、私が得るのは型エラーです。理由を教えていただければ幸いです。私は OZ を使用するのが非常に新しいのです。