Haskell:让列表理解产生意想不到的结果

Question

我是 Haskell 新手，我正在尝试学习 Haskell。我正在尝试以我能想到的最可能的方式创建简单的函数，例如“重复”。我已经通过模式匹配和防护完成了“复制”。我无法让它与列表理解中的 let 一起工作。我可以想象 let inside 列表理解并不理想，但我更感兴趣为什么它不起作用 =]。

我的问题是:为什么duplicate'产生[Int]而duplicate''产生[[Int]]甚至有可能在列表理解中使用 let 生成 [Int] 吗？

感谢您的时间和帮助:)。

--list comprehension
duplicate' xs = [y | x <- xs, y <- [x,x]]
input => [1,2,3,4]
output => [1,1,2,2,3,3,4,4]
expected? => yes

--list comprehension with let
duplicate'' xs = [y | x <- xs, let y = [x,x]]
input => [1,2,3,4]
output => [[1,1],[2,2],[3,3],[4,4]]
expected? => yes

Answer 1

<-和let只是意味着不同的事情。

当你写y <- [x,x]时，您的意思是“依次给出 y 列表中的每个值 [x,x]”。

当你写let y = [x,x]时，你是说“给 y 值 [x,x] ”。