polymorphic lambda-calculus
Nguage, 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. ["Proofs aNd Types", J-Y. Girard, Cambridge U Press 1989]. (2005-03-07) N="left">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 - (4210 Reads) |
