l'accesso più veloce di browser!
59 relazioni: Anni 1970, Anni 1980, AT&T, Bytecode, C sharp, C++, C++11, Clojure, Crivello di Eratostene, F Sharp, Facebook (azienda), Fattoriale, Fork (sviluppo software), General purpose, Generics Java, Glasgow Haskell Compiler, Google (azienda), Haskell Curry, Hello world, Input/output, Intel, Java (linguaggio di programmazione), Lambda calcolo, Linguaggio di programmazione, LINQ, Lisp, Mercury (linguaggio), Microsoft, Miranda (linguaggio di programmazione), ML (linguaggio di programmazione), Modularità, Multipiattaforma, NVIDIA, OCaml, Perl 6, Programmazione funzionale, Python, Qualcomm, Quicksort, Scala (linguaggio di programmazione), Scheme, Simple DirectMedia Layer, Successione di Fibonacci, Tipizzazione forte, Tipizzazione statica, Università di Utrecht, Università Yale, Valutazione lazy, Visual Basic, XX secolo, ..., Zucchero sintattico, 1978, 1987, 1988, 1990, 1998, 2002, 2006, 2009. Espandi índice (9 più) »
Anni 1970
Gli anni '70, comunemente chiamati anni settanta, sono il decennio che comprende gli anni dal 1970 al 1979 inclusi.
Nuovo!!: Haskell (linguaggio) e Anni 1970 · Mostra di più »
Anni 1980
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e Anni 1980 · Mostra di più »
AT&T
AT&T Inc. (abbreviazione di American Telephone and Telegraph Incorporated) è una compagnia telefonica statunitense con sede a San Antonio, Texas.
Nuovo!!: Haskell (linguaggio) e AT&T · Mostra di più »
Bytecode
In informatica, il bytecode è un linguaggio intermedio più astratto tra il linguaggio macchina e il linguaggio di programmazione, usato per descrivere le operazioni che costituiscono un programma.
Nuovo!!: Haskell (linguaggio) e Bytecode · Mostra di più »
C sharp
Il C# (pronuncia:, come la parola inglese "see sharp") è un linguaggio di programmazione orientato agli oggetti sviluppato da Microsoft all'interno dell'iniziativa.NET, e successivamente approvato come standard dalla ECMA (ECMA-334) e ISO (norma ISO/IEC 23270).
Nuovo!!: Haskell (linguaggio) e C sharp · Mostra di più »
C++
C++ è un linguaggio di programmazione orientato agli oggetti, con tipizzazione statica.
Nuovo!!: Haskell (linguaggio) e C++ · Mostra di più »
C++11
Il C++11, conosciuto anche come C++0x, è uno standard per il linguaggio di programmazione C++ che ha sostituito la revisione del 2003.
Nuovo!!: Haskell (linguaggio) e C++11 · Mostra di più »
Clojure
Clojure è un dialetto del linguaggio di programmazione Lisp.
Nuovo!!: Haskell (linguaggio) e Clojure · Mostra di più »
Crivello di Eratostene
Il crivello di Eratostene è un antico algoritmo per il calcolo delle tabelle di numeri primi fino a un certo numero n prefissato.
Nuovo!!: Haskell (linguaggio) e Crivello di Eratostene · Mostra di più »
F Sharp
F# (pronuncia:, come la parola inglese F Sharp) è un linguaggio di programmazione multi-paradigma, basato su.NET Framework, che permette la programmazione funzionale così come quella imperativa e quella ad oggetti.
Nuovo!!: Haskell (linguaggio) e F Sharp · Mostra di più »
Facebook (azienda)
Facebook Inc. è un'azienda statunitense che controlla il servizio di rete sociale Facebook, fondata nel 2004 da Mark Zuckerberg, Eduardo Saverin, Andrew McCollum, Dustin Moskovitz e Chris Hughes.
Nuovo!!: Haskell (linguaggio) e Facebook (azienda) · Mostra di più »
Fattoriale
In matematica, si definisce fattoriale di un numero naturale n, indicato con n!, il prodotto dei numeri interi positivi minori o uguali a tale numero.
Nuovo!!: Haskell (linguaggio) e Fattoriale · Mostra di più »
Fork (sviluppo software)
Un fork (o branch), nell'ambito dell'ingegneria del software e dell'informatica, indica lo sviluppo di un nuovo progetto software che parte dal codice sorgente di un altro già esistente, ad opera di un programmatore.
Nuovo!!: Haskell (linguaggio) e Fork (sviluppo software) · Mostra di più »
General purpose
I dispositivi general purpose (espressione inglese, letteralmente "scopo generale", traducibile "per uso generale"), nell'ambito delle discipline applicate e in merceologia, sono strumenti o meccanismi caratterizzati da una certa versatilità, adatti a molti impieghi e non specializzati per particolari esigenze.
Nuovo!!: Haskell (linguaggio) e General purpose · Mostra di più »
Generics Java
Il JDK 1.5 ha introdotto alcune estensioni al linguaggio Java.
Nuovo!!: Haskell (linguaggio) e Generics Java · Mostra di più »
Glasgow Haskell Compiler
Il glorioso sistema di compilazione di Glasgow di Haskell (The Glourious Glasgow Haskell Compilation System), conosciuto come Glasgow Haskell Compiler (GHC), è un compilatore per codice sorgente in linguaggio di programmazione Haskell.
Nuovo!!: Haskell (linguaggio) e Glasgow Haskell Compiler · Mostra di più »
Google (azienda)
Google LLC è un'azienda statunitense che offre servizi online, con quartier generale a Mountain View in California, nel cosiddetto Googleplex.
Nuovo!!: Haskell (linguaggio) e Google (azienda) · Mostra di più »
Haskell Curry
Figlio dell'educatore Samuel Silas Curry, studiò all'Università di Harvard e ricevette il dottorato a Gottinga nel 1930, sotto la supervisione di David Hilbert.
Nuovo!!: Haskell (linguaggio) e Haskell Curry · Mostra di più »
Hello world
L'interfaccia grafica di un programma scritto in Perl che stampa il messaggio "''Hello world!''" "Hello, World!" su Debian GNU/Hurd, in xfce4-terminal. Hello, world! (in Italiano "Ciao, mondo!") è un semplice programma informatico che produce come risultato - output - la scritta "Hello, world!" o altre varianti.
Nuovo!!: Haskell (linguaggio) e Hello world · Mostra di più »
Input/output
Con input/output (abbreviato I/O) in informatica si intendono tutte le interfacce messe a disposizione dal sistema operativo, o più in generale da qualunque sistema di basso livello, ai programmi per effettuare uno scambio di dati o segnali con altri col computer o con lo stesso sistema.
Nuovo!!: Haskell (linguaggio) e Input/output · Mostra di più »
Intel
Intel Corporation è un'azienda multinazionale USA fondata nel 1968 con sede a Santa Clara (California).
Nuovo!!: Haskell (linguaggio) e Intel · Mostra di più »
Java (linguaggio di programmazione)
In informatica Java è un linguaggio di programmazione ad alto livello, orientato agli oggetti e a tipizzazione statica, specificatamente progettato per essere il più possibile indipendente dalla piattaforma di esecuzione.
Nuovo!!: Haskell (linguaggio) e Java (linguaggio di programmazione) · 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!!: Haskell (linguaggio) 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!!: Haskell (linguaggio) e Linguaggio di programmazione · Mostra di più »
LINQ
Language Integrated Query (LINQ, si pronuncia "link") è un componente del.NET Framework di Microsoft che aggiunge ai linguaggi.NET la possibilità di effettuare interrogazioni su oggetti utilizzando una sintassi simile a SQL.
Nuovo!!: Haskell (linguaggio) e LINQ · Mostra di più »
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Nuovo!!: Haskell (linguaggio) e Lisp · Mostra di più »
Mercury (linguaggio)
Mercury è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato.
Nuovo!!: Haskell (linguaggio) e Mercury (linguaggio) · Mostra di più »
Microsoft
Microsoft Corporation, (in precedenza Micro-soft Company e Microsoft Inc., detta comunemente per ellissi Microsoft) è una azienda d'informatica con sede a Redmond nello Stato di Washington (USA).
Nuovo!!: Haskell (linguaggio) e Microsoft · Mostra di più »
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.
Nuovo!!: Haskell (linguaggio) e Miranda (linguaggio di programmazione) · 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!!: Haskell (linguaggio) e ML (linguaggio di programmazione) · Mostra di più »
Modularità
La modularità è un concetto che trova applicazione nel contesto dell'informatica, più precisamente nella programmazione, così come le scienze cognitive nello scoprire la struttura della mente.
Nuovo!!: Haskell (linguaggio) e Modularità · Mostra di più »
Multipiattaforma
In informatica il termine multipiattaforma può essere riferito ad un linguaggio di programmazione, ad un'applicazione software o ad un dispositivo hardware che funziona su più di un sistema o appunto, piattaforma (es. Unix/Linux, Windows e Macintosh).
Nuovo!!: Haskell (linguaggio) e Multipiattaforma · Mostra di più »
NVIDIA
NVIDIA Corporation (titolo nasdaq NVDA) è una grande azienda produttrice di processori grafici, schede madri e componenti per prodotti multimediali per PC e console come la prima Xbox, Playstation 3 e Nintendo Switch.
Nuovo!!: Haskell (linguaggio) e NVIDIA · Mostra di più »
OCaml
OCaml è un avanzato linguaggio di programmazione appartenente alla famiglia di linguaggi di programmazione ML.
Nuovo!!: Haskell (linguaggio) e OCaml · Mostra di più »
Perl 6
Perl 6 è uno dei membri della famiglia Perl dei linguaggi di programmazione.
Nuovo!!: Haskell (linguaggio) e Perl 6 · 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!!: Haskell (linguaggio) 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!!: Haskell (linguaggio) e Python · Mostra di più »
Qualcomm
Qualcomm è una società statunitense di ricerca e sviluppo nel campo delle telecomunicazioni senza fili con sede a San Diego, in California (USA).
Nuovo!!: Haskell (linguaggio) e Qualcomm · Mostra di più »
Quicksort
Quicksort è un algoritmo di ordinamento ricorsivo in place non stabile.
Nuovo!!: Haskell (linguaggio) e Quicksort · Mostra di più »
Scala (linguaggio di programmazione)
Scala (da Scalable Language) è un linguaggio di programmazione di tipo general-purpose multi-paradigma studiato per integrare le caratteristiche e funzionalità dei linguaggi orientati agli oggetti e dei linguaggi funzionali.
Nuovo!!: Haskell (linguaggio) e Scala (linguaggio di programmazione) · Mostra di più »
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, usato per decenni come testo in alcuni esami di Scienze dell'Informazione.
Nuovo!!: Haskell (linguaggio) e Scheme · Mostra di più »
Simple DirectMedia Layer
Simple DirectMedia Layer (SDL) è una libreria libera multimediale multi piattaforma, scritta in C, che crea un livello astratto al di sopra di varie piattaforme software grafiche e sonore e dunque può controllare video, audio digitale, CD-ROM, suoni, thread, caricamento condiviso di oggetti, timer e networking.
Nuovo!!: Haskell (linguaggio) e Simple DirectMedia Layer · Mostra di più »
Successione di Fibonacci
La successione di Fibonacci (detta anche successione aurea), indicata con F_n o con Fib(n), in matematica indica una successione di numeri interi positivi in cui ciascun numero a cominciare dal terzo è la somma dei due precedenti, dove i primi due sono (per definizione) F_1.
Nuovo!!: Haskell (linguaggio) e Successione di Fibonacci · Mostra di più »
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.
Nuovo!!: Haskell (linguaggio) e Tipizzazione forte · Mostra di più »
Tipizzazione statica
In programmazione, la tipizzazione statica è una particolare politica di tipizzazione, ovvero di assegnazione di tipi alle variabili.
Nuovo!!: Haskell (linguaggio) e Tipizzazione statica · Mostra di più »
Università di Utrecht
L'Università di Utrecht (in olandese Universiteit Utrecht) si trova a Utrecht ed è stata fondata nel 1636.
Nuovo!!: Haskell (linguaggio) e Università di Utrecht · Mostra di più »
Università Yale
L'Università Yale (Yale University) è un'università privata di New Haven (Connecticut).
Nuovo!!: Haskell (linguaggio) e Università Yale · 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!!: Haskell (linguaggio) e Valutazione lazy · Mostra di più »
Visual Basic
Il Visual Basic (formalmente abbreviato VB) è un linguaggio di programmazione event driven arrivato fino alla versione 12, la cui sintassi deriva dal BASIC.
Nuovo!!: Haskell (linguaggio) e Visual Basic · Mostra di più »
XX secolo
È il secondo secolo dell'età contemporanea, un secolo caratterizzato dalla rivoluzione russa, dalle due guerre mondiali e dai regimi totalitari, intervallate dalla grande depressione del 29 nella prima metà del secolo e dalla terza rivoluzione industriale fino all'era della globalizzazione nella seconda metà.
Nuovo!!: Haskell (linguaggio) e XX secolo · Mostra di più »
Zucchero sintattico
Zucchero sintattico (Syntactic sugar) è un termine coniato dall'informatico inglese Peter J. Landin per definire costrutti sintattici di un linguaggio di programmazione che non hanno effetto sulla funzionalità del linguaggio, ma ne rendono più facile ("dolce") l'uso per gli esseri umani.
Nuovo!!: Haskell (linguaggio) e Zucchero sintattico · Mostra di più »
1978
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 1978 · Mostra di più »
1987
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 1987 · Mostra di più »
1988
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 1988 · Mostra di più »
1990
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 1990 · Mostra di più »
1998
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 1998 · Mostra di più »
2002
È stato proclamato l'Anno internazionale delle montagne.
Nuovo!!: Haskell (linguaggio) e 2002 · Mostra di più »
2006
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 2006 · Mostra di più »
2009
Nessuna descrizione.
Nuovo!!: Haskell (linguaggio) e 2009 · Mostra di più »
