Quote: partially instantiate an operator by specifying some of its operands

Quotation Skeleton

[partial instantiation--define a new operator as one with not enough arguments eg (4+(3 mul)) only becomes (4+(3 mul y)) or uminus :: O- and uminus 3== (0-) 3 == -3] … [p. 48] binary operators are considered to be instantiated … [default is right operand] when they stand umparenthesized [e.g., a+2 becomes a (+2)]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: curried functions (14 items)