Miranda (programovací jazyk)
programovací jazyk / From Wikipedia, the free encyclopedia
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.
Paradigma | funkcionální, deklarativní |
---|---|
Vznik | 1985 |
Autor | David Turner |
Vývojář | Research Software Ltd |
Typová kontrola | silná, statická |
Hlavní implementace | Miranda |
Ovlivněn jazyky | KRC, ML, SASL |
Ovlivnil jazyky | Haskell |
Ř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ě APL). Uživatelé Mirandy mohou rychleji psát spolehlivější kódy, než s předchozími programovacími jazyky. Miranda byla vydána v roce 1985 jako rychlý 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á.