Miranda je funkcionální programovací jazyk vytvořený v roce 1985 Davidem Turnerem jako standardní funkcionální jazyk. Má přísný systém polymorfních typů, podporuje typy uživatelských dat. Stejně jako jazyk ML se vyučuje na mnoha univerzitách. Funkční objekty jsou vytvářeny pomocí curryingu (částečné aplikace) existujících funkcí. Má línou sémantiku. Program je soubor definic.
Nástupce jazyků SASL a Kent Recursive Calculator využívající některé koncepty ML a Hope . Měl velký vliv na vývojáře jazyka Haskell .
Název jazyka pochází ze jména hrdinky hry Bouře od Williama Shakespeara , Mirandy. Říká v něm větu „Brave new world!“, která má podle tvůrců přinést „brave new world do funkcionálního programování“ [1] . Hrdinka je také zobrazena na logu jazyka.
Definování funkce mapa její použití na funkci, která zvyšuje argument o dva:
mapa f [] = [] mapa f ( x : s ) = ( f x ) : ( mapa f s ) L = [ 1 .. 6 ] mapa ( ( + ) 2 ) L → [ 3 , 4 , 5 , 6 , 7 , 8 ]Dvojtečka definuje hlavičku (první prvek) a konec (následné prvky) seznamu při porovnávání kompozice i vzoru. Funkce pro zvýšení argumentu o 2 se získá částečným použitím primitivní funkce +na argument 2. Záznam [1..6] je zkrácený záznam [1, 2, 3, 4, 5, 6].
Příklad výrazu seznamu :
[ n + 2 | n <- [ 1 .. 6 ] ] → [ 3 , 4 , 5 , 6 , 7 , 8 ]| Programovací jazyky | |
|---|---|
| |