8 relazioni: Haskell (linguaggio), Lambda calcolo, Linguaggio di programmazione, Programmazione (informatica), Programmazione funzionale, Struttura dati, Struttura di controllo, Valutazione eager.
Haskell (linguaggio)
Haskell è un linguaggio di programmazione puramente funzionale general-purpose creato da un apposito comitato alla fine degli anni ottanta principalmente per analizzare le caratteristiche dei linguaggi.
Nuovo!!: Valutazione lazy e Haskell (linguaggio) · 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!!: Valutazione lazy 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!!: Valutazione lazy e Linguaggio di programmazione · Mostra di più »
Programmazione (informatica)
La programmazione, in informatica, è l'insieme delle attività e tecniche che una o più persone specializzate, programmatori o sviluppatori (developer), svolgono per creare un programma, ossia un software da far eseguire ad un computer, scrivendo il relativo codice sorgente in un determinato linguaggio di programmazione.
Nuovo!!: Valutazione lazy e Programmazione (informatica) · Mostra di più »
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.
Nuovo!!: Valutazione lazy e Programmazione funzionale · Mostra di più »
Struttura dati
In informatica una struttura dati è un'entità usata per organizzare un insieme di dati all'interno della memoria del computer, ed eventualmente per memorizzarli in una memoria di massa.
Nuovo!!: Valutazione lazy e Struttura dati · Mostra di più »
Struttura di controllo
In tutti i paradigmi di programmazione imperativa, le strutture di controllo sono costrutti sintattici di un linguaggio di programmazione la cui semantica afferisce al controllo del flusso di esecuzione di un programma, ovvero servono a specificare se, quando, in quale ordine e quante volte devono essere eseguite le istruzioni che compongono il codice sorgente in base alle specifiche di progetto del software da realizzare.
Nuovo!!: Valutazione lazy e Struttura di controllo · Mostra di più »
Valutazione eager
Nella programmazione, la valutazione eager consiste nel valutare un'espressione non appena essa viene legata a una variabile.
Nuovo!!: Valutazione lazy e Valutazione eager · Mostra di più »