Let S=strings,s=string,t=string, where s=s_1.t.s_2.t.....t.s_n Let split be a function from S*S->S[] such that split(t,s)={s_1,s_2,...,s_n}. For example split(

Let S=strings,s=string,t=string, where s=s_1.t.s_2.t.....t.s_n Let split be a function from S*S->S[] such that split(t,s)={s_1,s_2,...,s_n}. For example split(" ","a b c")=["a","b","c"] Let split_c1=curry(split). Then split_c1 is a function from S->(S->S[]) such that: split_1(t) is a function from S->S[] such that split_1(t)(s)=[s_1,s_2,...,s_n]. For example, split_c1(" ") is the function that given a string s splits s on the separator " ". Let splitOnSpaces=split_c1(" ") be this function. Then splitOnSpaces("a b c")=["a","b","c"] The example in the link is String.prototype.splitOnSpaces = String.prototype.split.curry(" "); "foo bar baz thud".splitOnSpaces(); // ["foo", "bar", "baz", "thud"] The javascript curry function takes a function (here split), and a parameter to that function (here " "). It then curries the function. It doesn't return this curried function directly, but immediately applies it to the parameter it was passed to give a new function, which it returns. In the notation above it's returning split_c1(" "), in other words splitOnSpaces. Executing a function on an instance of a class applies that function to the class. So "a b c".splitOnSpaces() means splitOnSpaces("a b c"). As we saw above this returns ["a","b","c"]. Currying and partial application are very close, hence the confusion. The javascript curry function not only curries but also applies a parameter and returns the resulting function. So I think it's not entirely fair to say it's not currying anything. It can be seen as currying and then passing a parameter to the curried function. Am I right here? This is mainly based off currying as explained by wikipedia...