Programming Language Theory: Difference between revisions
| Line 106: | Line 106: | ||
* Function definition: binding a functional abstraction to an identifier | * Function definition: binding a functional abstraction to an identifier | ||
* Pattern matching (piecewise function definition based on argument structure) | * Pattern matching (piecewise function definition based on argument structure) | ||
* The [http://en.wikipedia.org/wiki/De_Bruijn_notation de Bruijn notation] (not to be confused with de Bruijn indexing as a substitution scheme) is another, probably superior, syntax. It has an ''abstractor wagon'', which I whole-heartedly approve of. | |||
===Typed Functional Programming=== | ===Typed Functional Programming=== | ||