OnlineWoerterBuecher.de
Internes

Lexikon


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

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

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