最大公約数楽しい

Question

ユークリッド::のInt使用 - >のInt ユークリッドN =長さ（フィルタ（GCD N == 1）[1 ... N-1]）

GCD ::のInt - >のInt - >のInt

..あなたがEuler's totient functionを探していると仮定すると、

Answer 1

は、単に

euler_fi1 n = length $ filter ((==1).(gcd n)) [1..n-1] 

を呼び出すリンクWPの記事は、これを直接計算する式を与える：

euler_fi n = let 
    fs = Data.List.nub $ factorize n 
    pr = n * product [p-1 | p <- fs] 
    in Data.List.foldl' div pr fs 

は、あなたはそのためfactorize機能が必要になります：

factorize n | n > 1 = go n (2:[3,5..]) where 
    go n ds@(d:t) 
    | d*d > n = [n] 
    | r == 0  = d : go q ds 
    | otherwise =  go n t 
     where 
      (q,r) = quotRem n d 

次の最適化が(2:[3,5..])するのではなく、素数のリストを使用することです。

Answer 2

あなたのエラーは "gcd x 0 = x"に由来します。 "x :: Int"は推論結果ですが、 "gcd :: Int-> Int-> Bool"の型宣言ではBoolが必要です。私は "gcd x 0 =（x == 1）"があなたが入力すべきものであることを期待しています。