head、tail、nullを使ってリスト内の要素を生成する

Question

基本的には、headを使って最初の要素を乗算し、tailとnullでリストを反復処理することになっています。私はhaskellにはとても新しいので、私はフロー制御を全く理解していません。以下のコードはすでに動作しています。私はちょうどテールを使用してリストを繰り返し処理する必要があります。

module Blueprint where 
import Prelude 


x=1 
prod :: [Integer] -> Integer 
prod n 
|null n == True = 0 
|null n== False = x*head n 

いくつかの擬似コードを追加：

x=1 
prod :: [Integer] -> Integer 
prod n 
|null n == True = 0 
|null n== False = x*head n do tail n repeat until null n == true 

すべてのヘルプは素晴らしいことです。ありがとう。

Answer 1

あなたはほとんどそれを持っています！リストの末尾の積を得るには、再帰的にprodを呼び出して、リストの先頭に結果を乗算するだけです。

prod :: [Int] -> Int 
prod xs 
    | null xs = 1 
    | otherwise = head xs * prod (tail xs) -- note recursive call to prod 

ちなみに、それはむしろ手動head、tailとnullを呼び出すよりも、あなたのリストを分解するをマッチングパターンを使用することがより慣用的です。

prod [] = 1 
prod (x:xs) = x * prod xs 

これが上記のコードとどのように同じであるかをご覧ください。

Terserはまだ倍としてprodを表現している。

prod = foldr (*) 1 

foldrは、一度にリスト1つの要素を消費するための標準Haskellのイディオムです。それは、次のように定義されています：その定義でfとaccため1ため

foldr :: (a -> b -> b) -> b -> [a] -> b 
foldr f acc [] = acc 
foldr f acc (x:xs) = f x acc (foldr f acc xs) 

代替*、あなたは上からprodを回復します。