Haskell：這個方法做什麼

Question

在我的測試考試中，一個問題是，這個方法做了什麼。

dos a = ([x | x <- [2..div a 2], mod a x == 0] == [])

我是新來的Haskell，但據我可以說，它會檢查如果dos a = ([x | x <- [2..div a 2], mod a x == 0])結果是一個空列表。另外x是a除以2的所有數字，其中％數字== 0.因此，這是所有偶數？它似乎檢查數字是否可以通過2分割，如果是 - > false，否則返回。任何人都可以向我詳細解釋語義嗎？

Answer 1

你已接近正在發生的事情。有幾個組件要理解。

首先，[2 .. div a 2]生成一個數字列表，從2到floor(a/2)。

接着，mod a x == 0濾除值從2至floor(a/2)其中 除法a（例如它找到的a所有因素）。 因此，通過

[x | x <- [2 .. div a 2], mod a x == 0] 

生成的列表中包含了所有分a的數字。

最後，== []檢查 此列表爲空（例如a沒有因素）。那麼，究竟該函數實際上 所做的是確定一個數是否是試圖 產生的因素，這是很容易素時看到您使用dos作謂語 的過濾器：

Prelude> let dos a = ([x | x <- [2..div a 2], mod a x == 0] == []) 
Prelude> :t dos 
dos :: Integral t => t -> Bool 
Prelude> filter dos [2 .. 100] 
[2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97] -- Prime goodness 

Answer 2

它是檢查數字是否爲素數的基本算法。它遍歷從2到a/2的所有數字，並檢查它是否有任何分開a，如果列表爲空，則表示它沒有2和a/2之間的因子，這意味着數字是素數。