Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Miranda (linguaggio di programmazione)

Indice Miranda (linguaggio di programmazione)

Miranda è un linguaggio di programmazione puramente funzionale sviluppato da David Turner come successore dei suoi precedenti linguaggi di programmazione SASL e KRC utilizzando alcuni concetti di ML ed Hope.

11 relazioni: APL, C (linguaggio), Haskell (linguaggio), Linguaggio, Linguaggio di programmazione, Occam (linguaggio di programmazione), Programmazione funzionale, Python, Simple Authentication and Security Layer, Unix, Valutazione lazy.

APL

L'APL (sigla di A Programming Language) è un linguaggio di programmazione ideato da Kenneth Iverson nel 1962.

Nuovo!!: Miranda (linguaggio di programmazione) e APL · Mostra di più »

C (linguaggio)

C è un linguaggio di programmazione imperativo di natura procedurale.

Nuovo!!: Miranda (linguaggio di programmazione) e C (linguaggio) · Mostra di più »

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!!: Miranda (linguaggio di programmazione) e Haskell (linguaggio) · Mostra di più »

Linguaggio

Il linguaggio, in linguistica, è il complesso definito di suoni, gesti e movimenti attraverso il quale si attiva un processo di comunicazione.

Nuovo!!: Miranda (linguaggio di programmazione) e Linguaggio · 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!!: Miranda (linguaggio di programmazione) e Linguaggio di programmazione · Mostra di più »

Occam (linguaggio di programmazione)

occam è un linguaggio di programmazione per architetture parallele sviluppato dalla INMOS per la programmazione di reti di INMOS Transputer e successivamente implementato anche per altre piattaforme.

Nuovo!!: Miranda (linguaggio di programmazione) e Occam (linguaggio di programmazione) · 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!!: Miranda (linguaggio di programmazione) e Programmazione funzionale · Mostra di più »

Python

Python è un linguaggio di programmazione ad alto livello, orientato agli oggetti, adatto, tra gli altri usi, per sviluppare applicazioni distribuite, scripting, computazione numerica e system testing.

Nuovo!!: Miranda (linguaggio di programmazione) e Python · Mostra di più »

Simple Authentication and Security Layer

Simple Authentication and Security Layer (SASL) è un framework software per autenticazione e sicurezza nei protocolli Internet.

Nuovo!!: Miranda (linguaggio di programmazione) e Simple Authentication and Security Layer · Mostra di più »

Unix

Unix (registrato ufficialmente come UNIX) è un sistema operativo portabile per computer inizialmente sviluppato da un gruppo di ricerca dei laboratori AT&T e Bell Laboratories, nel quale figurarono sulle prime anche Ken Thompson e Dennis Ritchie.

Nuovo!!: Miranda (linguaggio di programmazione) e Unix · Mostra di più »

Valutazione lazy

Nella programmazione, la valutazione lazy o pigra è una tecnica che consiste nel ritardare una computazione finché il risultato non è richiesto effettivamente.

Nuovo!!: Miranda (linguaggio di programmazione) e Valutazione lazy · Mostra di più »

Riorienta qui:

Linguaggio Miranda.

UscenteArrivo
Ehi! Siamo su Facebook ora! »