Sistemi di Moduli in ML

I moduli permettono di suddividere il codice in componenti riutilizzabili.

Nei linguaggi ML i moduli contengono sia tipi che valori.

Le firme (signature) definiscono interfacce astratte e limitano la visibilità.

È possibile importare contenuti di un modulo tramite open, include o proiezione con il punto.

I functor sono moduli parametrizzati che generano nuovi moduli a partire da altri moduli.

I functor generativi con parametro unit creano tipi astratti distinti ad ogni invocazione.