ML (linguaggio di programmazione): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 9:
Tuttavia, la valutazione '''pigra''' (lazy evaluation) può essere simulata, e quindi anche la creazione di liste infinite, attraverso l'utilizzo di funzioni anonime.
Sono nati diversi linguaggi a partire da ML; tra questi i più popolari sono SML ([[Standard ML]], del [[1990]]) e [[Ocaml]] (Objective Caml). ML ha anche influenzato molti altri linguaggi, soprattutto quelli sviluppati in ambito accademico (ad es. [[F
ML è particolarmente adatto alle applicazioni teoriche come il progetto e lo sviluppo di linguaggi ([[compilatore|compilatori]], analizzatori, dimostratori di teoremi) ma ha trovato applicazione anche in ambito di [[bioinformatica]], analisi finanziarie, ecc.
| |||