| 单词 | lambda |
| 释义 | lambda noun[CorU] language,mathematics,scienceuk/ˈlæm.də/us/ˈlæm.də/(symbolΛ,λ)the 11thletterof theGreekalphabet （希腊语字母表的第11个字母）Letters of alphabets
Examplesoflambdalambda It is clearly safe to set the update flag of everylambda-form to u, thereby updating every closure. From theCambridge English Corpus Higher order abstract syntax is an abstract syntax representation that extends syntax trees with the abstraction mechanism of thelambdacalculus. From theCambridge English Corpus The standard method of proving this fact is vialambdarepresentability of all (partial) recursive functions. From theCambridge English Corpus Each set of equivalence classes is called a limited model of simply typedlambdacalculus. From theCambridge English Corpus This is in contrast to the simply typedlambdacalculus and its extensions, which ignore type information at runtime. From theCambridge English Corpus In this paper, we compare function definability in intersection type systems with function definability in the simply typedlambdacalculus. From theCambridge English Corpus While the relation tolambdalifting is apparent, the authors only conjecture that lifting and dropping are inverses. From theCambridge English Corpus A system with higher order functions, for instance, necessarily has term variables because oflambdaabstraction. From theCambridge English Corpus The next system is alambdacalculus with function types and, optionally, cartesian products and disjoint unions. From theCambridge English Corpus The self-interpreter we used for the one-levellambda-calculus was a direct implementation of the semantic rules in fig. 1 without the injections and projections. From theCambridge English Corpus For a similar reason we also insist that there must be at least onelambda. From theCambridge English Corpus So, unlike the case of simply typedlambdacalculus, two types can be convertible without being syntactically identical. From theCambridge English Corpus However, even people familiar withlambdacalculus are often confused about the proper way of proving this fact. From theCambridge English Corpus Indeed, configurations combinelambdaabstractions (first-class functions), records, environments with mutually recursive definitions and modules. From theCambridge English Corpus Indeed, we are currently working on adding just such syntactic sugar: lambdas, let-bindings, donotation for monads, etc. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。