1

我想知道 IO 操作（如 println）会返回 void 类型的值，然后我们可以在列表推导中使用这些操作或作为映射器函数的参数。但是，当我尝试

rascal> import IO;
rascal> import List; 
rascal> [println(x) | x <- [1,2,3]];

我得到一个空指针异常（下面的堆栈跟踪的一部分）。当我尝试时也会发生同样的情况

rascal> mapper([1,2,3], println);
1
java.lang.NullPointerException(internal error) at $root$(|main://$root$|)
java.lang.NullPointerException
    at io.usethesource.vallang.impl.fast.ListWriter.updateType(ListWriter.java:76)
    at io.usethesource.vallang.impl.fast.ListWriter.append(ListWriter.java:84)
    at org.rascalmpl.semantics.dynamic.ListComprehensionWriter.append(ListComprehensionWriter.java:38)

当然，我并没有真正期待像将 IO 操作映射到 Haskell 中的列表这样的行为，尽管我不明白在 Rascal 中出现此空指针异常的原因。

4

1 回答 1

2

空指针的原因是它printf是一个 void 函数。在当前实现中，这是作为null指针实现的。你可以改用

for(x <- [1,2,3]) println(x);
于 2019-02-07T15:26:46.400 回答