4

このポイントフリーをどのように定義しますか?

let argmax m = (fst.(maximumBy (comparing snd)).(zip [0..])) m

これは期待どおりに機能します。最も論理的なのは、次のようにドロップするだけのmようです。

let argmax = (fst.(maximumBy (comparing snd)).(zip [0..]))

ghciで定義するように動作しますが、それを呼び出すとargmax [1,3,4,5,6,1]私に与えられます

<interactive>:103:9:
    No instance for (Num ())
      arising from the literal `1'
    Possible fix: add an instance declaration for (Num ())
    In the expression: 1
    In the first argument of `argmax', namely `[1, 3, 4, 5, ....]'
    In the expression: argmax [1, 3, 4, 5, ....]

私はそれがタイプに関係していると思います:

:t (fst.(maximumBy (comparing snd)).(zip [0..]))
:: (Enum c, Num c, Ord a) => [a] -> c

ポイントバージョンの場合:

argmax :: (Enum c, Num c, Ord a) => [a] -> c

ポイントフリー版の場合:

argmax :: [()] -> Integer

これは ghci の不気味さですか、それとも何か間違ったことをしていますか?

4

0 に答える 0