| rdfs:comment
| - 미란다(Miranda)는 가 그의 초기 프로그래밍 언어 과 의 후계자로서 설계한 느긋한 순수한 함수형 프로그래밍 언어이며, ML과 로부터 몇몇 개념들을 가져왔다. 영국의 리서치 소프트웨어 Ltd.의 상품이자, ‘미란다’(Miranda)라는 상표의 그것은 상업적으로 지원된 최초의 함수형 언어였다. 대부분의 의 해결은 APL과 다른 함수형 프로그래밍 언어들을 제외하고 대부분의 주류 프로그래밍 언어들보다 미란다로 더 간결하고 더 단순하게 할 수 있다. 또 미란다 사용자들은, 미란다는 이전에 사용한 필수적인 프로그래밍 언어들과 함께 하는 것보다 더 짧은 개발시간으로 더욱 확실한 프로그램들을 만들 수 있게 한다고 말한다. 1987년과 1989년에 다음의 출시와 함께, 유닉스 형태의 운영 체제를 위하여 C로 빠른 인터프리터로서, 최초로 1985년에 출시되었다. 최근의 하스켈 프로그래밍 언어는 미란다와 많은 부분에서 비슷하다. (ko)
- Mirandaは、遅延評価方式の純粋関数型プログラミング言語である。作者デビッド・ターナー（David Turner）による以前の言語SASLやKRCの後継でもあり、またMLやHopeの影響も受けている。イギリスのリサーチ・ソフトウェア社（Research Software Ltd.）が販売しており、同社の商標でもある。研究目的ではない商用を目指した最初の純粋関数型言語であった。 よくある例題を解くプログラムに関して言えば、Mirandaのコードは（APLなどを別とすれば）ほとんどの主流のプログラミング言語よりも簡単で短く表現でき、他の関数型言語と同様、信頼性の高いプログラムの開発が命令型言語に比べて短期間で可能になったという報告がある。 1985年に登場した。処理系の実装としてはUnix系向けのC言語で実装されたもののみがある。後発のHaskellは多くの面でMirandaの影響を受けている。 (ja)
- Miranda är ett funktionellt programspråk som skapades i mitten av 1980-talet av britten David Turner. (sv)
- Miranda，是一種惰性求值的纯函数式編程語言，由英國學者所設計。採用來自ML與Hope语言的概念，他用此來作為他先前所設計的SASL與KRC语言的後繼者。這個程式語言由英國的研究軟體公司出品，這間公司擁有這個程式語言的商標權。 Miranda在1985年首次發表以C語言寫成的直譯器，能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。Miranda強烈的影響了後來發展出的Haskell語言。 (zh)
- Miranda je v informatice čistě funkcionální programovací jazyk s líným vyhodnocováním, který navrhl jako nástupce jeho předchozích programovacích jazyků a , které využívají určitých konceptů jazyků a . 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. (cs)
- Miranda ist eine rein funktionale Programmiersprache, die von basierend auf den von ihm früher entwickelten Programmiersprachen SASL und KRC entwickelt wurde und Konzepte der Programmiersprachen ML und 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. (de)
- Η Miranda είναι μια οκνηρή, αμιγώς συναρτησιακή γλώσσα προγραμματισμού, η οποία σχεδιάστηκε από τον David Turner σαν διάδοχος της SASL και της KRC, χρησιμοποιώντας κάποιες ιδέες της ML και της Hope. Αποτέλεσε προϊόν της αγγλικής εταιρείας Research Software Ltd. (που έχει και το εμπορικό σήμα Miranda) και ήταν η πρώτη αμιγώς συναρτησιακή γλώσσα προγραμματισμού με εμπορική υποστήριξη. (el)
- Miranda fue desarrollado entre los años 1985 y 1986 por . Se trata de un lenguaje de programación funcional sucesor de SASL y . 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. Es raro la necesidad del uso de corchetes y no es necesario el uso de terminaciones de instrucción (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. (en)
- Miranda è 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" è un marchio di fabbrica, è stato il primo linguaggio funzionale destinato ad un uso commerciale invece che solo accademico. È stato pubblicato nel 1985, ed è stato scritto per esso (in linguaggio C) un solo interprete per sistemi Unix. Haskell, un linguaggio sviluppato successivamente, è simile per molti versi a Miranda. (it)
- 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. (pt)
- Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML, преподаётся во многих университетах. Функциональные объекты строятся с помощью карринга (частичного применения) существующих функций. Обладает ленивой семантикой. Программа представляет собой множество определений. Преемник языков SASL и Kent Recursive Calculator, использующий некоторые концепции ML и Hope. Оказал большое влияние на разработчиков языка Haskell. (ru)
|
.jpg){kind=logo}
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)