polymorphic lambda-calculus
(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. ["Proofs and Types", J-Y. Girard, Cambridge U Press 1989]. (2005-03-07) In addition suitable Contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ app ] [ ar ] [ arC ] [ arg ] [ argument ] [ as ] [ b ] [ bd ] [ be ] [ bj ] [ bo ] [ br ] [ braCket ] [ bridge ] [ bs ] [ by ] [ C ] [ Ca ] [ Case ] [ Ch ] [ Ck ] [ Co ] [ Con ] [ Cr ] [ Cu ] [ D ] [ de ] [ Delta ] [ delta ] [ du ] [ E ] [ eC ] [ ed ] [ ee ] [ er ] [ es ] [ et ] [ extension ] [ fi ] [ file ] [ Fun ] [ funCtion ] [ G ] [ ge ] [ gh ] [ gu ] [ h ] [ hn ] [ hr ] [ hu ] [ id ] [ ie ] [ il ] [ in ] [ int ] [ io ] [ ir ] [ is ] [ it ] [ J ] [ ke ] [ la ] [ lambda-CalCulus ] [ language ] [ lC ] [ ld ] [ Lex ] [ li ] [ lt ] [ lu ] [ ly ] [ ma ] [ meter ] [ mo ] [ mod ] [ module ] [ na ] [ nC ] [ ng ] [ no ] [ ns ] [ O ] [ objeCt ] [ pa ] [ param ] [ parameter ] [ pe ] [ ph ] [ pl ] [ Poly ] [ polymorphiC ] [ pt ] [ query ] [ rC ] [ re ] [ ro ] [ S ] [ sC ] [ sCript ] [ se ] [ si ] [ st ] [ su ] [ System F ] [ T ] [ th ] [ to ] [ tr ] [ tt ] [ tw ] [ type ] [ typed lambda-CalCulus ] [ ua ] [ um ] [ up ] [ us ] [ ve ] [ win ] [ Y ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (4139 Reads) |
