7 relazioni: Funzione di ordine superiore, Informatico, Lambda calcolo, Linguaggio di programmazione, Logica, ML (linguaggio di programmazione), Polimorfismo (informatica).
Funzione di ordine superiore
Una funzione di ordine superiore (o funzione higher-order) è una funzione che può prendere altre funzioni come parametri e/o restituire funzioni come risultato.
Nuovo!!: Sistema F e Funzione di ordine superiore · Mostra di più »
Informatico
Informatico è il termine generico per indicare una delle tante figure professionali impiegate nell'informatica in ambito aziendale, industriale e scientifico.
Nuovo!!: Sistema F e Informatico · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Sistema F e Lambda calcolo · Mostra di più »
Linguaggio di programmazione
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.
Nuovo!!: Sistema F e Linguaggio di programmazione · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Sistema F e Logica · Mostra di più »
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.
Nuovo!!: Sistema F e ML (linguaggio di programmazione) · Mostra di più »
Polimorfismo (informatica)
In informatica, il termine polimorfismo (dal greco πολυμορφος composto dai termini πολυ molto e μορφή forma quindi "avere molte forme") viene usato in senso generico per riferirsi a espressioni che possono rappresentare valori di diversi tipi (dette espressioni polimorfiche).
Nuovo!!: Sistema F e Polimorfismo (informatica) · Mostra di più »