理解總理測試

Question

我有這樣的哈斯克爾腳本：

prime :: Integer -> Bool  
prime 1 = False 
prime n = [ x | x <- [2..n-1], n `mod` x == 0 ] == [] 

是什麼在上線第一x代表什麼？爲什麼我可以用「String」替換它，並且整個功能仍然有效？

Answer 1

在列表理解|之前的部分是將被用於生成所得到的列表的每個元素的表達式。

在這種情況下，該功能只在乎是否在一個空列表或不在列表理解的結果，因此列表中的元素並不重要。你可以把(),x,1或任何實現Eq的類型的值放在那裏。如果您使用null而不是== []來檢查是否有空，它可能是任何東西，即使是undefined。