从ADT创建无限列表

Question

在哈斯克尔,

 > a = [1,1..]

创建一个无限的列表.现在我有以下内容

data Subunit = O | P deriving (Eq, Show)           

如果我这样做

b :: [Subunit]                                                                   
b = take 6 [P,P..]  

我得到以下内容:

 parse error on input ‘]’

为什么这会失败？我需要添加什么才能创建无限列表？

Answer 1

好抓!确实错了......

> take 10 [P, P..]

<interactive>:6:16: parse error on input ‘]’

......但事实并非如此

> take 10 [P, P ..]   -- one more space
[P,P,P,P,P,P,P,P,P,P]

为什么空白是重要的？因为否则语法与具有表单的模块前缀名称重叠Module.name.例如,这是访问运营商.的Prelude方式.

> :t (Prelude..)
(Prelude..) :: (b -> c) -> (a -> b) -> a -> c
> :t succ Prelude.. succ   -- infix use!
succ Prelude.. succ :: Enum c => c -> c

因此,P..是.从模块P,而P ..在列表中列举精品工程.

(是的,这是语法的一个不幸的怪癖...)