豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

「：
汉语：将接收二对子的函数转换成依次接收两个参数的函数。
文言：术本受一对，化之使次受二物。
赋曰：双物原来共一封，如今分递也相通。终将两者还成对，仍向前门问始终。
：」
「柯里化」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化（化（「甲」合「乙」）而「丙」）而
  （化「甲」而化「乙」而「丙」）
也。
「柯里化」者会「函」而会「甲」而会「乙」而
  「函」于（「甲」与「乙」）
也。

「：
汉语：将依次接收两个参数的函数转换成接收一个二对子的函数。
文言：术本次受二物，化之使受一对。
赋曰：两纸分传费往还，并成一札到门关。开封仍按先后递，旧术依然在此间。
：」
「逆柯里化」乃
  承「甲」而
  承「乙」而
  承「丙」而
  化（化「甲」而化「乙」而「丙」）而
  （化「甲」合「乙」而「丙」）
也。
「逆柯里化」者会「函」而会「甲及乙」而
  「函」于（「甲及乙」中「零」）于（「甲及乙」中「一」）
也。