OnlineWoerterBuecher.de
Internes

Lexikon


Miranda


AnguAge> (From the LAtin for "AdmirAble", Also the heroine of ShAkespeAre' s Tempest) A <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=lAzy">lAzyA> <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=purely functionAl">purely functionAlA> progrAmming lAnguAge And interpreter designed by {DAvid Turner} At the {University of Kent} in the eArly 1980s. It is sold by his compAny, <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=ReseArch SoftwAre">ReseArch SoftwAreA> Limited. It combines the mAin feAtures of <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=KRC">KRCA> And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=SASL">SASLA> with <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=strong typing">strong typingA> similAr to thAt of <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=ML">MLA>. Implemented for <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Unix">UnixA> by AllAn Grimeley, Computer LAb., UKC. There is Also A version thAt runs on <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Intel 80386">Intel 80386A> And Above <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=IBM PCs">IBM PCsA> under <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Linux">LinuxA>. It feAtures terse <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=syntAx">syntAxA> using the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=offside rule">offside ruleA> for indentAtion. The <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=type">typeA> of An expression is inferred from the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=source">sourceA> by the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=compiler">compilerA> but explicit type declArAtions Are Also Allowed. Nested <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=pAttern-mAtching">pAttern-mAtchingA>, {list comprehensions}, {modules}. {OperAtor sections} rAther thAn <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=lAmbdA AbstrActions">lAmbdA AbstrActionsA>. User types Are AlgebrAic, And in eArly versions could be constrAined by <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=lAws">lAwsA>. Implemented by {SKI combinAtor} reduction. The {KAOS} operAting system is written entirely in MirAndA. E-mAil: A-request@ukc.Ac.uk>. TrAnslAtors from MirAndA to <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=HAskell">HAskellA> (mirA2hs) And to <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=LML">LMLA> (mirA2lml) Are AvAilAble, <A href="ftp://www.foldoc.org/pub/">A>. Non-commerciAl neAr-equivAlents of MirAndA include <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=MirAculA">MirAculAA> And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Orwell">OrwellA>. ["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)

Align="left">In Addition suitAble contents:
[ <A href="module.php?nAme=Lexikon&op=content&tid=31">2A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=43">386A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=104">80386A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=134">=A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=135">@A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=178">AbstrActionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=262">AdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=411">AiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=464">AlgebrAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=466">AlgebrAicA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=544">AmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=592">AnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=663">AOSA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=740">ArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=743">ArcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=799">ASA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=800">AsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=829">ASLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=996">AvA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1006">AwA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1023">AzA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1025">BA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1177">bdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1181">beA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1269">biA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1444">boA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1535">brA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1606">bsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1695">byA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1708">CA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2099">ciA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2138">clA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2247">coA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2330">comA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2333">combinAtorA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2429">compilerA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2490">ComputerA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2606">consA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2900">cuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2976">DA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3101">DAvid TurnerA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3151">deA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3177">decA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3304">designA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3546">dmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3565">doA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3568">docA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3752">duA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3834">EA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3865">ecA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3896">edA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3923">eduA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3953">ehA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4150">erAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4171">esA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4199">etA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4317">expressionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4452">feAtureA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4497">fiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4520">fileA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4700">foA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4727">forA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4828">frA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4939">FunA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4940">functionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4941">functionAlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4983">GA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5057">geA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5205">gnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5291">grA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5403">guA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5434">hA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5540">hAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5656">hingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5664">hitA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5768">hrA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5769">hsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5868">IBMA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5931">idA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6013">ilA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6064">inA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6068">incA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6070">includeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6194">intA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6224">Intel 80386A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6382">interpreterA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6449">irA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6482">isA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6558">itA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6760">KA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6775">KAOSA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6789">keA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6886">KRA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6889">KRCA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6938">lAmbdA AbstrActionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6950">lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6996">lAwA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7023">ldA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7091">LexA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7107">liA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7220">listA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7221">list comprehensionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7254">LMLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7399">lsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7457">MA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7463">mAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7540">mAilA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7582">mAnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7932">milA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7978">MirAculAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8007">MLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8008">mlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8019">mmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8032">moA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8040">modA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8079">moduleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8167">mpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8384">NA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8386">nAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8459">NCA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8460">ncA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8466">NCSA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8472">neA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8622">nfA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8630">niA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8760">nsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8787">nuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8820">OA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8964">omA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9014">opA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9061">operAting systemA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9120">orgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9131">OrwellA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9132">OSA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9204">pAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9390">PCA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9550">phA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9616">pingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9651">plA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9780">PolyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10023">progrAmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10042">progrAmmingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10044">progrAmming lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10253">queryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10256">quesA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10364">rcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10385">reA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10453">reductionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10589">reteA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10754">rlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10887">ruA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10892">runA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10914">rwA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10918">SA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10921">SAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10983">SASA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10987">SASLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11150">seA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11376">siA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11389">sigA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11506">sitA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11510">skA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11524">SLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11525">slA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11651">soA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11745">sourceA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11934">stA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12107">strong typingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12246">syA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12295">syntAxA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12312">systemA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12359">TA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12440">tcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12708">tmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12721">toA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12777">tpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12787">trA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12873">tronA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12896">ttA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12939">twA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12970">typeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13018">ukA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13019">UKCA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13335">versionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13366">viA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13877">wsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=14042">yeA> ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (11125 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.1064 Seconds, with 16 Database-Queries
Zurück zur Startseite