• Kezdő oldal
• Bevezetés
• Nyelvi elemek
  • Jelkészlet
  • Azonosítók
  • Literálok
  • Megjegyzések
  • Literális programozás
• Típusok, típuskonstrukciók
  • Típusszerkezet
  • Elemi típusok
  • Algebrai adattípusok
  • Függő típusok
  • Típusosztályok
• Utasítások, vezérlési szerkezetek
  • Értékadás, üres utasítás
  • Szekvencia
  • Elágazás
  • Ciklus
  • Vezérlésátadó utasítások
• Modulok, függvények
  • Modulszerkezet
  • Névterek
  • Függvények
  • Implicit paraméterek
• Absztrakt adattípusok
• Sablonok
• Kivételkezelés
• Objektum-orientált programozás
• Helyesség
  • Programok helyessége
  • Tételbizonyítás
• Párhuzamosság
• Szabványos könyvtárak
  • Idris standard library
  • Csomagok
• Fordítók
  • Idris fordító
  • Javascript fordító
• További hasznos információk
  • Bővíthető szintaxis
  • Dsl-jelölés
  • Egyéb
• Példaprogramok
  • Mátrix
  • Sor
  • Verem
  • Topologikus rendező
• Készítők

Az Idris programozási nyelv

Készítők

Készítők

Hosszú Gábor

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék