typed lambda-calculus

(theory)(TLC) A variety of lambda-calculus in which everyterm is labelled with a type.

A function application (A B) is only synctactically valid ifA has type s --> t, where the type of B is s (or an instanceor s in a polymorphic language) and t is any type.

If the types allowed for terms are restricted, e.g. toHindley-Milner types then no term may be applied to itself,thus avoiding one kind of non-terminating evaluation.

Most functional programming languages, e.g. Haskell, ML,are closely based on variants of the typed lambda-calculus.

单词	typed lambda-calculus
释义	typed lambda-calculus typed lambda-calculus (theory)(TLC) A variety of lambda-calculus in which everyterm is labelled with a type. A function application (A B) is only synctactically valid ifA has type s --> t, where the type of B is s (or an instanceor s in a polymorphic language) and t is any type. If the types allowed for terms are restricted, e.g. toHindley-Milner types then no term may be applied to itself,thus avoiding one kind of non-terminating evaluation. Most functional programming languages, e.g. Haskell, ML,are closely based on variants of the typed lambda-calculus.
随便看	anaplastic thyroid carcinoma anaplastic tumour panel anaplastic wilms tumour anaplastologist anaplastology anaplasty anaplerosis anaplerotic anaplerotic metabolic pathway anaplerotic reaction anaplerotic reactions anapnea anapneic anapnograph anapnoic anapodeictic an apology for an apology for something anapolon anapol, schwartz, weiss and cohan, feldman and smalley p.c. anapophysis an app an apple a day an apple a day (keeps the doctor away) an apple a day keeps the doctor away