haskell - 如何使用 JavaScript 将语句链接到一个 block 中

Question

Sequence (toBlock $ VarDeclAssign "foo" (JBool False)) (Return $ JBool True)

这是我目前唯一能做到的方法。我尝试了 foldl 但 EmptyBlock 有不同的类型，因此它无法构建。

我可以在这里使用 do 表示法或其他东西吗？

Answer 1

查看 the documentation ，问题是 EmptyBlock 和 Sequence 的类型是

EmptyBlock :: Block ()   
Sequence :: Block () -> Stmt t -> Block t

大多数语句都是 Stmt () 类型，Return::Expr t -> Stmt t 除外。据我所知，这是为了确保一个 block 中只能有一个 return 语句，并且它必须位于最后。

foldl Sequence EmptyBlock 不适合您的原因是 foldl 的类型为 (a -> b -> a) -> a -> [b] -> a，如果你看第一个参数，很明显，只有选择 t = () 才能使用 Sequence > 这样a = Block () 和b = Stmt ()。

这意味着您可以使用 foldl 来组合除 Return 之外的所有语句，您必须在末尾手动插入这些语句。希望这不会太不方便。