. . "Miranda (linguaggio di programmazione)"@it . "Miranda je v informatice \u010Dist\u011B funkcion\u00E1ln\u00ED programovac\u00ED jazyk s l\u00EDn\u00FDm vyhodnocov\u00E1n\u00EDm, kter\u00FD navrhl jako n\u00E1stupce jeho p\u0159edchoz\u00EDch programovac\u00EDch jazyk\u016F a , kter\u00E9 vyu\u017E\u00EDvaj\u00ED ur\u010Dit\u00FDch koncept\u016F jazyk\u016F a . Obchodn\u00ED zna\u010Dku Miranda vlastn\u00ED Firma Research Software Ltd. of England. Miranda byl prvn\u00EDm \u010Dist\u011B funkcion\u00E1ln\u00EDm jazykem, kter\u00FD byl komer\u010Dn\u011B podporov\u00E1n. \u0158e\u0161en\u00ED v\u011Bt\u0161iny u\u010Debnicov\u00FDch probl\u00E9m\u016F je v Mirand\u011B krat\u0161\u00ED a jednodu\u0161\u0161\u00ED ne\u017E ve v\u011Bt\u0161in\u011B tradi\u010Dn\u00EDch programovac\u00EDch jazyk\u016F (mo\u017En\u00E1 krom\u011B APL). U\u017Eivatel\u00E9 Mirandy mohou rychleji ps\u00E1t spolehliv\u011Bj\u0161\u00ED k\u00F3dy, ne\u017E s p\u0159edchoz\u00EDmi programovac\u00EDmi jazyky. Miranda byla vyd\u00E1na v roce 1985 jako rychl\u00FD interpret pro unixov\u00E9 opera\u010Dn\u00ED syst\u00E9my s n\u00E1sledn\u00FDmi vyd\u00E1n\u00EDmi v letech 1987 a 1989. Haskell je pozd\u011Bj\u0161\u00ED n\u00E1stupce Mirandy a v mnoha sm\u011Brech se j\u00ED podob\u00E1."@cs . . . . "Miranda\u306F\u3001\u9045\u5EF6\u8A55\u4FA1\u65B9\u5F0F\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u3002\u4F5C\u8005\u30C7\u30D3\u30C3\u30C9\u30FB\u30BF\u30FC\u30CA\u30FC\uFF08David Turner\uFF09\u306B\u3088\u308B\u4EE5\u524D\u306E\u8A00\u8A9ESASL\u3084KRC\u306E\u5F8C\u7D99\u3067\u3082\u3042\u308A\u3001\u307E\u305FML\u3084Hope\u306E\u5F71\u97FF\u3082\u53D7\u3051\u3066\u3044\u308B\u3002\u30A4\u30AE\u30EA\u30B9\u306E\u30EA\u30B5\u30FC\u30C1\u30FB\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u793E\uFF08Research Software Ltd.\uFF09\u304C\u8CA9\u58F2\u3057\u3066\u304A\u308A\u3001\u540C\u793E\u306E\u5546\u6A19\u3067\u3082\u3042\u308B\u3002\u7814\u7A76\u76EE\u7684\u3067\u306F\u306A\u3044\u5546\u7528\u3092\u76EE\u6307\u3057\u305F\u6700\u521D\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u8A00\u8A9E\u3067\u3042\u3063\u305F\u3002 \u3088\u304F\u3042\u308B\u4F8B\u984C\u3092\u89E3\u304F\u30D7\u30ED\u30B0\u30E9\u30E0\u306B\u95A2\u3057\u3066\u8A00\u3048\u3070\u3001Miranda\u306E\u30B3\u30FC\u30C9\u306F\uFF08APL\u306A\u3069\u3092\u5225\u3068\u3059\u308C\u3070\uFF09\u307B\u3068\u3093\u3069\u306E\u4E3B\u6D41\u306E\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3088\u308A\u3082\u7C21\u5358\u3067\u77ED\u304F\u8868\u73FE\u3067\u304D\u3001\u4ED6\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u3068\u540C\u69D8\u3001\u4FE1\u983C\u6027\u306E\u9AD8\u3044\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u958B\u767A\u304C\u547D\u4EE4\u578B\u8A00\u8A9E\u306B\u6BD4\u3079\u3066\u77ED\u671F\u9593\u3067\u53EF\u80FD\u306B\u306A\u3063\u305F\u3068\u3044\u3046\u5831\u544A\u304C\u3042\u308B\u3002 1985\u5E74\u306B\u767B\u5834\u3057\u305F\u3002\u51E6\u7406\u7CFB\u306E\u5B9F\u88C5\u3068\u3057\u3066\u306FUnix\u7CFB\u5411\u3051\u306EC\u8A00\u8A9E\u3067\u5B9F\u88C5\u3055\u308C\u305F\u3082\u306E\u306E\u307F\u304C\u3042\u308B\u3002\u5F8C\u767A\u306EHaskell\u306F\u591A\u304F\u306E\u9762\u3067Miranda\u306E\u5F71\u97FF\u3092\u53D7\u3051\u3066\u3044\u308B\u3002"@ja . . . . . . . . "Miranda (programovac\u00ED jazyk)"@cs . . . "Miranda (linguagem de programa\u00E7\u00E3o)"@pt . "Miranda \u00E9 uma linguagem de programa\u00E7\u00E3o funcional, n\u00E3o restrita desenvolvida por David Turner, usando alguns conceitos das linguagens de programa\u00E7\u00E3o anteriores como SASL e KRC, utilizando alguns conceitos de ML e Hope. Comercializada pela Research Software Ltda. da Inglaterra, da qual a palavra \"Miranda\" \u00E9 uma marca registrada, ela foi a primeira linguagem puramente funcional, a ser utilizada como ferramenta comercial, e n\u00E3o para fins acad\u00EAmicos."@pt . . "Miranda"@en . "Miranda ist eine rein funktionale Programmiersprache, die von basierend auf den von ihm fr\u00FCher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und enth\u00E4lt. Sie war geistiges Vorbild f\u00FCr die sp\u00E4ter entwickelte Programmiersprache Haskell, die viele \u00C4hnlichkeiten mit Miranda hat. Die 1985 ver\u00F6ffentlichte Programmiersprache Miranda war die erste funktionale Programmiersprache, die nicht f\u00FCr die Verwendung in der Wissenschaft, sondern f\u00FCr den kommerziellen Gebrauch entwickelt wurde."@de . . . "Miranda \u00E4r ett funktionellt programspr\u00E5k som skapades i mitten av 1980-talet av britten David Turner."@sv . "Miranda"@en . . . ""@en . "Miranda \u00E9 uma linguagem de programa\u00E7\u00E3o funcional, n\u00E3o restrita desenvolvida por David Turner, usando alguns conceitos das linguagens de programa\u00E7\u00E3o anteriores como SASL e KRC, utilizando alguns conceitos de ML e Hope. Comercializada pela Research Software Ltda. da Inglaterra, da qual a palavra \"Miranda\" \u00E9 uma marca registrada, ela foi a primeira linguagem puramente funcional, a ser utilizada como ferramenta comercial, e n\u00E3o para fins acad\u00EAmicos. A solu\u00E7\u00E3o para a maioria dos problemas \u00E9 mais simples e sucinta em Miranda do que na maior parte das linguagens de programa\u00E7\u00E3o, exceto a APL, e algumas outras linguagens funcionais, relatam seus usu\u00E1rios, que lhes permite produzir programas mais confi\u00E1veis em menos tempo do que com o desenvolvimento da programa\u00E7\u00E3o imperativa, linguagens que eles tinham anteriormente utilizado. Foi lan\u00E7ado em 1985, como um r\u00E1pido interpretador em C para sistema operacional Unix-flavour, com subsequente libera\u00E7\u00E3o, em 1987 e 1989. Mais tarde a linguagem de programa\u00E7\u00E3o Haskell \u00E9 semelhante a muitos formatos de Miranda."@pt . . "Miranda \u00E8 un linguaggio di programmazione puramente funzionale sviluppato da come successore dei suoi precedenti linguaggi di programmazione SASL e utilizzando alcuni concetti di ML ed . Commercializzato dalla Research Software Ltd. of England, di cui la parola \"Miranda\" \u00E8 un marchio di fabbrica, \u00E8 stato il primo linguaggio funzionale destinato ad un uso commerciale invece che solo accademico. \u00C8 stato pubblicato nel 1985, ed \u00E8 stato scritto per esso (in linguaggio C) un solo interprete per sistemi Unix. Haskell, un linguaggio sviluppato successivamente, \u00E8 simile per molti versi a Miranda."@it . . . . . . . . "14405"^^ . "Miranda"@ja . . "Miranda ist eine rein funktionale Programmiersprache, die von basierend auf den von ihm fr\u00FCher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und enth\u00E4lt. Sie war geistiges Vorbild f\u00FCr die sp\u00E4ter entwickelte Programmiersprache Haskell, die viele \u00C4hnlichkeiten mit Miranda hat. Die 1985 ver\u00F6ffentlichte Programmiersprache Miranda war die erste funktionale Programmiersprache, die nicht f\u00FCr die Verwendung in der Wissenschaft, sondern f\u00FCr den kommerziellen Gebrauch entwickelt wurde. Seit dem 1985 in C geschriebenen Interpreter f\u00FCr Unix-Systeme gab es keine weiteren Entwicklungen, so dass die Programmiersprache heute als tot angesehen werden kann. Dennoch wird Miranda gern als Lehrbeispiel f\u00FCr funktionale Programmiersprachen genutzt, da ihre Komplettreferenz nur ca. 30 Seiten umfasst und damit im Vergleich zu anderen Sprachen recht leicht zu erlernen ist."@de . . . . . . . . . "\u0397 Miranda \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03BF\u03BA\u03BD\u03B7\u03C1\u03AE, \u03B1\u03BC\u03B9\u03B3\u03CE\u03C2 \u03C3\u03C5\u03BD\u03B1\u03C1\u03C4\u03B7\u03C3\u03B9\u03B1\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD, \u03B7 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03C3\u03C7\u03B5\u03B4\u03B9\u03AC\u03C3\u03C4\u03B7\u03BA\u03B5 \u03B1\u03C0\u03CC \u03C4\u03BF\u03BD David Turner \u03C3\u03B1\u03BD \u03B4\u03B9\u03AC\u03B4\u03BF\u03C7\u03BF\u03C2 \u03C4\u03B7\u03C2 SASL \u03BA\u03B1\u03B9 \u03C4\u03B7\u03C2 KRC, \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B5\u03C2 \u03B9\u03B4\u03AD\u03B5\u03C2 \u03C4\u03B7\u03C2 ML \u03BA\u03B1\u03B9 \u03C4\u03B7\u03C2 Hope. \u0391\u03C0\u03BF\u03C4\u03AD\u03BB\u03B5\u03C3\u03B5 \u03C0\u03C1\u03BF\u03CA\u03CC\u03BD \u03C4\u03B7\u03C2 \u03B1\u03B3\u03B3\u03BB\u03B9\u03BA\u03AE\u03C2 \u03B5\u03C4\u03B1\u03B9\u03C1\u03B5\u03AF\u03B1\u03C2 Research Software Ltd. (\u03C0\u03BF\u03C5 \u03AD\u03C7\u03B5\u03B9 \u03BA\u03B1\u03B9 \u03C4\u03BF \u03B5\u03BC\u03C0\u03BF\u03C1\u03B9\u03BA\u03CC \u03C3\u03AE\u03BC\u03B1 Miranda) \u03BA\u03B1\u03B9 \u03AE\u03C4\u03B1\u03BD \u03B7 \u03C0\u03C1\u03CE\u03C4\u03B7 \u03B1\u03BC\u03B9\u03B3\u03CE\u03C2 \u03C3\u03C5\u03BD\u03B1\u03C1\u03C4\u03B7\u03C3\u03B9\u03B1\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03B5\u03BC\u03C0\u03BF\u03C1\u03B9\u03BA\u03AE \u03C5\u03C0\u03BF\u03C3\u03C4\u03AE\u03C1\u03B9\u03BE\u03B7. \u0397 Miranda \u03B1\u03C1\u03C7\u03B9\u03BA\u03AC \u03BA\u03C5\u03BA\u03BB\u03BF\u03C6\u03CC\u03C1\u03B7\u03C3\u03B5 \u03C4\u03BF 1985, \u03C9\u03C2 \u03B3\u03C1\u03AE\u03B3\u03BF\u03C1\u03BF\u03C2 \u03B4\u03B9\u03B5\u03C1\u03BC\u03B7\u03BD\u03AD\u03B1\u03C2 \u03C4\u03B7\u03C2 C \u03B3\u03B9\u03B1 Unix-\u03BF\u03B5\u03B9\u03B4\u03AE \u03BB\u03B5\u03B9\u03C4\u03BF\u03C5\u03C1\u03B3\u03B9\u03BA\u03AC \u03C3\u03C5\u03C3\u03C4\u03AE\u03BC\u03B1\u03C4\u03B1, \u03BA\u03B1\u03B9 \u03B1\u03BA\u03BF\u03BB\u03BF\u03CD\u03B8\u03B7\u03C3\u03B1\u03BD \u03B5\u03BA\u03B4\u03CC\u03C3\u03B5\u03B9\u03C2 \u03C4\u03BF 1987 \u03BA\u03B1\u03B9 \u03C4\u03BF 1989. \u0397 \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD Haskell \u03C0\u03BF\u03C5 \u03B1\u03BA\u03BF\u03BB\u03BF\u03CD\u03B8\u03B7\u03C3\u03B5 \u03BC\u03BF\u03B9\u03AC\u03B6\u03B5\u03B9 \u03C3\u03B5 \u03B1\u03C1\u03BA\u03B5\u03C4\u03AC \u03C3\u03B7\u03BC\u03B5\u03AF\u03B1 \u03BC\u03B5 \u03C4\u03B7 Miranda."@el . . . . "Miranda je v informatice \u010Dist\u011B funkcion\u00E1ln\u00ED programovac\u00ED jazyk s l\u00EDn\u00FDm vyhodnocov\u00E1n\u00EDm, kter\u00FD navrhl jako n\u00E1stupce jeho p\u0159edchoz\u00EDch programovac\u00EDch jazyk\u016F a , kter\u00E9 vyu\u017E\u00EDvaj\u00ED ur\u010Dit\u00FDch koncept\u016F jazyk\u016F a . Obchodn\u00ED zna\u010Dku Miranda vlastn\u00ED Firma Research Software Ltd. of England. Miranda byl prvn\u00EDm \u010Dist\u011B funkcion\u00E1ln\u00EDm jazykem, kter\u00FD byl komer\u010Dn\u011B podporov\u00E1n."@cs . "Miranda\u306F\u3001\u9045\u5EF6\u8A55\u4FA1\u65B9\u5F0F\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u3002\u4F5C\u8005\u30C7\u30D3\u30C3\u30C9\u30FB\u30BF\u30FC\u30CA\u30FC\uFF08David Turner\uFF09\u306B\u3088\u308B\u4EE5\u524D\u306E\u8A00\u8A9ESASL\u3084KRC\u306E\u5F8C\u7D99\u3067\u3082\u3042\u308A\u3001\u307E\u305FML\u3084Hope\u306E\u5F71\u97FF\u3082\u53D7\u3051\u3066\u3044\u308B\u3002\u30A4\u30AE\u30EA\u30B9\u306E\u30EA\u30B5\u30FC\u30C1\u30FB\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u793E\uFF08Research Software Ltd.\uFF09\u304C\u8CA9\u58F2\u3057\u3066\u304A\u308A\u3001\u540C\u793E\u306E\u5546\u6A19\u3067\u3082\u3042\u308B\u3002\u7814\u7A76\u76EE\u7684\u3067\u306F\u306A\u3044\u5546\u7528\u3092\u76EE\u6307\u3057\u305F\u6700\u521D\u306E\u7D14\u7C8B\u95A2\u6570\u578B\u8A00\u8A9E\u3067\u3042\u3063\u305F\u3002 \u3088\u304F\u3042\u308B\u4F8B\u984C\u3092\u89E3\u304F\u30D7\u30ED\u30B0\u30E9\u30E0\u306B\u95A2\u3057\u3066\u8A00\u3048\u3070\u3001Miranda\u306E\u30B3\u30FC\u30C9\u306F\uFF08APL\u306A\u3069\u3092\u5225\u3068\u3059\u308C\u3070\uFF09\u307B\u3068\u3093\u3069\u306E\u4E3B\u6D41\u306E\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3088\u308A\u3082\u7C21\u5358\u3067\u77ED\u304F\u8868\u73FE\u3067\u304D\u3001\u4ED6\u306E\u95A2\u6570\u578B\u8A00\u8A9E\u3068\u540C\u69D8\u3001\u4FE1\u983C\u6027\u306E\u9AD8\u3044\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u958B\u767A\u304C\u547D\u4EE4\u578B\u8A00\u8A9E\u306B\u6BD4\u3079\u3066\u77ED\u671F\u9593\u3067\u53EF\u80FD\u306B\u306A\u3063\u305F\u3068\u3044\u3046\u5831\u544A\u304C\u3042\u308B\u3002 1985\u5E74\u306B\u767B\u5834\u3057\u305F\u3002\u51E6\u7406\u7CFB\u306E\u5B9F\u88C5\u3068\u3057\u3066\u306FUnix\u7CFB\u5411\u3051\u306EC\u8A00\u8A9E\u3067\u5B9F\u88C5\u3055\u308C\u305F\u3082\u306E\u306E\u307F\u304C\u3042\u308B\u3002\u5F8C\u767A\u306EHaskell\u306F\u591A\u304F\u306E\u9762\u3067Miranda\u306E\u5F71\u97FF\u3092\u53D7\u3051\u3066\u3044\u308B\u3002"@ja . . . . . . . . . . . . "1100495678"^^ . . . . . . "93267"^^ . . . . "\uBBF8\uB780\uB2E4 (\uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4)"@ko . . . "Miranda (lenguaje de programaci\u00F3n)"@es . . . . . . "Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported. Miranda was first released in 1985 as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. It had a strong influence on the later Haskell programming language. In 2020 a version of Miranda was released as open source under a BSD licence. The codebase has been updated to conform to modern C standards (C11/C18) and to generate 64-bit binaries. This has been tested on operating systems including Debian, Ubuntu, WSL/Ubuntu, and MacOS (Catalina)."@en . . "Miranda fue desarrollado entre los a\u00F1os 1985 y 1986 por . Se trata de un lenguaje de programaci\u00F3n funcional sucesor de SASL y . El principal objetivo de este lenguaje era el desarrollar una versi\u00F3n comercial de un lenguaje funcional: \n* no-estricto. \n* puramente funcional. Fue comercializado por Research Software Ltd. de Inglaterra, la cual registr\u00F3 la palabra 'Miranda' como marca comercial. Fue el primer lenguaje puramente funcional en ser destinado al uso comercial y no al acad\u00E9mico. Es raro la necesidad del uso de corchetes y no es necesario el uso de terminaciones de instrucci\u00F3n "@es . . . "Miranda (Programmiersprache)"@de . "Miranda is a lazy, purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope. It was produced by Research Software Ltd. of England (which holds a trademark on the name Miranda) and was the first purely functional language to be commercially supported. Miranda was first released in 1985 as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. It had a strong influence on the later Haskell programming language."@en . . "Research Software Ltd"@en . . "\uBBF8\uB780\uB2E4(Miranda)\uB294 \uAC00 \uADF8\uC758 \uCD08\uAE30 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4 \uACFC \uC758 \uD6C4\uACC4\uC790\uB85C\uC11C \uC124\uACC4\uD55C \uB290\uAE0B\uD55C \uC21C\uC218\uD55C \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC774\uBA70, ML\uACFC \uB85C\uBD80\uD130 \uBA87\uBA87 \uAC1C\uB150\uB4E4\uC744 \uAC00\uC838\uC654\uB2E4. \uC601\uAD6D\uC758 \uB9AC\uC11C\uCE58 \uC18C\uD504\uD2B8\uC6E8\uC5B4 Ltd.\uC758 \uC0C1\uD488\uC774\uC790, \u2018\uBBF8\uB780\uB2E4\u2019(Miranda)\uB77C\uB294 \uC0C1\uD45C\uC758 \uADF8\uAC83\uC740 \uC0C1\uC5C5\uC801\uC73C\uB85C \uC9C0\uC6D0\uB41C \uCD5C\uCD08\uC758 \uD568\uC218\uD615 \uC5B8\uC5B4\uC600\uB2E4. \uB300\uBD80\uBD84\uC758 \uC758 \uD574\uACB0\uC740 APL\uACFC \uB2E4\uB978 \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uC744 \uC81C\uC678\uD558\uACE0 \uB300\uBD80\uBD84\uC758 \uC8FC\uB958 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uBCF4\uB2E4 \uBBF8\uB780\uB2E4\uB85C \uB354 \uAC04\uACB0\uD558\uACE0 \uB354 \uB2E8\uC21C\uD558\uAC8C \uD560 \uC218 \uC788\uB2E4. \uB610 \uBBF8\uB780\uB2E4 \uC0AC\uC6A9\uC790\uB4E4\uC740, \uBBF8\uB780\uB2E4\uB294 \uC774\uC804\uC5D0 \uC0AC\uC6A9\uD55C \uD544\uC218\uC801\uC778 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uACFC \uD568\uAED8 \uD558\uB294 \uAC83\uBCF4\uB2E4 \uB354 \uC9E7\uC740 \uAC1C\uBC1C\uC2DC\uAC04\uC73C\uB85C \uB354\uC6B1 \uD655\uC2E4\uD55C \uD504\uB85C\uADF8\uB7A8\uB4E4\uC744 \uB9CC\uB4E4 \uC218 \uC788\uAC8C \uD55C\uB2E4\uACE0 \uB9D0\uD55C\uB2E4. 1987\uB144\uACFC 1989\uB144\uC5D0 \uB2E4\uC74C\uC758 \uCD9C\uC2DC\uC640 \uD568\uAED8, \uC720\uB2C9\uC2A4 \uD615\uD0DC\uC758 \uC6B4\uC601 \uCCB4\uC81C\uB97C \uC704\uD558\uC5EC C\uB85C \uBE60\uB978 \uC778\uD130\uD504\uB9AC\uD130\uB85C\uC11C, \uCD5C\uCD08\uB85C 1985\uB144\uC5D0 \uCD9C\uC2DC\uB418\uC5C8\uB2E4. \uCD5C\uADFC\uC758 \uD558\uC2A4\uCF08 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB294 \uBBF8\uB780\uB2E4\uC640 \uB9CE\uC740 \uBD80\uBD84\uC5D0\uC11C \uBE44\uC2B7\uD558\uB2E4."@ko . . "Miranda\uFF0C\u662F\u4E00\u7A2E\u60F0\u6027\u6C42\u503C\u7684\u7EAF\u51FD\u6570\u5F0F\u7DE8\u7A0B\u8A9E\u8A00\uFF0C\u7531\u82F1\u570B\u5B78\u8005\u6240\u8A2D\u8A08\u3002\u63A1\u7528\u4F86\u81EAML\u8207Hope\u8BED\u8A00\u7684\u6982\u5FF5\uFF0C\u4ED6\u7528\u6B64\u4F86\u4F5C\u70BA\u4ED6\u5148\u524D\u6240\u8A2D\u8A08\u7684SASL\u8207KRC\u8BED\u8A00\u7684\u5F8C\u7E7C\u8005\u3002\u9019\u500B\u7A0B\u5F0F\u8A9E\u8A00\u7531\u82F1\u570B\u7684\u7814\u7A76\u8EDF\u9AD4\u516C\u53F8\u51FA\u54C1\uFF0C\u9019\u9593\u516C\u53F8\u64C1\u6709\u9019\u500B\u7A0B\u5F0F\u8A9E\u8A00\u7684\u5546\u6A19\u6B0A\u3002 Miranda\u57281985\u5E74\u9996\u6B21\u767C\u8868\u4EE5C\u8A9E\u8A00\u5BEB\u6210\u7684\u76F4\u8B6F\u5668\uFF0C\u80FD\u5920\u5728\u985EUNIX\u7CFB\u7D71\u4E0A\u904B\u4F5C\u3002\u96A8\u5F8C\u57281987\u5E74\u82071989\u5E74\u767C\u884C\u4E86\u66F4\u65B0\u7248\u3002Miranda\u5F37\u70C8\u7684\u5F71\u97FF\u4E86\u5F8C\u4F86\u767C\u5C55\u51FA\u7684Haskell\u8A9E\u8A00\u3002"@zh . . "Miranda (\u7F16\u7A0B\u8BED\u8A00)"@zh . . . . . . . . . "Miranda \u2014 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u0441\u043E\u0437\u0434\u0430\u043D\u043D\u044B\u0439 \u0432 1985 \u0433\u043E\u0434\u0443 \u0414\u044D\u0432\u0438\u0434\u043E\u043C \u0422\u0451\u0440\u043D\u0435\u0440\u043E\u043C \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u043E\u0433\u043E \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u044F\u0437\u044B\u043A\u0430. \u0418\u043C\u0435\u0435\u0442 \u0441\u0442\u0440\u043E\u0433\u0443\u044E \u043F\u043E\u043B\u0438\u043C\u043E\u0440\u0444\u043D\u0443\u044E \u0441\u0438\u0441\u0442\u0435\u043C\u0443 \u0442\u0438\u043F\u043E\u0432, \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0442\u0438\u043F\u044B \u0434\u0430\u043D\u043D\u044B\u0445 \u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u0435\u043B\u044F. \u041A\u0430\u043A \u0438 \u044F\u0437\u044B\u043A ML, \u043F\u0440\u0435\u043F\u043E\u0434\u0430\u0451\u0442\u0441\u044F \u0432\u043E \u043C\u043D\u043E\u0433\u0438\u0445 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430\u0445. \u0424\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u044B \u0441\u0442\u0440\u043E\u044F\u0442\u0441\u044F \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u043A\u0430\u0440\u0440\u0438\u043D\u0433\u0430 (\u0447\u0430\u0441\u0442\u0438\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u0438\u044F) \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044E\u0449\u0438\u0445 \u0444\u0443\u043D\u043A\u0446\u0438\u0439. \u041E\u0431\u043B\u0430\u0434\u0430\u0435\u0442 \u043B\u0435\u043D\u0438\u0432\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u043E\u0439. \u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u044F\u0435\u0442 \u0441\u043E\u0431\u043E\u0439 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u0439. \u041F\u0440\u0435\u0435\u043C\u043D\u0438\u043A \u044F\u0437\u044B\u043A\u043E\u0432 SASL \u0438 Kent Recursive Calculator, \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0449\u0438\u0439 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u043A\u043E\u043D\u0446\u0435\u043F\u0446\u0438\u0438 ML \u0438 Hope. \u041E\u043A\u0430\u0437\u0430\u043B \u0431\u043E\u043B\u044C\u0448\u043E\u0435 \u0432\u043B\u0438\u044F\u043D\u0438\u0435 \u043D\u0430 \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0447\u0438\u043A\u043E\u0432 \u044F\u0437\u044B\u043A\u0430 Haskell. \u041D\u0430\u0437\u0432\u0430\u043D\u0438\u0435 \u044F\u0437\u044B\u043A\u0430 \u043F\u0440\u043E\u0438\u0441\u0445\u043E\u0434\u0438\u0442 \u043E\u0442 \u0438\u043C\u0435\u043D\u0438 \u0433\u0435\u0440\u043E\u0438\u043D\u0438 \u043F\u044C\u0435\u0441\u044B \u00AB\u0411\u0443\u0440\u044F\u00BB \u0423\u0438\u043B\u044C\u044F\u043C\u0430 \u0428\u0435\u043A\u0441\u043F\u0438\u0440\u0430, \u041C\u0438\u0440\u0430\u043D\u0434\u044B. \u0412 \u043D\u0435\u0439 \u043E\u043D\u0430 \u043F\u0440\u043E\u0438\u0437\u043D\u043E\u0441\u0438\u0442 \u0444\u0440\u0430\u0437\u0443 \u00AB\u041E \u0434\u0438\u0432\u043D\u044B\u0439 \u043D\u043E\u0432\u044B\u0439 \u043C\u0438\u0440!\u00BB, \u0447\u0442\u043E, \u043F\u043E \u0441\u043B\u043E\u0432\u0430\u043C \u0441\u043E\u0437\u0434\u0430\u0442\u0435\u043B\u0435\u0439, \u0434\u043E\u043B\u0436\u043D\u043E \u043F\u0440\u0438\u043D\u0435\u0441\u0442\u0438 \u00AB\u0434\u0438\u0432\u043D\u044B\u0439 \u043D\u043E\u0432\u044B\u0439 \u043C\u0438\u0440 \u0432 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0435 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435\u00BB. \u0422\u0430\u043A\u0436\u0435 \u0433\u0435\u0440\u043E\u0438\u043D\u044F \u0438\u0437\u043E\u0431\u0440\u0430\u0436\u0435\u043D\u0430 \u043D\u0430 \u043B\u043E\u0433\u043E\u0442\u0438\u043F\u0435 \u044F\u0437\u044B\u043A\u0430."@ru . . . . . "\u041C\u0438\u0440\u0430\u043D\u0434\u0430 (\u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)"@ru . "Miranda \u00E8 un linguaggio di programmazione puramente funzionale sviluppato da come successore dei suoi precedenti linguaggi di programmazione SASL e utilizzando alcuni concetti di ML ed . Commercializzato dalla Research Software Ltd. of England, di cui la parola \"Miranda\" \u00E8 un marchio di fabbrica, \u00E8 stato il primo linguaggio funzionale destinato ad un uso commerciale invece che solo accademico. La soluzione di molti problemi di esempio \u00E8 pi\u00F9 breve e semplice in Miranda che nella maggior parte degli altri diffusi linguaggi di programmazione, con la possibile eccezione dell'APL, e, come per altri linguaggi funzionali, i suoi utenti riferiscono di poter produrre programmi pi\u00F9 affidabili con cicli di sviluppo pi\u00F9 brevi rispetto a quelli dei linguaggi imperativi usati in precedenza. \u00C8 stato pubblicato nel 1985, ed \u00E8 stato scritto per esso (in linguaggio C) un solo interprete per sistemi Unix. Haskell, un linguaggio sviluppato successivamente, \u00E8 simile per molti versi a Miranda."@it . . . "Miranda"@en . . . . "Miranda (programspr\u00E5k)"@sv . . "\uBBF8\uB780\uB2E4(Miranda)\uB294 \uAC00 \uADF8\uC758 \uCD08\uAE30 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4 \uACFC \uC758 \uD6C4\uACC4\uC790\uB85C\uC11C \uC124\uACC4\uD55C \uB290\uAE0B\uD55C \uC21C\uC218\uD55C \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uC774\uBA70, ML\uACFC \uB85C\uBD80\uD130 \uBA87\uBA87 \uAC1C\uB150\uB4E4\uC744 \uAC00\uC838\uC654\uB2E4. \uC601\uAD6D\uC758 \uB9AC\uC11C\uCE58 \uC18C\uD504\uD2B8\uC6E8\uC5B4 Ltd.\uC758 \uC0C1\uD488\uC774\uC790, \u2018\uBBF8\uB780\uB2E4\u2019(Miranda)\uB77C\uB294 \uC0C1\uD45C\uC758 \uADF8\uAC83\uC740 \uC0C1\uC5C5\uC801\uC73C\uB85C \uC9C0\uC6D0\uB41C \uCD5C\uCD08\uC758 \uD568\uC218\uD615 \uC5B8\uC5B4\uC600\uB2E4. \uB300\uBD80\uBD84\uC758 \uC758 \uD574\uACB0\uC740 APL\uACFC \uB2E4\uB978 \uD568\uC218\uD615 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uC744 \uC81C\uC678\uD558\uACE0 \uB300\uBD80\uBD84\uC758 \uC8FC\uB958 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uBCF4\uB2E4 \uBBF8\uB780\uB2E4\uB85C \uB354 \uAC04\uACB0\uD558\uACE0 \uB354 \uB2E8\uC21C\uD558\uAC8C \uD560 \uC218 \uC788\uB2E4. \uB610 \uBBF8\uB780\uB2E4 \uC0AC\uC6A9\uC790\uB4E4\uC740, \uBBF8\uB780\uB2E4\uB294 \uC774\uC804\uC5D0 \uC0AC\uC6A9\uD55C \uD544\uC218\uC801\uC778 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB4E4\uACFC \uD568\uAED8 \uD558\uB294 \uAC83\uBCF4\uB2E4 \uB354 \uC9E7\uC740 \uAC1C\uBC1C\uC2DC\uAC04\uC73C\uB85C \uB354\uC6B1 \uD655\uC2E4\uD55C \uD504\uB85C\uADF8\uB7A8\uB4E4\uC744 \uB9CC\uB4E4 \uC218 \uC788\uAC8C \uD55C\uB2E4\uACE0 \uB9D0\uD55C\uB2E4. 1987\uB144\uACFC 1989\uB144\uC5D0 \uB2E4\uC74C\uC758 \uCD9C\uC2DC\uC640 \uD568\uAED8, \uC720\uB2C9\uC2A4 \uD615\uD0DC\uC758 \uC6B4\uC601 \uCCB4\uC81C\uB97C \uC704\uD558\uC5EC C\uB85C \uBE60\uB978 \uC778\uD130\uD504\uB9AC\uD130\uB85C\uC11C, \uCD5C\uCD08\uB85C 1985\uB144\uC5D0 \uCD9C\uC2DC\uB418\uC5C8\uB2E4. \uCD5C\uADFC\uC758 \uD558\uC2A4\uCF08 \uD504\uB85C\uADF8\uB798\uBC0D \uC5B8\uC5B4\uB294 \uBBF8\uB780\uB2E4\uC640 \uB9CE\uC740 \uBD80\uBD84\uC5D0\uC11C \uBE44\uC2B7\uD558\uB2E4."@ko . "\u0397 Miranda \u03B5\u03AF\u03BD\u03B1\u03B9 \u03BC\u03B9\u03B1 \u03BF\u03BA\u03BD\u03B7\u03C1\u03AE, \u03B1\u03BC\u03B9\u03B3\u03CE\u03C2 \u03C3\u03C5\u03BD\u03B1\u03C1\u03C4\u03B7\u03C3\u03B9\u03B1\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD, \u03B7 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03C3\u03C7\u03B5\u03B4\u03B9\u03AC\u03C3\u03C4\u03B7\u03BA\u03B5 \u03B1\u03C0\u03CC \u03C4\u03BF\u03BD David Turner \u03C3\u03B1\u03BD \u03B4\u03B9\u03AC\u03B4\u03BF\u03C7\u03BF\u03C2 \u03C4\u03B7\u03C2 SASL \u03BA\u03B1\u03B9 \u03C4\u03B7\u03C2 KRC, \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BA\u03AC\u03C0\u03BF\u03B9\u03B5\u03C2 \u03B9\u03B4\u03AD\u03B5\u03C2 \u03C4\u03B7\u03C2 ML \u03BA\u03B1\u03B9 \u03C4\u03B7\u03C2 Hope. \u0391\u03C0\u03BF\u03C4\u03AD\u03BB\u03B5\u03C3\u03B5 \u03C0\u03C1\u03BF\u03CA\u03CC\u03BD \u03C4\u03B7\u03C2 \u03B1\u03B3\u03B3\u03BB\u03B9\u03BA\u03AE\u03C2 \u03B5\u03C4\u03B1\u03B9\u03C1\u03B5\u03AF\u03B1\u03C2 Research Software Ltd. (\u03C0\u03BF\u03C5 \u03AD\u03C7\u03B5\u03B9 \u03BA\u03B1\u03B9 \u03C4\u03BF \u03B5\u03BC\u03C0\u03BF\u03C1\u03B9\u03BA\u03CC \u03C3\u03AE\u03BC\u03B1 Miranda) \u03BA\u03B1\u03B9 \u03AE\u03C4\u03B1\u03BD \u03B7 \u03C0\u03C1\u03CE\u03C4\u03B7 \u03B1\u03BC\u03B9\u03B3\u03CE\u03C2 \u03C3\u03C5\u03BD\u03B1\u03C1\u03C4\u03B7\u03C3\u03B9\u03B1\u03BA\u03AE \u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD \u03BC\u03B5 \u03B5\u03BC\u03C0\u03BF\u03C1\u03B9\u03BA\u03AE \u03C5\u03C0\u03BF\u03C3\u03C4\u03AE\u03C1\u03B9\u03BE\u03B7."@el . . . . . . "Miranda (programming language)"@en . . . . . . . . . . . . . . . . . "Miranda fue desarrollado entre los a\u00F1os 1985 y 1986 por . Se trata de un lenguaje de programaci\u00F3n funcional sucesor de SASL y . El principal objetivo de este lenguaje era el desarrollar una versi\u00F3n comercial de un lenguaje funcional: \n* no-estricto. \n* puramente funcional. Fue comercializado por Research Software Ltd. de Inglaterra, la cual registr\u00F3 la palabra 'Miranda' como marca comercial. Fue el primer lenguaje puramente funcional en ser destinado al uso comercial y no al acad\u00E9mico. La soluci\u00F3n a muchos ejemplos de programas resulta m\u00E1s simple en Miranda que en la mayor\u00EDa de los lenguajes de programaci\u00F3n excepto quiz\u00E1s APL, y como otros lenguajes funcionales, sus usuarios comentan que este les permite producir programas fiables en un menor per\u00EDodo en comparaci\u00F3n con otros lenguajes de programaci\u00F3n usados anteriormente. Sali\u00F3 por primera vez en 1985 como un int\u00E9rprete r\u00E1pido en C para los sistemas operativos Unix, con sucesivas entregas en 1987 y 1989. El \u00FAltimo lenguaje de programaci\u00F3n Haskell es similar un muchos aspectos a Miranda. Todos los lenguajes de la familia de MIRANDA se caracterizan porque los argumentos se pasan a las funciones sin evaluar: el argumento de una funci\u00F3n se eval\u00FAa cuando la funci\u00F3n necesita su valor. Un programa en este tipo de lenguajes (llamado script) consiste en un conjunto de declaraciones de ecuaciones recursivas y datos de tipo algebraico. La palabra set es importante aqu\u00ED: el orden de las ecuaciones es, en general, irrelevante, y no es necesario definir una entidad inicial para su uso. Es raro la necesidad del uso de corchetes y no es necesario el uso de terminaciones de instrucci\u00F3n Los comentarios se inician utilizando los caracteres \u2018||\u2019 y continua hasta el final de la l\u00EDnea. Una convenci\u00F3n alternativa de comentarios es la que afecta a todo el fichero fuente, conocida como \u201Cprogramaci\u00F3n literaria\u201D, en la cual todo l\u00EDnea es comentario a no ser que empiece por el signo\u2019 >\u2019 Los tipos b\u00E1sicos de datos de Miranda son char, num y bool. Una cadena de caracteres no es m\u00E1s que una lista de chars, mientras que num puede representar tanto a enteros como a reales sin necesidad de conversiones expl\u00EDcitas. Las tuplas son secuencias de elementos de distintos tipos, an\u00E1logo a los registros de los lenguajes parecidos a Pascal, y son escritos entre par\u00E9ntesis this_employee = (\"Garc\u00EDa, Paco\", 10560, False, 35) La lista enlazada en cambio, es la estructura de datos m\u00E1s usada en Miranda. Se escribe entre corchetes y separa cada elemento por comas, los cuales deben de ser del mismo tipo. week_days = [\"Mon\",\"Tue\",\"Wed\",\"Thur\",\"Fri\"] La concatenaci\u00F3n de listas es mediante \u2018++\u2019, la diferencia con \u2018--\u2018, la construcci\u00F3n con \u2018:\u2019 comprobar el tama\u00F1o con \u2018#\u2019 y devolver el elemento de cierta posici\u00F3n de la lista (indexaci\u00F3n) mediante \u2018!\u2019 days = week_days ++ [\"Sat\",\"Sun\"] days = \"Nil\":days days!0 \u2192 \"Nil\" days = days -- [\"Nil\"] #days \u2192 7 Existen muchos atajos para construir listas: \u2018..\u2019 es usado para listas cuyos elementos forman un serie aritm\u00E9tica, con la posibilidad de especificar un orden de incremento a parte de en 1: fac n = product [1..n] odd_sum = sum [1,3..100] Constructores de listas m\u00E1s generales y potentes son aportados por \u201Clist comprehensions\u201D (anteriormente conocido como \u201Cexpresiones ZF\u201D), el cual viene de dos formas: una expresi\u00F3n aplicada una serie de t\u00E9rminos: squares = [ n * n | n <- [1..] ] (la cual se lee como: lista de cuadrados de n donde n is tomado de la lista de todos los enteros positives) ) y series donde cada t\u00E9rmino es una funci\u00F3n del anterior: powers_of_2 = [ n | n <- 1, 2*n .. ] Como estos dos ejemplos muestran, Miranda permite listas con un n\u00FAmero infinito de elementos, de los cuales el m\u00E1s simple es la lista de todos los enteros positivos: [1..] La notaci\u00F3n para funciones es simplemente anteponer el nombre de esta a sus par\u00E1metros, como en sin x. En Miranda, como en muchos otros lenguajes puramente funcionales, las funciones son ciudadanos de primera clase, lo que quiere decir que pueden ser pasadas como par\u00E1metros de otras funciones, devueltas como resultado o incluidas como elementos de estructuras de datos. Y es m\u00E1s, una funci\u00F3n que requiere dos o m\u00E1s par\u00E1metros puede ser \u201Cparcialmente parametrizada\u201D, no teniendo que usar todos los par\u00E1metros. Esto da como resultado otra funci\u00F3n que, dando los par\u00E1metros que permanecen, devolver\u00E1 un resultado. Por ejemplo: add a b = a + b increment = add 1 Es una forma aproximada de crear una funci\u00F3n \u201Cincremento\u201D la cual suma 1 a sus argumentos. En realidad, add 4 7 toma la funci\u00F3n de dos par\u00E1metros add , la aplica a 4 obteniendo un funci\u00F3n de un solo par\u00E1metro que suma 4 a su argumento, y entonces la aplica a 7. Cualquier funci\u00F3n que tome dos par\u00E1metros puede transformarse en un operador infijo (por ejemplo, dado la definici\u00F3n de la funci\u00F3n anterior add, el t\u00E9rmino $add es del todo equivalente al operador +) y cada operador infijo que tome dos par\u00E1metros puede expresarse como su funci\u00F3n correspondiente. As\u00ED: increment = (+) 1 es la forma m\u00E1s simple de crear la funci\u00F3n que suma 1 a su argumento. Similarmente, en half = (/ 2) reciprocal = (1 /) genera una funci\u00F3n de dos par\u00E1metros simples. El int\u00E9rprete entiende en cada caso cual de los dos operadores de la divisi\u00F3n son aportados, teniendo funciones que respectivamente dividen por 2 y devuelven el inverso. A pesar de que Miranda es un lenguaje de programaci\u00F3n fuertemente , este no insiste en la declaraci\u00F3n expl\u00EDcita de tipos. Si el tipo de un funci\u00F3n no se declara expl\u00EDcitamente, el int\u00E9rprete lo deduce de los tipos de sus par\u00E1metros y como son usados dentro de la funci\u00F3n. Adem\u00E1s de los tipos b\u00E1sicos (char, num, bool), se incluye el tipo \u201Cnada\u201D donde el tipo del par\u00E1metro no importa, como en la funci\u00F3n : rev [] = [] rev (a:x) = rev x ++ [a] que puede ser aplicada a una lista de cualquier tipo de datos, para la que la declaraci\u00F3n expl\u00EDcita del tipo seria: rev :: [*] -> [*] Finalmente, tiene un mecanismo para crear y manejar m\u00F3dulos de programa cuyas funciones internas son transparentes para las llamadas que otros programas hacen a estos m\u00F3dulos. \n* Datos: Q780803"@es . . . . . . . . . . . . . . . "Miranda\uFF0C\u662F\u4E00\u7A2E\u60F0\u6027\u6C42\u503C\u7684\u7EAF\u51FD\u6570\u5F0F\u7DE8\u7A0B\u8A9E\u8A00\uFF0C\u7531\u82F1\u570B\u5B78\u8005\u6240\u8A2D\u8A08\u3002\u63A1\u7528\u4F86\u81EAML\u8207Hope\u8BED\u8A00\u7684\u6982\u5FF5\uFF0C\u4ED6\u7528\u6B64\u4F86\u4F5C\u70BA\u4ED6\u5148\u524D\u6240\u8A2D\u8A08\u7684SASL\u8207KRC\u8BED\u8A00\u7684\u5F8C\u7E7C\u8005\u3002\u9019\u500B\u7A0B\u5F0F\u8A9E\u8A00\u7531\u82F1\u570B\u7684\u7814\u7A76\u8EDF\u9AD4\u516C\u53F8\u51FA\u54C1\uFF0C\u9019\u9593\u516C\u53F8\u64C1\u6709\u9019\u500B\u7A0B\u5F0F\u8A9E\u8A00\u7684\u5546\u6A19\u6B0A\u3002 Miranda\u57281985\u5E74\u9996\u6B21\u767C\u8868\u4EE5C\u8A9E\u8A00\u5BEB\u6210\u7684\u76F4\u8B6F\u5668\uFF0C\u80FD\u5920\u5728\u985EUNIX\u7CFB\u7D71\u4E0A\u904B\u4F5C\u3002\u96A8\u5F8C\u57281987\u5E74\u82071989\u5E74\u767C\u884C\u4E86\u66F4\u65B0\u7248\u3002Miranda\u5F37\u70C8\u7684\u5F71\u97FF\u4E86\u5F8C\u4F86\u767C\u5C55\u51FA\u7684Haskell\u8A9E\u8A00\u3002"@zh . . . . . . . . . . . . "Miranda \u2014 \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0439 \u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u0441\u043E\u0437\u0434\u0430\u043D\u043D\u044B\u0439 \u0432 1985 \u0433\u043E\u0434\u0443 \u0414\u044D\u0432\u0438\u0434\u043E\u043C \u0422\u0451\u0440\u043D\u0435\u0440\u043E\u043C \u0432 \u043A\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0441\u0442\u0430\u043D\u0434\u0430\u0440\u0442\u043D\u043E\u0433\u043E \u0444\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u044F\u0437\u044B\u043A\u0430. \u0418\u043C\u0435\u0435\u0442 \u0441\u0442\u0440\u043E\u0433\u0443\u044E \u043F\u043E\u043B\u0438\u043C\u043E\u0440\u0444\u043D\u0443\u044E \u0441\u0438\u0441\u0442\u0435\u043C\u0443 \u0442\u0438\u043F\u043E\u0432, \u043F\u043E\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 \u0442\u0438\u043F\u044B \u0434\u0430\u043D\u043D\u044B\u0445 \u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u0442\u0435\u043B\u044F. \u041A\u0430\u043A \u0438 \u044F\u0437\u044B\u043A ML, \u043F\u0440\u0435\u043F\u043E\u0434\u0430\u0451\u0442\u0441\u044F \u0432\u043E \u043C\u043D\u043E\u0433\u0438\u0445 \u0443\u043D\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u0430\u0445. \u0424\u0443\u043D\u043A\u0446\u0438\u043E\u043D\u0430\u043B\u044C\u043D\u044B\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u044B \u0441\u0442\u0440\u043E\u044F\u0442\u0441\u044F \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u043A\u0430\u0440\u0440\u0438\u043D\u0433\u0430 (\u0447\u0430\u0441\u0442\u0438\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u0438\u044F) \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044E\u0449\u0438\u0445 \u0444\u0443\u043D\u043A\u0446\u0438\u0439. \u041E\u0431\u043B\u0430\u0434\u0430\u0435\u0442 \u043B\u0435\u043D\u0438\u0432\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u043E\u0439. \u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0430 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u044F\u0435\u0442 \u0441\u043E\u0431\u043E\u0439 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u0439. \u041F\u0440\u0435\u0435\u043C\u043D\u0438\u043A \u044F\u0437\u044B\u043A\u043E\u0432 SASL \u0438 Kent Recursive Calculator, \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0449\u0438\u0439 \u043D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u043A\u043E\u043D\u0446\u0435\u043F\u0446\u0438\u0438 ML \u0438 Hope. \u041E\u043A\u0430\u0437\u0430\u043B \u0431\u043E\u043B\u044C\u0448\u043E\u0435 \u0432\u043B\u0438\u044F\u043D\u0438\u0435 \u043D\u0430 \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0447\u0438\u043A\u043E\u0432 \u044F\u0437\u044B\u043A\u0430 Haskell."@ru . "Miranda \u00E4r ett funktionellt programspr\u00E5k som skapades i mitten av 1980-talet av britten David Turner."@sv . . "Miranda (\u03B3\u03BB\u03CE\u03C3\u03C3\u03B1 \u03C0\u03C1\u03BF\u03B3\u03C1\u03B1\u03BC\u03BC\u03B1\u03C4\u03B9\u03C3\u03BC\u03BF\u03CD)"@el .