polymorphic lambda-calculus
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of polymorphic lambda-calculus words
- noun Technical meaning of polymorphic lambda-calculus (language, types) (Or "second order typed lambda-calculus", "System F", "Lambda-2"). An extension of typed lambda-calculus allowing functions which take types as parameters. E.g. the polymorphic function "twice" may be written: twice = /\ t . \ (f :: t -> t) . \ (x :: t) . f (f x) (where "/\" is an upper case Greek lambda and "(v :: T)" is usually written as v with subscript T). The parameter t will be bound to the type to which twice is applied, e.g.: twice Int takes and returns a function of type Int -> Int. (Actual type arguments are often written in square brackets [ ]). Function twice itself has a higher type: twice :: Delta t . (t -> t) -> (t -> t) (where Delta is an upper case Greek delta). Thus /\ introduces an object which is a function of a type and Delta introduces a type which is a function of a type. Polymorphic lambda-calculus was invented by Jean-Yves Girard in 1971 and independently by John C. Reynolds in 1974. 1
Information block about the term
Parts of speech for Polymorphic lambda-calculus
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with p
- Words starting with po
- Words starting with pol
- Words starting with poly
- Words starting with polym
- Words starting with polymo
- Words starting with polymor
- Words starting with polymorp
- Words starting with polymorph
- Words starting with polymorphi
- Words starting with polymorphic
- Words starting with polymorphicl
- Words starting with polymorphicla
- Words starting with polymorphiclam
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?