Programming Language Theory: Difference between revisions
No edit summary |
No edit summary |
||
| Line 12: | Line 12: | ||
* Use of definitions (allowing identifiers to stand in as λ-expressions) | * Use of definitions (allowing identifiers to stand in as λ-expressions) | ||
* Currying: <tt>(λx, y . x + y)</tt> rather than <tt>(λx . (λy . x + y))</tt> | * Currying: <tt>(λx, y . x + y)</tt> rather than <tt>(λx . (λy . x + y))</tt> | ||
* Numeric literals rather than Church encoding | * Numeric literals rather than [http://en.wikipedia.org/wiki/Church_encoding Church encoding] | ||