Az Idris programozási nyelv
Kezdőoldal
Fő szöveg
Szakirodalom
- Csörnyei Zoltán: Bevezetés a típusrendszerek elméletébe, ELTE Eötvös Kiadó, 2012
Linkek
Utolsó módosítás: 2014.04.16.
- Kezdő oldal
- Bevezetés
- Nyelvi elemek
- Típusok, típuskonstrukciók
- Utasítások, vezérlési szerkezetek
- Modulok, függvények
- Absztrakt adattípusok
- Sablonok
- Kivételkezelés
- Objektum-orientált programozás
- Helyesség
- Párhuzamosság
- Szabványos könyvtárak
- Fordítók
- További hasznos információk
- Példaprogramok
- Készítők
Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék