erlang - [ ... || 是什么意思？ ... <- ...] 在这段代码中做什么？

Question

我再次需要你的帮助，我正在尝试理解这段 erlang 代码。

Line="This is cool".
Lines = [Line || _Count <- lists:seq(1,5)].

输出为

["This is cool","This is cool","This is cool","This is cool","This is cool"]

我不明白打印所需次数背后的逻辑。 Line || 是什么意思？ _***** 是什么意思？

Answer 1

由于Line的值在列表推导式的右侧没有改变，所以每个元素的值是相同的，即Line的值。

列表理解的右侧只是确定元素的数量。