このポイントフリーをどのように定義しますか?
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 の不気味さですか、それとも何か間違ったことをしていますか?