Mercury 中的无限制变量名声明

Question

我想在 Mercury 中声明一种数据类型，它可以具有可变数量的值和名称。 例如 ：

type goal ---> pick; give; come.

有三个变量/值。

我想要这样的东西：

type myplayer ---> de value declaration here.

那就是变量的数量不受限制或固定。

所以我可以使用 myplayer 来声明值/变量，比如v1, v2, v3 and v4. 第二次我可以用它来声明如下内容： a, b, c, d, e, z, aa, ab and az 。

值的数量不受限制，名称也不固定。

我是水星的新人。

Answer 1

正如其他人所说，这在水星根本不可能——这是故意的。

但是，如果您想要一种表达以下内容的类型：v1 v2 v3... 等，您可能想要的是：

:- type my_type
    ----> v(int).

:- func name(my_type) = string.

name(v(Num)) = formst("v%d", [i(Num)]).

该类型表示所有整数的 v，函数名称可用于“漂亮地打印”该类型的值。

Answer 2

据我了解这个问题。 你想要一些类似于 Prolog 的行为。 即没有类型谓词。 在静态类型系统中，您总是可以通过自己处理来实现这种行为。 很久以前我在 Turbo Prolog 中看到过这样的例子（他们在 Turbo/Visual Prolog 方面实现了 ISO prolog）。

考虑类似的事情（我不确定它是否正确）：

:- type any_type ---> atom_value(string)
                 ;    number_value(int)
                 ;    struct_value(any_type, list(any_type)).

guess(atom_value("v1")).
guess(atom_value("a")).
guess(atom_value("aa")).
guess(number_value(42)).
guess(struct_value(atom_value("pair"), [number_value(3), number_value(4)])).

Answer 3

你直接要求的，根本做不到。 给定的

:- type question
        --->    truth(string, bool)
        ;       blank(string, string)
        ;       multiple(string, string, list(string)).

其他类型的问题只能通过在定义它的地方扩展这种类型并重新编译模块来添加 - 并进行许多其他更改，就像以前的确定性代码一样

answer(truth(_, yes)) = "true".
answer(truth(_, no)) = "false".
answer(blank(_, A)) = A.
answer(multiple(_, A, _)) = A.

给定您的新问题类型时会失败。 在编译时被告知您未能更新程序以反映添加了“选择所有正确答案”类型的问题，这是您拥有问题类型的一个重要原因，而不是说字符串列表[["Are foxes pretty?", "true"], ["Green foxes are ____", "adorable!", "fake", "evidence of animal cruelty"]]为您的问题库。

你所要求的无法完成。 但是，您真正想要做的事情——您认为“可变数量的类型”将是一种有用的手段——当然可以通过其他方式完成。 我无法说出那是什么方式，因为我无法从您的问题中说出您为什么要这样做。 也许您会从阅读语言参考中的可区分联合或类型类中受益。