Miranda
(From the Latin for "admirable", also the heroine of Shakespeare' s Tempest) A href="module.php?name=Lexikon&file=search&eid=1&query=lazy">lazy href="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, href="module.php?name=Lexikon&file=search&eid=1&query=Research Software">Research Software Limited. It combines the main features of href="module.php?name=Lexikon&file=search&eid=1&query=KRC">KRC and href="module.php?name=Lexikon&file=search&eid=1&query=SASL">SASL with href="module.php?name=Lexikon&file=search&eid=1&query=strong typing">strong typing similar to that of href="module.php?name=Lexikon&file=search&eid=1&query=ML">ML. Implemented for href="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 href="module.php?name=Lexikon&file=search&eid=1&query=Intel 80386">Intel 80386 and above href="module.php?name=Lexikon&file=search&eid=1&query=IBM PCs">IBM PCs under href="module.php?name=Lexikon&file=search&eid=1&query=Linux">Linux. It features terse href="module.php?name=Lexikon&file=search&eid=1&query=syntax">syntax using the href="module.php?name=Lexikon&file=search&eid=1&query=offside rule">offside rule for indentation. The href="module.php?name=Lexikon&file=search&eid=1&query=type">type of an expression is inferred from the href="module.php?name=Lexikon&file=search&eid=1&query=source">source by the href="module.php?name=Lexikon&file=search&eid=1&query=compiler">compiler but explicit type declarations are also allowed. Nested href="module.php?name=Lexikon&file=search&eid=1&query=pattern-matching">pattern-matching, {list comprehensions}, {modules}. {Operator sections} rather than href="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 href="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: . Translators from Miranda to href="module.php?name=Lexikon&file=search&eid=1&query=Haskell">Haskell (mira2hs) and to href="module.php?name=Lexikon&file=search&eid=1&query=LML">LML (mira2lml) are available, href="ftp://www.foldoc.org/pub/">. Non-commercial near-equivalents of Miranda include href="module.php?name=Lexikon&file=search&eid=1&query=Miracula">Miracula and href="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) In addition suitable contents:
[ href="module.php?name=Lexikon&op=content&tid=31">2 ] [ href="module.php?name=Lexikon&op=content&tid=43">386 ] [ href="module.php?name=Lexikon&op=content&tid=104">80386 ] [ href="module.php?name=Lexikon&op=content&tid=134">= ] [ href="module.php?name=Lexikon&op=content&tid=135">@ ] [ href="module.php?name=Lexikon&op=content&tid=178">abstraction ] [ href="module.php?name=Lexikon&op=content&tid=262">ad ] [ href="module.php?name=Lexikon&op=content&tid=396">ag ] [ href="module.php?name=Lexikon&op=content&tid=411">ai ] [ href="module.php?name=Lexikon&op=content&tid=433">al ] [ href="module.php?name=Lexikon&op=content&tid=464">algebra ] [ href="module.php?name=Lexikon&op=content&tid=466">algebraic ] [ href="module.php?name=Lexikon&op=content&tid=544">am ] [ href="module.php?name=Lexikon&op=content&tid=592">an ] [ href="module.php?name=Lexikon&op=content&tid=663">AOS ] [ href="module.php?name=Lexikon&op=content&tid=740">ar ] [ href="module.php?name=Lexikon&op=content&tid=743">arc ] [ href="module.php?name=Lexikon&op=content&tid=799">AS ] [ href="module.php?name=Lexikon&op=content&tid=800">as ] [ href="module.php?name=Lexikon&op=content&tid=829">ASL ] [ href="module.php?name=Lexikon&op=content&tid=894">at ] [ href="module.php?name=Lexikon&op=content&tid=996">av ] [ href="module.php?name=Lexikon&op=content&tid=1006">aw ] [ href="module.php?name=Lexikon&op=content&tid=1023">az ] [ href="module.php?name=Lexikon&op=content&tid=1025">B ] [ href="module.php?name=Lexikon&op=content&tid=1026">b ] [ href="module.php?name=Lexikon&op=content&tid=1177">bd ] [ href="module.php?name=Lexikon&op=content&tid=1181">be ] [ href="module.php?name=Lexikon&op=content&tid=1269">bi ] [ href="module.php?name=Lexikon&op=content&tid=1444">bo ] [ href="module.php?name=Lexikon&op=content&tid=1535">br ] [ href="module.php?name=Lexikon&op=content&tid=1606">bs ] [ href="module.php?name=Lexikon&op=content&tid=1695">by ] [ href="module.php?name=Lexikon&op=content&tid=1708">C ] [ href="module.php?name=Lexikon&op=content&tid=2001">ch ] [ href="module.php?name=Lexikon&op=content&tid=2099">ci ] [ href="module.php?name=Lexikon&op=content&tid=2138">cl ] [ href="module.php?name=Lexikon&op=content&tid=2247">co ] [ href="module.php?name=Lexikon&op=content&tid=2330">com ] [ href="module.php?name=Lexikon&op=content&tid=2333">combinator ] [ href="module.php?name=Lexikon&op=content&tid=2429">compiler ] [ href="module.php?name=Lexikon&op=content&tid=2490">Computer ] [ href="module.php?name=Lexikon&op=content&tid=2545">con ] [ href="module.php?name=Lexikon&op=content&tid=2606">cons ] [ href="module.php?name=Lexikon&op=content&tid=2900">cu ] [ href="module.php?name=Lexikon&op=content&tid=2976">D ] [ href="module.php?name=Lexikon&op=content&tid=3101">David Turner ] [ href="module.php?name=Lexikon&op=content&tid=3151">de ] [ href="module.php?name=Lexikon&op=content&tid=3177">dec ] [ href="module.php?name=Lexikon&op=content&tid=3304">design ] [ href="module.php?name=Lexikon&op=content&tid=3546">dm ] [ href="module.php?name=Lexikon&op=content&tid=3565">do ] [ href="module.php?name=Lexikon&op=content&tid=3568">doc ] [ href="module.php?name=Lexikon&op=content&tid=3752">du ] [ href="module.php?name=Lexikon&op=content&tid=3834">E ] [ href="module.php?name=Lexikon&op=content&tid=3865">ec ] [ href="module.php?name=Lexikon&op=content&tid=3896">ed ] [ href="module.php?name=Lexikon&op=content&tid=3923">edu ] [ href="module.php?name=Lexikon&op=content&tid=3953">eh ] [ href="module.php?name=Lexikon&op=content&tid=4148">er ] [ href="module.php?name=Lexikon&op=content&tid=4150">era ] [ href="module.php?name=Lexikon&op=content&tid=4171">es ] [ href="module.php?name=Lexikon&op=content&tid=4199">et ] [ href="module.php?name=Lexikon&op=content&tid=4317">expression ] [ href="module.php?name=Lexikon&op=content&tid=4452">feature ] [ href="module.php?name=Lexikon&op=content&tid=4497">fi ] [ href="module.php?name=Lexikon&op=content&tid=4520">file ] [ href="module.php?name=Lexikon&op=content&tid=4700">fo ] [ href="module.php?name=Lexikon&op=content&tid=4727">for ] [ href="module.php?name=Lexikon&op=content&tid=4828">fr ] [ href="module.php?name=Lexikon&op=content&tid=4939">Fun ] [ href="module.php?name=Lexikon&op=content&tid=4940">function ] [ href="module.php?name=Lexikon&op=content&tid=4941">functional ] [ href="module.php?name=Lexikon&op=content&tid=4983">G ] [ href="module.php?name=Lexikon&op=content&tid=5057">ge ] [ href="module.php?name=Lexikon&op=content&tid=5205">gn ] [ href="module.php?name=Lexikon&op=content&tid=5291">gr ] [ href="module.php?name=Lexikon&op=content&tid=5403">gu ] [ href="module.php?name=Lexikon&op=content&tid=5434">h ] [ href="module.php?name=Lexikon&op=content&tid=5540">hat ] [ href="module.php?name=Lexikon&op=content&tid=5656">hing ] [ href="module.php?name=Lexikon&op=content&tid=5664">hit ] [ href="module.php?name=Lexikon&op=content&tid=5768">hr ] [ href="module.php?name=Lexikon&op=content&tid=5769">hs ] [ href="module.php?name=Lexikon&op=content&tid=5868">IBM ] [ href="module.php?name=Lexikon&op=content&tid=5931">id ] [ href="module.php?name=Lexikon&op=content&tid=6013">il ] [ href="module.php?name=Lexikon&op=content&tid=6064">in ] [ href="module.php?name=Lexikon&op=content&tid=6068">inc ] [ href="module.php?name=Lexikon&op=content&tid=6070">include ] [ href="module.php?name=Lexikon&op=content&tid=6194">int ] [ href="module.php?name=Lexikon&op=content&tid=6224">Intel 80386 ] [ href="module.php?name=Lexikon&op=content&tid=6382">interpreter ] [ href="module.php?name=Lexikon&op=content&tid=6413">io ] [ href="module.php?name=Lexikon&op=content&tid=6449">ir ] [ href="module.php?name=Lexikon&op=content&tid=6482">is ] [ href="module.php?name=Lexikon&op=content&tid=6558">it ] [ href="module.php?name=Lexikon&op=content&tid=6760">K ] [ href="module.php?name=Lexikon&op=content&tid=6775">KAOS ] [ href="module.php?name=Lexikon&op=content&tid=6789">ke ] [ href="module.php?name=Lexikon&op=content&tid=6886">KR ] [ href="module.php?name=Lexikon&op=content&tid=6889">KRC ] [ href="module.php?name=Lexikon&op=content&tid=6918">la ] [ href="module.php?name=Lexikon&op=content&tid=6938">lambda abstraction ] [ href="module.php?name=Lexikon&op=content&tid=6950">language ] [ href="module.php?name=Lexikon&op=content&tid=6996">law ] [ href="module.php?name=Lexikon&op=content&tid=7023">ld ] [ href="module.php?name=Lexikon&op=content&tid=7091">Lex ] [ href="module.php?name=Lexikon&op=content&tid=7107">li ] [ href="module.php?name=Lexikon&op=content&tid=7220">list ] [ href="module.php?name=Lexikon&op=content&tid=7221">list comprehension ] [ href="module.php?name=Lexikon&op=content&tid=7254">LML ] [ href="module.php?name=Lexikon&op=content&tid=7399">ls ] [ href="module.php?name=Lexikon&op=content&tid=7415">lu ] [ href="module.php?name=Lexikon&op=content&tid=7441">ly ] [ href="module.php?name=Lexikon&op=content&tid=7457">M ] [ href="module.php?name=Lexikon&op=content&tid=7463">ma ] [ href="module.php?name=Lexikon&op=content&tid=7540">mail ] [ href="module.php?name=Lexikon&op=content&tid=7582">man ] [ href="module.php?name=Lexikon&op=content&tid=7932">mil ] [ href="module.php?name=Lexikon&op=content&tid=7978">Miracula ] [ href="module.php?name=Lexikon&op=content&tid=8007">ML ] [ href="module.php?name=Lexikon&op=content&tid=8008">ml ] [ href="module.php?name=Lexikon&op=content&tid=8019">mm ] [ href="module.php?name=Lexikon&op=content&tid=8032">mo ] [ href="module.php?name=Lexikon&op=content&tid=8040">mod ] [ href="module.php?name=Lexikon&op=content&tid=8079">module ] [ href="module.php?name=Lexikon&op=content&tid=8167">mp ] [ href="module.php?name=Lexikon&op=content&tid=8384">N ] [ href="module.php?name=Lexikon&op=content&tid=8386">na ] [ href="module.php?name=Lexikon&op=content&tid=8459">NC ] [ href="module.php?name=Lexikon&op=content&tid=8460">nc ] [ href="module.php?name=Lexikon&op=content&tid=8466">NCS ] [ href="module.php?name=Lexikon&op=content&tid=8472">ne ] [ href="module.php?name=Lexikon&op=content&tid=8622">nf ] [ href="module.php?name=Lexikon&op=content&tid=8627">ng ] [ href="module.php?name=Lexikon&op=content&tid=8630">ni ] [ href="module.php?name=Lexikon&op=content&tid=8760">ns ] [ href="module.php?name=Lexikon&op=content&tid=8787">nu ] [ href="module.php?name=Lexikon&op=content&tid=8820">O ] [ href="module.php?name=Lexikon&op=content&tid=8964">om ] [ href="module.php?name=Lexikon&op=content&tid=9014">op ] [ href="module.php?name=Lexikon&op=content&tid=9061">operating system ] [ href="module.php?name=Lexikon&op=content&tid=9120">org ] [ href="module.php?name=Lexikon&op=content&tid=9131">Orwell ] [ href="module.php?name=Lexikon&op=content&tid=9132">OS ] [ href="module.php?name=Lexikon&op=content&tid=9204">pa ] [ href="module.php?name=Lexikon&op=content&tid=9390">PC ] [ href="module.php?name=Lexikon&op=content&tid=9457">pe ] [ href="module.php?name=Lexikon&op=content&tid=9550">ph ] [ href="module.php?name=Lexikon&op=content&tid=9616">ping ] [ href="module.php?name=Lexikon&op=content&tid=9651">pl ] [ href="module.php?name=Lexikon&op=content&tid=9780">Poly ] [ href="module.php?name=Lexikon&op=content&tid=9908">pr ] [ href="module.php?name=Lexikon&op=content&tid=10023">program ] [ href="module.php?name=Lexikon&op=content&tid=10042">programming ] [ href="module.php?name=Lexikon&op=content&tid=10044">programming language ] [ href="module.php?name=Lexikon&op=content&tid=10253">query ] [ href="module.php?name=Lexikon&op=content&tid=10256">ques ] [ href="module.php?name=Lexikon&op=content&tid=10364">rc ] [ href="module.php?name=Lexikon&op=content&tid=10385">re ] [ href="module.php?name=Lexikon&op=content&tid=10453">reduction ] [ href="module.php?name=Lexikon&op=content&tid=10589">rete ] [ href="module.php?name=Lexikon&op=content&tid=10754">rl ] [ href="module.php?name=Lexikon&op=content&tid=10767">ro ] [ href="module.php?name=Lexikon&op=content&tid=10887">ru ] [ href="module.php?name=Lexikon&op=content&tid=10892">run ] [ href="module.php?name=Lexikon&op=content&tid=10914">rw ] [ href="module.php?name=Lexikon&op=content&tid=10918">S ] [ href="module.php?name=Lexikon&op=content&tid=10921">SA ] [ href="module.php?name=Lexikon&op=content&tid=10983">SAS ] [ href="module.php?name=Lexikon&op=content&tid=10987">SASL ] [ href="module.php?name=Lexikon&op=content&tid=11150">se ] [ href="module.php?name=Lexikon&op=content&tid=11376">si ] [ href="module.php?name=Lexikon&op=content&tid=11389">sig ] [ href="module.php?name=Lexikon&op=content&tid=11506">sit ] [ href="module.php?name=Lexikon&op=content&tid=11510">sk ] [ href="module.php?name=Lexikon&op=content&tid=11524">SL ] [ href="module.php?name=Lexikon&op=content&tid=11525">sl ] [ href="module.php?name=Lexikon&op=content&tid=11651">so ] [ href="module.php?name=Lexikon&op=content&tid=11745">source ] [ href="module.php?name=Lexikon&op=content&tid=11934">st ] [ href="module.php?name=Lexikon&op=content&tid=12107">strong typing ] [ href="module.php?name=Lexikon&op=content&tid=12246">sy ] [ href="module.php?name=Lexikon&op=content&tid=12295">syntax ] [ href="module.php?name=Lexikon&op=content&tid=12312">system ] [ href="module.php?name=Lexikon&op=content&tid=12359">T ] [ href="module.php?name=Lexikon&op=content&tid=12440">tc ] [ href="module.php?name=Lexikon&op=content&tid=12588">th ] [ href="module.php?name=Lexikon&op=content&tid=12708">tm ] [ href="module.php?name=Lexikon&op=content&tid=12721">to ] [ href="module.php?name=Lexikon&op=content&tid=12777">tp ] [ href="module.php?name=Lexikon&op=content&tid=12787">tr ] [ href="module.php?name=Lexikon&op=content&tid=12873">tron ] [ href="module.php?name=Lexikon&op=content&tid=12896">tt ] [ href="module.php?name=Lexikon&op=content&tid=12939">tw ] [ href="module.php?name=Lexikon&op=content&tid=12970">type ] [ href="module.php?name=Lexikon&op=content&tid=12986">ua ] [ href="module.php?name=Lexikon&op=content&tid=13018">uk ] [ href="module.php?name=Lexikon&op=content&tid=13019">UKC ] [ href="module.php?name=Lexikon&op=content&tid=13175">us ] [ href="module.php?name=Lexikon&op=content&tid=13252">va ] [ href="module.php?name=Lexikon&op=content&tid=13310">ve ] [ href="module.php?name=Lexikon&op=content&tid=13335">version ] [ href="module.php?name=Lexikon&op=content&tid=13366">vi ] [ href="module.php?name=Lexikon&op=content&tid=13877">ws ] [ href="module.php?name=Lexikon&op=content&tid=14042">ye ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (11127 Reads) |
