Bevezető
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.
