A Miranda egy haladó funkcionális programozási rendszer, mely UNIX operációs rendszer alatt fut. Egy lusta kiértékelesű nyelv, mely sok hasznos és kellemes komponenst tartalmaz, mint például a gazdag típusrendszert, és sok olyan szintaktikai jelölést, melyek segítik elegáns és kompakt programok létrehozását. A Miranda program két részből áll: a deklarációk gyűjteményéből (amit leírásnak hívnak), és a kezdeti kifejezésekből. A leírásban lévő deklarációk vagy függvény definíciók, vagy típus definíciók. Lehetséges lokális hatáskörű függvények definíciója is, ami támogatja a modulárisabb programozási stílust. A Miranda típusrendszere meglehetősen erőteljes, pl. a függvények lehetnek polimorf típusúak. Az adatstruktúrák deklarálhatók algebrai és absztrakt típusdeklarációk segítségével. A (magasabb rendű) függvények használata egy megbízható módszer bonyolult függvények létrehozására. Mostanában egyre több helyen alkalmazzák a funcionális programozás tanítására, és a szoftver prototípusok gyors alkalmazására.

Szakirodalom

• Thompson, S.J. "Miranda: The Craft of Functional Programming" Addison-Wesley, ISBN 0-201-42279-4, 470 pages, paperback, 1995

Linkek

• http://freaknet.org/martin/libri/Miranda/Overview.html
• http://www.cs.bris.ac.uk/~ian/Functional/miranda.html
• http://www.cs.ukc.ac.uk/pubs/1995/59/

Szerzők

• Póser Ágnes
• Csernovszky Anikó
• Kiss Anita