polymorphic lambda-calculus
S> (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) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="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 - (4161 Reads) |
