FISIERE UTILE
Sunt cateva unelte disponibile pentru limbajul Elf, distribuite prin fisierul elf-tools.tar.Z . Incarcarea si conectarea lor se face cu :
- use "load-elf-tools.sml";
- open ElfTools;
Dupa incarcare se pot utiliza urmatoarele functii :families(), deps(), cdeps(). Mai multe informatii despre aceste functii se gasesc prin tiparirea functiei help();
De asemenea exista si cateva exemple rezolvate, care ajuta la buna intelegere a acestui limbaj. Ele se gasesc in arhiva elf-examples.tar si fiecare are un nume sugestiv. Cateva exemple sunt :implementarea unor liste polimorfice (ex Lists), un algoritm pentru conversia termenilor pentru calculul lamba, ( ex Canonical), cateva formulari ale calculului propozitional si echivalenta lor (ex Prop-calc) etc.
DIFICULTATI
Pentru versiunea de SML of New Jersey0.7 a fost nevoie de o versiune mai noua de Elf si anume (elf-110), deoarece versiunea 0.4 nu recunostea unele librarii SML (de exemplu System.time). Cu aceasa noua versiune nu s-au intampinat greutati in rularea si executia fisierelor Elf.