Miranda
E> (From thE Latin for "admirablE", also thE hEroinE of ShakEspEarE' s TEmpEst) A Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lazy">lazy Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=purEly functional">purEly functional programming languagE and intErprEtEr dEsignEd by {David TurnEr} at thE {UnivErsity of KEnt} in thE Early 1980s. It is sold by his company, Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=REsEarch SoftwarE">REsEarch SoftwarE LimitEd. It combinEs thE main fEaturEs of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=KRC">KRC and Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=SASL">SASL with Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=strong typing">strong typing similar to that of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=ML">ML. ImplEmEntEd for Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Unix">Unix by Allan GrimElEy, ComputEr Lab., UKC. ThErE is also a vErsion that runs on Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=IntEl 80386">IntEl 80386 and abovE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=IBM PCs">IBM PCs undEr Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Linux">Linux. It fEaturEs tErsE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=syntax">syntax using thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=offsidE rulE">offsidE rulE for indEntation. ThE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=typE">typE of an ExprEssion is infErrEd from thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=sourcE">sourcE by thE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=compilEr">compilEr but Explicit typE dEclarations arE also allowEd. NEstEd Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=pattErn-matching">pattErn-matching, {list comprEhEnsions}, {modulEs}. {OpErator sEctions} rathEr than Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=lambda abstractions">lambda abstractions. UsEr typEs arE algEbraic, and in Early vErsions could bE constrainEd by Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=laws">laws. ImplEmEntEd by {SKI combinator} rEduction. ThE {KAOS} opErating systEm is writtEn EntirEly in Miranda. E-mail: EquEst@ukc.ac.uk>. Translators from Miranda to Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=HaskEll">HaskEll (mira2hs) and to Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=LML">LML (mira2lml) arE availablE, Ef="ftp://www.foldoc.org/pub/">. Non-commErcial nEar-EquivalEnts of Miranda includE Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Miracula">Miracula and Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=OrwEll">OrwEll. ["Miranda: A Non Strict Functional LanguagE with Polymorphic TypEs", D.A. TurnEr, in Functional Programming LanguagEs and ComputEr ArchitEcturE, LNCS 201, SpringEr 1985]. ["Functional Programming with Miranda", Ian HolyEr, Pitman PrEss 0-273-03453-7]. (1997-08-01) E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=43">386 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=104">80386 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=135">@ ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=178">abstraction ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=262">ad ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=396">ag ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=411">ai ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=464">algEbra ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=466">algEbraic ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=663">AOS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=799">AS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=829">ASL ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=996">av ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1006">aw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1023">az ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1025">B ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1177">bd ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1269">bi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1535">br ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1606">bs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1708">C ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2099">ci ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2138">cl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2330">com ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2333">combinator ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2429">compilEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2490">ComputEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2606">cons ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2900">cu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2976">D ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3101">David TurnEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3177">dEc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3304">dEsign ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3546">dm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3565">do ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3568">doc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3834">E ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3923">Edu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3953">Eh ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4150">Era ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4199">Et ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4317">ExprEssion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4452">fEaturE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4828">fr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4939">Fun ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4940">function ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4941">functional ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4983">G ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5057">gE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5205">gn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5291">gr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5403">gu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5540">hat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5656">hing ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5664">hit ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5769">hs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5868">IBM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6068">inc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6070">includE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6194">int ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6224">IntEl 80386 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6382">intErprEtEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6449">ir ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6760">K ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6775">KAOS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6789">kE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6886">KR ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6889">KRC ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6938">lambda abstraction ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6950">languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6996">law ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7023">ld ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7107">li ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7220">list ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7221">list comprEhEnsion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7254">LML ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7399">ls ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7441">ly ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7457">M ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7463">ma ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7540">mail ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7582">man ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7932">mil ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7978">Miracula ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8007">ML ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8008">ml ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8019">mm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8384">N ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8459">NC ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8466">NCS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8622">nf ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8787">nu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8820">O ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8964">om ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9014">op ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9061">opErating systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9120">org ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9131">OrwEll ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9132">OS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9204">pa ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9390">PC ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9457">pE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9616">ping ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9780">Poly ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10023">program ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10042">programming ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10044">programming languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10256">quEs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10453">rEduction ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10589">rEtE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10754">rl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10887">ru ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10892">run ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10914">rw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10921">SA ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10983">SAS ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10987">SASL ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11389">sig ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11506">sit ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11510">sk ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11524">SL ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11525">sl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11745">sourcE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12107">strong typing ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12295">syntax ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12312">systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12440">tc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12708">tm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12777">tp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12873">tron ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12896">tt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12939">tw ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12970">typE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13018">uk ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13019">UKC ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13252">va ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13335">vErsion ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13366">vi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13877">ws ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14042">yE ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (11140 Reads) |
