 | Словари, Словарь Dictionary |
| lambda abstraction A term in denoting a function. A lambda abstraction begins with a lower-case lambda (represented as "\" in this document), followed by a variable name (the "bound variable"), a full stop and a (the body). The body is taken to extend as far to the right as possible so, for example an expression, \ x . \ y . x+y is read as \ x . (\ y . x+y). A nested abstraction such as this is often abbreviated to: \ x y . x + y The lambda expression (\ v . E) denotes a function which takes an argument and returns the term E with all occurrences of v replaced by the . Application is represented by so (\ x . x) 42 represents the identity function applied to the constant 42. A in is written as the symbol lambda, a list of zero or more variable names and a list of zero or more terms, e.g. (lambda (x y) (plus x y)) Lambda expressions in are written as a backslash, "\", one or more patterns (e.g. variable names), "->" and an expression, e.g. \ x -> x. (1995-01-24) |
 на заглавную | О сайте • 10 самых • Словари • Обратная связь |  к началу страницы |
| © 2010 Admin User словарь словарь online online словарь цитаты chrome | XHTML | CSS | 1.8.11 |