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 - (4088 Reads) |
