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.