A Miranda programozási nyelv

Bevezetés

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.