Emlékeztető a 2000. május 4-ei előadásról ========================================= Az előadás első részében megbeszéltük a Basis Library következő moduljaiban definiált típusok, függvények és más értékek többségének a használatát (az egyes modulok szignatúrái és a szignatúrákat magyarázó megjegyzések alapján). Bool.sig Char.sig Int.sig List.sig Listsort.sig Option.sig Real.sig String.sig Egyes modulokról (pl. Char, Listsort) korábbi előadásokon volt szó, ezeket a 2000. május 4-ei órán csak említettük. A modulok szignatúrája megtalálható az mosml-rendszerek "lib" könyvtárában (pl. a kempelenen az "/usr/local/mosml/lib/" alatt), html-változatuk pedig a "doc/mosmllib/" könyvtárban (kempelen: "/usr/local/mosml/doc/mosmllib/"). A Deklaratív programozás c. jegyzet SML-kötetében ugyancsak megtalálható e modulok szignatúrája, továbbá felsoroljuk azokat a típusokat, függvényeket és más értékeket, amelyek ismeretét a vizsgán elvárjuk. Az előadás második részében SML-programok működését beszéltük meg.