Miranda on toiminnallinen ohjelmointikieli , jonka David Turner loi vuonna 1985 vakiotoiminnalliseksi kieleksi. Siinä on tiukka polymorfinen tyyppijärjestelmä, tukee käyttäjätietotyyppejä. Kuten ML-kieltä , sitä opetetaan monissa yliopistoissa. Toiminnalliset objektit rakennetaan olemassa olevien toimintojen currying (osittainen soveltaminen) avulla. Siinä on laiska semantiikka. Ohjelma on joukko määritelmiä.
SASL- ja Kent Recursive Calculator -kielten seuraaja , jossa käytetään joitain ML- ja Hope -käsitteitä . Hänellä oli suuri vaikutus Haskell - kielen kehittäjiin .
Kielen nimi tulee William Shakespearen näytelmän Myrsky sankarittaren Mirandan nimestä. Siinä hän sanoo lauseen "Brave new world!", jonka tekijöiden mukaan pitäisi tuoda "rohkea uusi maailma toiminnalliseen ohjelmointiin" [1] . Myös sankaritar on kuvattu kielen logossa.
Funktion määrittäminen mapja sen soveltaminen funktioon, joka lisää argumenttia kahdella:
kartta f [ ] = [ ] kartta f ( x : s ) = ( f x ) : ( kartta f s ) L = [ 1 .. 6 ] kartta ( ( + ) 2 ) L → [ 3 , 4 , 5 , 6 , 7 , 8 ]Kaksoispiste määrittää luettelon pään (ensimmäinen elementti) ja hännän (seuraavat elementit) sekä koostumuksessa että kuvioiden sovituksessa. Funktio, joka lisää argumenttia kahdella, saadaan soveltamalla argumenttiin osittain primitiivistä +funktiota 2. Merkintä [1..6] on lyhennetty merkintä [1, 2, 3, 4, 5, 6].
[ n + 2 | n <- [ 1 .. 6 ] ] → [ 3 , 4 , 5 , 6 , 7 , 8 ]| Ohjelmointikielet | |
|---|---|
| |