Sommario:
Definizione - Cosa significa Standard ML (SML)?
Standard ML (SML) è una versione più recente del "Meta Language" o linguaggio di programmazione ML sviluppato negli anni '70. ML ha radici in LISP, che fa parte di una famiglia di linguaggi di programmazione informatica con notazione con prefisso tra parentesi.
Techopedia spiega Standard ML (SML)
Come variante successiva di Meta Language, Standard Meta Language è un linguaggio di programmazione modulare. Ha il controllo del tipo di compilazione e l'inferenza del tipo. Alcuni esperti affermano che ha alcune caratteristiche "impure" in termini di valutazione delle espressioni e di utilizzo di varie istruzioni o comandi.
ML standard è un linguaggio generico. Le persone attualmente lo usano per creare prodotti software. Possono usarlo per codificare i sistemi di codice nativo che funzionano su una varietà di sistemi operativi. Tuttavia, alcuni direbbero che la ML standard non è un tipo particolare di software di nicchia, ma solo una sorta di linguaggio di programmazione a tutto tondo da utilizzare nei sistemi legacy o nella migrazione verso sistemi più moderni. Ad esempio, qualcuno potrebbe usare Standard ML insieme a C o C # per codificare o aggiornare un prodotto software.
