From 31f42994cba519b4f3299cb7f85744e49b295f05 Mon Sep 17 00:00:00 2001 From: jim Date: Sat, 7 Feb 2015 19:15:43 -0500 Subject: [PATCH] tweak --- rosetta1.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rosetta1.mdwn b/rosetta1.mdwn index 32e41023..0a09c7c9 100644 --- a/rosetta1.mdwn +++ b/rosetta1.mdwn @@ -167,7 +167,7 @@ Here are some interesting functions we can define in Kapulet. See [[below|rosett curried_flip match lambda g. lambda y x. g x y; in ... -The function `curry` takes as an argument a function `f` that expects its arguments *uncurried*, and returns instead a function `lambda x y. f (x, y)` a function that expects its arguments *curried* --- but then does with them whatever `f` does. Going in the other direction, the function `uncurry` takes a function `g` that expects its arguments *curried*, and returns instead a function that expects its arguments *uncurried* --- but then does with them whatever `g` does. +The function `curry` takes as an argument a function `f` that expects its arguments *uncurried*, and returns instead `lambda x y. f (x, y)`, a function that expects its arguments *curried* --- but then does with them whatever `f` does. Going in the other direction, the function `uncurry` takes a function `g` that expects its arguments *curried*, and returns instead a function that expects its arguments *uncurried* --- but then does with them whatever `g` does. The function `uncurried_flip` takes as an argument again an uncurried function `f`, and returns another function that also expects its arguments uncurried, but that expects them in the other order. `curried_flip` transforms a curried function `g` in the analogous way. These are both different from the function `swap` we defined in the [[course notes|topics/week1_kapulet_advanced#functions]] as: -- 2.11.0