Miranda

Website: miranda.org.uk

Proiectat de: David Turner

Miranda este un limbaj de programare leneș, pur funcțional, conceput de David Turner ca succesor al limbajelor sale anterioare de programare SASL și KRC, folosind unele concepte de la ML și Hope.

A fost produs de Research Software Ltd.

din Anglia (care deține o marcă comercială pe numele Miranda) și a fost primul limbaj pur funcțional care a fost acceptat comercial.Miranda a fost lansată pentru prima dată în 1985 ca interpret rapid în C pentru Unix-Flavour Operating Systems Systems Systems , cu lansările ulterioare în 1987 și 1989.

A avut o influență puternică asupra limbii Haskell de mai târziu.

Turner a declarat că beneficiile Miranda peste Haskell sunt: ​​„Limbaj mai mic, sistem de tip mai simplu, aritmetică mai simplă” .in 2020 o versiune a Miranda a fost lansată ca sursă deschisă sub o licență BSD.

Codul a fost actualizat pentru a se conforma standardelor C moderne (C11/C18) și pentru a genera binare pe 64 de biți.

Acest lucru a fost testat pe sisteme de operare, inclusiv Debian, Ubuntu, WSL/Ubuntu și MacOS (Catalina).