柯里化即构造或创建一个新的函数：formula_48也就是说，formula_49取一个类型为 formula_37的参数，并返回一个类型为 formula_51的函数。Uncurrying则相反。
集合论.数理领域的集合论中，符号 formula_52用于表示从 formula_37集合映射到 formula_38集合的函数。柯里化是指从 formula_55映射到 formula_56的 formula_57函数，和从 formula_58之中映射，由 formula_