Miranda
(From the Latin for "admirable", also the heroine of Shakespeare' s Tempest) A lazy 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, Research Software Limited. It combines the main features of KRC and SASL with strong typing similar to that of ML. Implemented for Unix by Allan Grimeley, Computer Lab., UKC. There is also a version that runs on Intel 80386 and above IBM PCs under Linux. It features terse syntax using the offside rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. Nested pattern-matching, {list comprehensions}, {modules}. {Operator sections} rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by laws. Implemented by {SKI combinator} reduction. The {KAOS} operating system is written entirely in Miranda. E-mail: . Translators from Miranda to Haskell (mira2hs) and to LML (mira2lml) are available, . Non-commercial near-equivalents of Miranda include Miracula and 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:
[ 2 ] [ 386 ] [ 80386 ] [ = ] [ @ ] [ abstraction ] [ ad ] [ ag ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ am ] [ an ] [ AOS ] [ ar ] [ arc ] [ AS ] [ as ] [ ASL ] [ at ] [ av ] [ aw ] [ az ] [ B ] [ b ] [ bd ] [ be ] [ bi ] [ bo ] [ br ] [ bs ] [ by ] [ C ] [ ch ] [ ci ] [ cl ] [ co ] [ com ] [ combinator ] [ compiler ] [ Computer ] [ con ] [ cons ] [ cu ] [ D ] [ David Turner ] [ de ] [ dec ] [ design ] [ dm ] [ do ] [ doc ] [ du ] [ E ] [ ec ] [ ed ] [ edu ] [ eh ] [ er ] [ era ] [ es ] [ et ] [ expression ] [ feature ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ Fun ] [ function ] [ functional ] [ G ] [ ge ] [ gn ] [ gr ] [ gu ] [ h ] [ hat ] [ hing ] [ hit ] [ hr ] [ hs ] [ IBM ] [ id ] [ il ] [ in ] [ inc ] [ include ] [ int ] [ Intel 80386 ] [ interpreter ] [ io ] [ ir ] [ is ] [ it ] [ K ] [ KAOS ] [ ke ] [ KR ] [ KRC ] [ la ] [ lambda abstraction ] [ language ] [ law ] [ ld ] [ Lex ] [ li ] [ list ] [ list comprehension ] [ LML ] [ ls ] [ lu ] [ ly ] [ M ] [ ma ] [ mail ] [ man ] [ mil ] [ Miracula ] [ ML ] [ ml ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ N ] [ na ] [ NC ] [ nc ] [ NCS ] [ ne ] [ nf ] [ ng ] [ ni ] [ ns ] [ nu ] [ O ] [ om ] [ op ] [ operating system ] [ org ] [ Orwell ] [ OS ] [ pa ] [ PC ] [ pe ] [ ph ] [ ping ] [ pl ] [ Poly ] [ pr ] [ program ] [ programming ] [ programming language ] [ query ] [ ques ] [ rc ] [ re ] [ reduction ] [ rete ] [ rl ] [ ro ] [ ru ] [ run ] [ rw ] [ S ] [ SA ] [ SAS ] [ SASL ] [ se ] [ si ] [ sig ] [ sit ] [ sk ] [ SL ] [ sl ] [ so ] [ source ] [ st ] [ strong typing ] [ sy ] [ syntax ] [ system ] [ T ] [ tc ] [ th ] [ tm ] [ to ] [ tp ] [ tr ] [ tron ] [ tt ] [ tw ] [ type ] [ ua ] [ uk ] [ UKC ] [ us ] [ va ] [ ve ] [ version ] [ vi ] [ ws ] [ ye ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (11046 Reads) |
