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