Mac*_*las 1 functional-programming hindley-milner ramda.js
有人可以解释一下如何理解这个符号:
\n((a, b) \xe2\x86\x92 a) \xe2\x86\x92 a \xe2\x86\x92 [b] \xe2\x86\x92 a\nRun Code Online (Sandbox Code Playgroud)\n请参阅: https: //ramdajs.com/docs/#reduce
\n((a, b) \xe2\x86\x92 a) \xe2\x86\x92 a \xe2\x86\x92 [b] \xe2\x86\x92 a\n^^^^^^^^^^^^ ^ ^^^ ^\n1 2 3 4\nRun Code Online (Sandbox Code Playgroud)\n这是一个接受三个参数 (1) (2) (3) 并返回类型a(4) 的值的函数:
abreduce( (acc, x) => acc + x.length, 0, ["foo", "bar", "baz"]); //=> 9\n// ^^^ ^ ^^^^^^^^^^^^^^ ^ ^^^^^^^^^^^^^^^^^^^^^ ^\n// a b a a [b] a\n// ((a -> b) -> a ) -> a -> [b] -> a\nRun Code Online (Sandbox Code Playgroud)\n在这种情况下a代表类型number并b代表类型string。