0 present participle of curry --
1 to praise someone, especially someone in authority, in a way that is not sincere, in order to get some advantage for yourself: --
2 to make a curry with something: --
3 to clean and brush a horse with a special comb --
Our metalanguage is therefore consistent with our object language in that it uses conventional mathematical notation for function application; even in the metalanguage we will strictly avoid "currying".
If we remove the axioms on 1, too, we get an even smaller equational theory presented by just the commutativity and associativity of x and the axiom about currying.
Currying functions allows one to developflexiblecontrol structures which can be curried into their variations, such as the backtracking into forward checking.
These functors are similar to our indirect functoids, except that they do not support implicit currying or subtype polymorphism.
The use of currying would further reduce the number of overloaded functions.
The isomorphism variant that concerns us here is characterised by commutativity and associativity of products, and currying and distributivity of functions over products.
Since currying justifies both views equally, one might argue that the complexity expression for twice should convey information for either case.
It supports only a limited form of currying, which we have not used.