"y <- [0..]" 是什么意思?

What does "y <- [0..]" mean?

我不明白这里的y <- [0..]是什么意思。是变量定义吗?

f x = sum $ take 10 [x**y/product [1..y] | y <- [0..]]

一个list comprehension。可以解释为"for each y in [0..]".

这意味着一个函数取 x returns ((x 的 y 次方) 对 y 阶乘的总和,y 的范围从 0 到 9)。