Tartalomjegyzék

• Az MOSML-értelmező használata
  • Windows
  • Linux, Unix
  
  
• A Poly/ML-értelmező használata
• Emacs és SML
• Jótanácsok
• Szintaxis, szemantika
• Kisbetű, nagybetű
• Deklaráció
• Kifejezés kiértékelése
• Függvény, rekurzió
• Minta, mintaillesztés
• Lokális érvényű deklarációk
• Nem frissíthető és frissíthető változók
• Részlegesen alkalmazható függvény, magasabbrendű függvény
• Típus, típuslevezetés, típusoperátor
• Polimorfizmus
• Modul (struktúra, szignatúra)
• SML Basis Library
• Kiírás
• Hibakeresés, nyomkövetés
• SML-programok
• Fogások
• Kivételek
• Nagyzéhá, pótzéhá, pótpótzéhá
• Nagyházi, kisházi
• Prologból SML?
• Vizsga