[英]Why does Haskell not allow pattern matching in comprehensions?
我寫了以下(瑣碎)函數:
h c = [f x | x <- a, f <- b, (a, b) <- c]
我本以為這是因為:
h c = do (a, b) <- c
f <- b
x <- a
return (f x)
反過來,desugared(忽略fail
東西):
h c = c >>= \(a, b) -> b >>= \f -> a >>= \x -> return (f x)
但是,GHCi會返回錯誤:
<interactive>:24:17: error: Variable not in scope: a :: [a1]
<interactive>:20:27: error:
Variable not in scope: b :: [t0 -> b1]
這似乎是荒謬的,因為a
和b
確實在范圍內。
您的綁定順序錯誤。
h c = [f x | (a,b) <- c, f <- b, x <- a]
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.