ramdaドキュメンテーションマップがありませんコンマがありません

Question

マップ方法については、なぜ1行目の代わりに2行目が似ていませんか？それは2つのパラメータ、関数、および何か他のものを必要とするので、なぜそれは2つの矢印を持っていますか？

Filterable f => (a → Boolean) → f a → f a 

Filterable f => (a → Boolean) , f a → f a 

Answer 1

これはcurryingです。 1つの引数の一連の機能で

const f = (x, y) => x + y; 

f(1, 2) // 3 

：簡単に言えば、あなたは複数の引数の機能を置き換えることができます

const f = x => y => x + y; 

f(1)(2) // 3 

一つの利点は、それがpartially applyカリー化関数に簡単だということで：

const add1 = f(1); 

add1(2) // 3 

これはHaskellで広く使用されています。これはramda.jsのインスピレーションの源であると思われ、Haskellが基づいているlambda calculusです。このように見

Filterable f => (a → Boolean) → f a → f a 
Filterable f => (a → Boolean) → (f a → f a) 

、このタイプの機能はaのf S上の変換にa S上の述語を変換する：関数矢印タイプは右結合であるので、これらは等価であること

注s。

簡単な代数との関係もあります：型理論では、タプル(a, b)は製品（× B）に対応し、機能はa → bを矢印（B ）の累乗に対応。あなたは（C ^B）との間で変換することができます同じ理由a → b → cと(a, b) → c間とC ^{B ×}を変換することができます。