Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn
La tua Unionpedia con il tuo logo e dominio, a partire da 9,99 USD/mese
Crea il mio Unionpedia

Standard ML

Indice Standard ML

In informatica, SML (Standard ML) è un linguaggio di programmazione derivato dal ML. Il linguaggio ML originale era una serie di metalinguaggi ideati da Robin Milner (e dai suoi studenti) all'Università di Edimburgo per creare programmi che eseguissero la dimostrazione di teoremi (theorem provers).

Indice

  1. 14 relazioni: Garbage collection, Informatica, Linguaggio di programmazione, Lisp, ML (linguaggio di programmazione), OCaml, Programmazione funzionale, Programmazione imperativa, Robert Harper, Rust (linguaggio di programmazione), Scheme, Tipizzazione forte, Tipizzazione statica, Università di Edimburgo.

  2. Linguaggi di programmazione funzionali
  3. Linguaggi di programmazione procedurali
  4. ML

Garbage collection

In informatica per garbage collection (GC) si intende una modalità automatica di gestione della memoria, mediante la quale un sistema operativo, o un compilatore e un modulo di run-time liberano porzioni di memoria non più utilizzate dalle applicazioni.

Vedere Standard ML e Garbage collection

Informatica

Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.

Vedere Standard ML e Informatica

Linguaggio di programmazione

Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.

Vedere Standard ML e Linguaggio di programmazione

Lisp

Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.

Vedere Standard ML e Lisp

ML (linguaggio di programmazione)

ML è un linguaggio di programmazione funzionale general purpose sviluppato dall'équipe di Robin Milner presso l'Università di Edimburgo alla fine degli anni 70, con una sintassi ispirata ad ISWIM.

Vedere Standard ML e ML (linguaggio di programmazione)

OCaml

OCaml è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML. È sviluppato e distribuito come software open source dalla INRIA.

Vedere Standard ML e OCaml

Programmazione funzionale

In informatica la programmazione funzionale è un paradigma di programmazione in cui il flusso di esecuzione del programma assume la forma di una serie di valutazioni di funzioni matematiche.

Vedere Standard ML e Programmazione funzionale

Programmazione imperativa

In informatica, la programmazione imperativa è un paradigma di programmazione secondo cui un programma viene inteso come un insieme di istruzioni (dette anche direttive o comandi), ciascuna delle quali può essere pensata come un "ordine" che viene impartito alla macchina virtuale del linguaggio di programmazione utilizzato.

Vedere Standard ML e Programmazione imperativa

Robert Harper

Attivo artisticamente fino al 2006, fu sposato dal 1981 al 1984 con l'attrice Lisa Pelikan. Nel 2005 passò a nuove nozze con Sascha Noorthoorn van der Kruyff.

Vedere Standard ML e Robert Harper

Rust (linguaggio di programmazione)

Rust è un linguaggio di programmazione compilato, multi-paradigma, ad uso generale, sviluppato da Mozilla Research, in collaborazione con la comunità open-source.

Vedere Standard ML e Rust (linguaggio di programmazione)

Scheme

Scheme è un linguaggio di programmazione funzionale, un dialetto del Lisp di cui mantiene tutte le caratteristiche, che è stato sviluppato negli anni settanta da Guy L. Steele e Gerald Jay Sussman, che lo introdussero nel mondo accademico con una serie di articoli noti come le Lambda Papers e nel libro Structure and Interpretation of Computer Programs.

Vedere Standard ML e Scheme

Tipizzazione forte

In informatica, e in particolare in programmazione, l'espressione tipizzazione forte (strong typing) può essere usata per caratterizzare il tipo di regole che un determinato linguaggio di programmazione impone, a livello sintattico o semantico, circa la tipizzazione dei dati e all'uso dei dati in relazione al loro tipo.

Vedere Standard ML e Tipizzazione forte

Tipizzazione statica

In programmazione, la tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili. Nei linguaggi a tipizzazione statica, il tipo di ogni variabile (numerico intero, numerico a virgola mobile, carattere, ecc.), viene stabilito direttamente nel codice sorgente dove viene assegnato esplicitamente per mezzo di parole chiave apposite, come ad esempio int, long, float, char, ecc….

Vedere Standard ML e Tipizzazione statica

Università di Edimburgo

L'Università di Edimburgo (The University of Edinburgh in inglese) è stata fondata nel 1582. L'istituzione è fra le più antiche università della Scozia ed è considerata una delle più prestigiose al mondo.

Vedere Standard ML e Università di Edimburgo

Vedi anche

Linguaggi di programmazione funzionali

Linguaggi di programmazione procedurali

ML