javascript - 函数式 JavaScript：Compose 的 Hindley-Milner 类型签名是什么？

Question

以下对 compose 函数的 Hindley-Milner 类型签名的尝试是否正确？

// compose :: (f -> [f]) -> (f -> f -> f) -> [f] -> f
const compose = (...fns) => fns.reduce((f,g) => (...args) => f(g(...args)));

Answer 1

Answer 2

二元函数组合的类型更容易用 Hindley-Milner 表示法表示：

//    compose :: (b -> c) -> (a -> b) -> a -> c
const compose = f => g => x => f (g (x));