| 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.
- Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enthält. Sie war geistiges Vorbild für die später entwickelte Programmiersprache Haskell, die viele Ähnlichkeiten mit Miranda hat. Die 1985 veröffentlichte Programmiersprache Miranda war die erste funktionale Programmiersprache, die nicht für die Verwendung in der Wissenschaft, sondern für den kommerziellen Gebrauch entwickelt wurde. Seit dem 1985 in C geschriebenen Interpreter für Unix-System gab es keine weiteren Entwicklungen, so dass die Programmiersprache heute als tot angesehen werden kann. Dennoch wird Miranda gern als Lehrbeispiel für funktionale Programmiersprachen genutzt, da ihre Komplettreferenz nur ca. 30 Seiten umfasst und damit im Vergleich zu anderen Sprachen recht leicht zu erlernen ist.
- Miranda je v informatice čistě funkcionální programovací jazyk s líným vyhodnocováním, který navrhl David Turner jako nástupce jeho předchozích programovacích jazyků SASL a KRC, které využívají určitých konceptů jazyků ML a Hope. Obchodní značku Miranda vlastní Firma Research Software Ltd. of England. Miranda byl prvním čistě funkcionálním jazykem, který byl komerčně podporován. Řešení většiny učebnicových problémů je v Mirandě kratší a jednodušší, než ve většině tradičních programovacích jazyků (možná kromě interpret pro unixové operační systémy s následnými vydáními v letech 1987 a 1989. Haskell je pozdější nástupce Mirandy a v mnoha směrech se jí podobá.
- Miranda fue desarrollado entre los años 1985 y 1986 por David Turner. Se trata de un lenguaje de programación funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versión comercial de un lenguaje funcional: no-estricto. puramente funcional. Fue comercializado por Research Software Ltd. de Inglaterra, la cual registró la palabra 'Miranda' como marca comercial. Fue el primer lenguaje puramente funcional en ser destinado al uso comercial y no al académico La solución a muchos ejemplos de programas resulta más simple en Miranda que en la mayoría de los lenguajes de programación excepto quizás APL, y como otros lenguajes funcionales, sus usuarios comentan que este les permite producir programas fiables en un menor periodo de tiempo en comparación con el otros lenguajes de programación usados anteriormente Salió por primera vez en 1985 como un interprete rápido en C para los sistemas operativos Unix, con sucesivas entregas en 1987 y 1989. El último lenguaje de programación 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ón se evalúa cuando la función 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í: 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ón (endif,…) Los comentarios se inician utilizando los caracteres ‘||’ y continua hasta el final de la línea. Una convención alternativa de comentarios es la que afecta a todo el fichero fuente, conocida como “literate srcript”, en la cual todo línea es comentario a no ser que empiece por el signo’ >’ Los tipos básicos de datos de Miranda son char, num y bool. Una cadena de caracteres no es más que una lista de chars, mientras que num puede representar tanto a enteros como a reales sin necesidad de conversiones explícita Las tuplas son secuencias de elementos de distintos tipos, análogo a los registros de los lenguajes parecidos a Pascal, y son escritos entre paréntesis this_employee = ("García, Paco", 10560, False, 35) La lista en cambio, es la estructura de datos más 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ón de listas es mediante ‘++’, la diferencia con ‘--‘, la construcción con ‘:’ comprobar el tamaño con ‘#’ y devolver el elemento de cierta posición de la lista (indexación) mediante ‘!’ days = week_days ++ ["Sat","Sun"] days = "Nil":days days!0 → "Nil" days = days -- ["Nil"] #days → 7 Existen muchos atajos para construir listas: ‘.. ’ es usado para listas cuyos elementos forman un serie aritmética, 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ás generales y potentes son aportados por “list comprehensions” (anteriormente conocido como “expresiones ZF”), el cual viene de dos formas: una expresión aplicada una serie de términos: squares = [ n * n | n <- [1.. ] ]) y series donde cada término es una función del anterior: powers_of_2 = [ n | n <- 1, 2*n .. ] Como estos dos ejemplos muestran, Miranda permite listas con un número infinito de elementos, de los cuales el más simple es la lista de todos los enteros positivos: [1.. ] La notación para funciones es simplemente anteponer el nombre de esta a sus parámetros, 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ámetros de otras funciones, devueltas como resultado o incluidas como elementos de estructuras de datos. Y es más, una función que requiere dos o más parámetros puede ser “parcialmente parametrizada”, no teniendo que usar todos los parámetros. Esto da como resultado otra función que, dando los parámetros que permanecen, devolverá un resultado. Por ejemplo: add a b = a + b increment = add 1 Es una forma aproximada de crear una función “incremento” la cual suma 1 a sus argumentos. En realidad, add 4 7 toma la función de dos parámetros add, la aplica a 4 obteniendo un función de un solo parámetro que suma 4 a su argumento, y entonces la aplica a 7. Cualquier función que tome dos parámetros puede transformarse en un operador infijo (por ejemplo, dado la definición de la función anterior add, el termino $add es del todo equivalente al operador +) y cada operador infijo que tome dos parámetros puede expresarse como su función correspondiente. Así: increment = (+) 1 es la forma más simple de crear la función que suma 1 a su argumento. Similarmente, en half = (/ 2) reciprocal = (1 /) genera una función de dos parámetros simples. El intérprete entiende en cada caso cual de los dos operadores de la división son aportados, teniendo funciones que respectivamente dividen por 2 y devuelven el inverso. A pesar de que Miranda es un lenguaje de programación fuertemente tipado, este no insiste en la declaración explicita de tipos. Si el tipo de un función no se declara explícitamente, el intérprete lo deduce de los tipos de sus parámetros y como son usados dentro de la función. Además de los tipos básicos (char, num, bool), se incluye el tipo “nada” donde el tipo del parámetro no importa, como en la función lista inversa: rev = rev = rev x ++ [a] que puede ser aplicada a una lista de cualquier tipo de datos, para la que la declaración explícita del tipo seria: rev :: [*] -> [*] Finalmente, tiene un mecanismo para crear y manejar módulos de programa cuyas funciones internas son transparentes para las llamadas que otros programas hacen a estos módulos.
- Miranda は、遅延評価方式の純粋関数型プログラミング言語である。David Turner が自身が以前に開発したプログラミング言語 SASL や KRC の後継として、ML や Hopeのコンセプトを一部利用して開発した。イギリスの Research Software Ltd. が販売しており、'Miranda' は同社の商標である。研究目的ではない商用を目指した最初の純粋関数型言語であった。 よくある例題を解くプログラムに関して言えば、Miranda のコードはAPLには敵わないものの、ほとんどの主流のプログラミング言語よりも簡単で短く表現でき、他の関数型言語と同様、信頼性の高いプログラムの開発が命令型言語に比べて短期間で可能になったという報告がある。 1985年に登場したが、UNIX系オペレーティングシステム向けにC言語で実装された処理系しかない。後発の Haskell は多くの面で Miranda に似ている。
- Miranda é uma linguagem de programação funcional, não restrita desenvolvida por David Turner, usando alguns conceitos das linguagens de programação anteriores como SASL e KRC, utilizando alguns conceitos de ML e Hope. Comercializada pela Research Software Ltda. da Inglaterra, da qual a palavra "Miranda" é uma marca registrada, ela foi a primeira linguagem puramente funcional, a ser utilizada como ferramenta comercial, e não para fins acadêmicos. A solução para a maioria dos problemas é mais simples e sucinta em Miranda do que na maior parte das linguagens de programação, exceto a APL, e algumas outras linguagens funcionais, relatam seus usuários, que lhes permite produzir programas mais confiáveis em menos tempo do que com o desenvolvimento da programação imperativa, linguagens que eles tinham anteriormente utilizado. Foi lançado em 1985, como um rápido interpretador em C para sistema operacional Unix-flavour, com subsequente liberação, em 1987 e 1989. Mais tarde a linguagem de programação Haskell é semelhante a muitos formatos de Miranda.
- Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML преподаётся во многих университетах. Функциональные объекты строятся с помощью карринга (частичного применения) существующих функций. Обладает ленивой семантикой. Программа представляет собой множество определений. Преемник языков SASL и KRC, использующий некоторые концепции ML и Hope. Оказал большое влияние на разработчиков языка Haskell.
- Miranda är ett funktionellt programspråk som skapades i mitten av 1980-talet av britten David Turner.
|
| rdfs:comment
|
- 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.
- Miranda ist eine rein funktionale Programmiersprache, die von David Turner basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und Hope enthält. Sie war geistiges Vorbild für die später entwickelte Programmiersprache Haskell, die viele Ähnlichkeiten mit Miranda hat.
- Miranda je v informatice čistě funkcionální programovací jazyk s líným vyhodnocováním, který navrhl David Turner jako nástupce jeho předchozích programovacích jazyků SASL a KRC, které využívají určitých konceptů jazyků ML a Hope. Obchodní značku Miranda vlastní Firma Research Software Ltd. of England. Miranda byl prvním čistě funkcionálním jazykem, který byl komerčně podporován.
- Miranda fue desarrollado entre los años 1985 y 1986 por David Turner. Se trata de un lenguaje de programación funcional sucesor de SASL y KRC. El principal objetivo de este lenguaje era el desarrollar una versión comercial de un lenguaje funcional: no-estricto. puramente funcional. Fue comercializado por Research Software Ltd. de Inglaterra, la cual registró la palabra 'Miranda' como marca comercial.
- Miranda は、遅延評価方式の純粋関数型プログラミング言語である。David Turner が自身が以前に開発したプログラミング言語 SASL や KRC の後継として、ML や Hopeのコンセプトを一部利用して開発した。イギリスの Research Software Ltd.
- Miranda é uma linguagem de programação funcional, não restrita desenvolvida por David Turner, usando alguns conceitos das linguagens de programação anteriores como SASL e KRC, utilizando alguns conceitos de ML e Hope. Comercializada pela Research Software Ltda. da Inglaterra, da qual a palavra "Miranda" é uma marca registrada, ela foi a primeira linguagem puramente funcional, a ser utilizada como ferramenta comercial, e não para fins acadêmicos.
- Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML преподаётся во многих университетах.
- Miranda är ett funktionellt programspråk som skapades i mitten av 1980-talet av britten David Turner.
|
![[RDF Data]](/statics/sw-cube.png)
