Haskell - この関数のどのパラメータ？

Question

誰かがこの関数でマップするために適用される2つのパラメータを教えてもらえますか、またはこの括弧を追加してください。

pad n ys = map Just ys ++ replicate k Nothing 
    where k = n - (length ys `mod` n) 

ありがとうございます！

Answer 1

機能アプリケーションは、非常に強固に結合：

ある

(map Just ys) ++ (replicate k Nothing) 

は、関数がコンストラクタJustで、コンテナ/リストはysです：

map Just ys ++ replicate k Nothing 

はとして解析します。

Answer 2

この場合は、あなたがタイプ考慮して、それを把握することができます：

Prelude> pad n ys = map Just ys ++ replicate n Nothing 
Prelude> :t pad 
pad :: Int -> [a] -> [Maybe a] 

Prelude> pad n ys = map Just (ys ++ replicate n Nothing) 
Prelude> :t pad 
pad :: Int -> [Maybe a] -> [Maybe (Maybe a)] 

Prelude> pad n ys = (map Just ys) ++ (replicate n Nothing) 
Prelude> :t pad 
pad :: Int -> [a] -> [Maybe a]