1

根据此页面：

http://tutor.rascal-mpl.org/Rascalopedia/List/List.html

这是您在列表中使用 cons 的方式：

cons(1,[2,3]); //should return [1,2,3]

在 Rascal 控制台中尝试此操作：

import List;
cons(1,[2,3]);

给我这个错误：

|stdin:///|(1,13,<1,1>,<1,14>): The called signature: cons(int, list[int]),
does not match any of the declared (overloaded) signature patterns:
    Symbol = cons(Symbol,str,list[Symbol])
    Production = cons(Symbol,list[Symbol],set[Attr])
    Symbol = cons(Symbol,str,list[Symbol])
    Production = cons(Symbol,list[Symbol],set[Attr])

与标准导入函数和数据类型有一些名称冲突吗？

4

1 回答 1

1

好问题。首先是直截了当的回答。Cons 不作为用于构建列表的库函数存在（它是具体类型 API 的一部分，意义不同）。

我们这样写：

rascal>[1, *[2,3,4]]
list[int]: [1,2,3,4]

rascal>1 + [2,3,4]
list[int]: [1,2,3,4]

rascal>[1] + [2,3,4]
list[int]: [1,2,3,4]

rascal>list[int] myList(int i) = [0..i];
list[int] (int): list[int] myList(int);

rascal>[*myList(10), *myList(20)]
list[int]: [0,1,2,3,4,5,6,7,8,9,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19]

现在解释一下混乱。Rascalpedia 课程是关于抽象概念和术语的，通常在使用 Rascal 时需要了解。这对你来说可能太基础了。我将专注于 Rascal 语言和库课程，以获取更多与 Rascal 编程相关的具体示例和信息。有关列表文字，请参见http://tutor.rascal-mpl.org/Rascal/Expressions/Values/List/List.html和http://tutor.rascal-mpl.org/Rascal/Libraries/Prelude/List/List .html用于列表中的库函数。

其他一些列表方便，用于解构而不是构造：

rascal>[1,2,3,4][1..]
list[int]: [2,3,4]

rascal>[1,2,3,4][1..2]
list[int]: [2]

rascal>[1,2,3,4][..-1]
list[int]: [1,2,3]

rascal>if ([*x, *y] := [1,2,3,4], size(x) == size(y)) println(<x,y>);
<[1,2],[3,4]>
ok

rascal>for ([*x, *y] := [1,2,3,4]) println(<x,y>);
<[],[1,2,3,4]>
<[1],[2,3,4]>
<[1,2],[3,4]>
<[1,2,3],[4]>
<[1,2,3,4],[]>
于 2013-09-25T14:03:47.300 回答