カリー化
2024/2/24 5:25:00
っか、直積の普遍性ヤバすぎない?
— tdual(ティーデュアル)@MatrixFlow (@tdualdir) January 12, 2026
プログラミングで、同じ入力を受け取って、それぞれ別の値に変換する関数が2つあるときに、それを1つの関数にまとめてペアを返すようにする事があるけど、これの一意性って直積の普遍性が担保してたんか。
あと、これの引数バージョンがカリー化ということか。
add(a,b)という関数があった時に、add(2)と書くとカリー化してくれる。
つまり下記のように書ける。
const add2 = add(2);
const result = add(2, 3); //to be 5
const result_by_curry = add2(3); //to be 5