@prefix dbpprop: .
dbpprop:influenced .
@prefix foaf: .
foaf:homepage ;
dbpprop:name "Miranda"@en .
@prefix owl: .
owl:sameAs ,
;
foaf:page ;
dbpprop:reference .
@prefix ns3: .
dbpprop:reference ns3:bignum ,
,
.
@prefix rdfs: .
rdfs:label "Miranda (programovac\u00ED jazyk)"@cs ,
"\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 ,
"Lenguaje de programaci\u00F3n Miranda"@es ,
"Miranda"@ja ,
"Miranda (programspr\u00E5k)"@sv ,
"Miranda (Programmiersprache)"@de ,
"Miranda (programming language)"@en ,
"Miranda (linguagem de programa\u00E7\u00E3o)"@pt ;
dbpprop:abstract "Miranda is a non-strict 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. A product of Research Software Ltd. of England, of which the word 'Miranda' is a trademark, it was the first purely functional language to be commercially supported. The solution to most example problems is briefer and simpler in Miranda than in most mainstream programming languages except maybe APL, and, like other functional languages, its users report that it enables them to produce more reliable programs with shorter development times than with the imperative programming languages they had previously used. It was first released in 1985, as a fast interpreter in C for Unix-flavour operating systems, with subsequent releases in 1987 and 1989. The later Haskell programming language is similar in many ways to Miranda."@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 \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\u3002David Turner \u304C\u81EA\u8EAB\u304C\u4EE5\u524D\u306B\u958B\u767A\u3057\u305F\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E SASL \u3084 KRC \u306E\u5F8C\u7D99\u3068\u3057\u3066\u3001ML \u3084 Hope\u306E\u30B3\u30F3\u30BB\u30D7\u30C8\u3092\u4E00\u90E8\u5229\u7528\u3057\u3066\u958B\u767A\u3057\u305F\u3002\u30A4\u30AE\u30EA\u30B9\u306E Research Software Ltd. \u304C\u8CA9\u58F2\u3057\u3066\u304A\u308A\u3001'Miranda' \u306F\u540C\u793E\u306E\u5546\u6A19\u3067\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\u306FAPL\u306B\u306F\u6575\u308F\u306A\u3044\u3082\u306E\u306E\u3001\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\u304C\u3001UNIX\u7CFB\u30AA\u30DA\u30EC\u30FC\u30C6\u30A3\u30F3\u30B0\u30B7\u30B9\u30C6\u30E0\u5411\u3051\u306BC\u8A00\u8A9E\u3067\u5B9F\u88C5\u3055\u308C\u305F\u51E6\u7406\u7CFB\u3057\u304B\u306A\u3044\u3002\u5F8C\u767A\u306E Haskell \u306F\u591A\u304F\u306E\u9762\u3067 Miranda \u306B\u4F3C\u3066\u3044\u308B\u3002"@ja ,
"Miranda je v informatice \u010Dist\u011B funkcion\u00E1ln\u00ED programovac\u00ED jazyk s l\u00EDn\u00FDm vyhodnocov\u00E1n\u00EDm, kter\u00FD navrhl David Turner jako n\u00E1stupce jeho p\u0159edchoz\u00EDch programovac\u00EDch jazyk\u016F SASL a KRC, kter\u00E9 vyu\u017E\u00EDvaj\u00ED ur\u010Dit\u00FDch koncept\u016F jazyk\u016F ML a Hope. 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 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 ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm fr\u00FCher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope 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-System 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 ,
"Miranda fue desarrollado entre los a\u00F1os 1985 y 1986 por David Turner. Se trata de un lenguaje de programaci\u00F3n funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versi\u00F3n comercial de un lenguaje funcional: no-estricto. 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 periodo de tiempo en comparaci\u00F3n con el otros lenguajes de programaci\u00F3n usados anteriormente Sali\u00F3 por primera vez en 1985 como un interprete 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 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 (endif,\u2026) 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 \u201Cliterate srcript\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\u00EDcita 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 en cambio, es la estructura de datos m\u00E1s usada en Miranda. Se escribe entre corchetes y sapera 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.. ] ]) 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 termino $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 tipado, este no insiste en la declaraci\u00F3n explicita 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 lista inversa: rev = rev = 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."@es ,
"Miranda\u00A0\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 KRC, \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 ;
rdfs:comment "Miranda\u00A0\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."@ru ,
"Miranda fue desarrollado entre los a\u00F1os 1985 y 1986 por David Turner. Se trata de un lenguaje de programaci\u00F3n funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versi\u00F3n comercial de un lenguaje funcional: no-estricto. puramente funcional. Fue comercializado por Research Software Ltd. de Inglaterra, la cual registr\u00F3 la palabra 'Miranda' como marca comercial."@es ,
"Miranda je v informatice \u010Dist\u011B funkcion\u00E1ln\u00ED programovac\u00ED jazyk s l\u00EDn\u00FDm vyhodnocov\u00E1n\u00EDm, kter\u00FD navrhl David Turner jako n\u00E1stupce jeho p\u0159edchoz\u00EDch programovac\u00EDch jazyk\u016F SASL a KRC, kter\u00E9 vyu\u017E\u00EDvaj\u00ED ur\u010Dit\u00FDch koncept\u016F jazyk\u016F ML a Hope. 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 is a non-strict 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. A product of Research Software Ltd. of England, of which the word 'Miranda' is a trademark, it was the first purely functional language to be commercially supported."@en ,
"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\u3002David Turner \u304C\u81EA\u8EAB\u304C\u4EE5\u524D\u306B\u958B\u767A\u3057\u305F\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E SASL \u3084 KRC \u306E\u5F8C\u7D99\u3068\u3057\u3066\u3001ML \u3084 Hope\u306E\u30B3\u30F3\u30BB\u30D7\u30C8\u3092\u4E00\u90E8\u5229\u7528\u3057\u3066\u958B\u767A\u3057\u305F\u3002\u30A4\u30AE\u30EA\u30B9\u306E Research Software Ltd."@ja ,
"Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm fr\u00FCher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enth\u00E4lt. Sie war geistiges Vorbild f\u00FCr die sp\u00E4ter entwickelte Programmiersprache Haskell, die viele \u00C4hnlichkeiten mit Miranda hat."@de ,
"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 \u00E4r ett funktionellt programspr\u00E5k som skapades i mitten av 1980-talet av britten David Turner."@sv .
@prefix skos: .
@prefix ns6: .
skos:subject ns6:Declarative_programming_languages ,
ns6:Functional_languages .
@prefix ns7: .
dbpprop:wikiPageUsesTemplate ns7:infobox_programming_language ;
dbpprop:year 1985 ;
dbpprop:logo ;
dbpprop:developer "Research Software Ltd"@en ;
dbpprop:implementations "Miranda"@en ;
dbpprop:influenced ;
dbpprop:website .
@prefix dbpedia: .
dbpprop:influencedBy dbpedia:SASL_programming_language ,
,
dbpedia:Kent_Recursive_Calculator ;
dbpprop:designer ;
dbpprop:paradigm dbpedia:Functional_programming ,
dbpedia:Lazy_evaluation ,
dbpedia:Declarative_programming ;
dbpprop:typing dbpedia:Strong_typing ,
dbpedia:Static_typing ;
dbpprop:hasPhotoCollection .
@prefix ns9: .
dbpprop:wordnet_type ns9:synset-programming_language-noun-1 .
dbpedia:Miranda_language dbpprop:redirect .
dbpedia:Miranda_programming_language dbpprop:redirect .