UNITN programmazione funzionale - SML

Repository contenente alcuni esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (Ex. Linguaggi di programmazione modulo 2) tenuto dai prof Kuper e Di Francescomarino all'Università di Trento.

Consigli per prepararsi al meglio

• Iniziate leggendo il PDF ML for dummies
• Guardatevi questi video tutorial (in inglese ma ben fatti - bastano i primi 10/11)
• Provate a fare gli esercizi che trovate nella cartella Esercizi.
• Provate a fare gli esami passati che trovate nella cartella Esami o raccolti in questo file. Gli esami di Kuper sono (fino a questo momento) più semplici rispetto quelli degli anni precedenti e si ripetono spesso.
• FACOLTATIVO: leggetevi velocemente le slide del corso.
• Tutte le risorse presenti in questa repository sono scaricabili a questo link.

Piccola guida PolyML

INSTALLAZIONE SU WINDOWS

• Scaricate ed eseguite PolyML5.8-64bit.msi da qui.
• Una volta installato vi basterà aprirlo e si aprirà il terminale di polyML.

INSTALLAZIONE SU LINUX

• Aprite il terminale e digitate sudo apt-get update e poi sudo apt-get install polyml
• Una volta installato digitate poly e vi si aprirà il terminale di polyML.

Consiglio di utilizzare Linux che è più comodo rispetto a Windows ed è quello utilizzato durante l'esame.

COMANDI UTILI

• Per aprire un file all'interno della console di POLY basta scrivere use "nomefile.sml";
• Per visualizzare tutte le funzioni di una libreria utilizzate il comando open <nome_libreria>; (es. open TextIO;)
• Per copiare ed incollare testo sul terminale di poly dovete installare rlwrap utilizzando il comando sudo apt install rlwrap e poi avviare poly con il comando rlwrap poly. Sarete così in grado di copiare testo e accedere alla storia dei comandi utilizzando la freccia in alto.

LIBRERIE IMPORTANTI

Qui sotto la lista delle librerie più importanti con relativa documentazione (qualsiasi libreria è utilizzabile durante l'esame):

• List
• TextIO
• Int
• String
• Char
• Math

Data aggiornamento

Questa repository è aggiornata all'esame di giugno 2024.

Parte teorica - 2° Parte dell'esame

Trovate una repository utile per preparare la parte teorica a questo link. Essa comprende un simulatore web con le domande prese dagli esami passati (che spesso si sono rivelate uguali o simili negli esami recenti).

Nuovi esami

Gli esami non vengono più pubblicati dal professore. L'unico modo per mantenere questa repository aggiornata è ricordarsi il testo e pubblicarlo qui. Aprendo un issue, una pull request oppure contattandomi su telegram scrivendomi il testo dell'esame svolto. Facendo ciò sarete sicuramente utili agli studenti degli anni successivi. A tal proposito ringrazio tutti quelli che hanno contribuito a mantenere questa repository aggiornata!