Haskell Programming Language - Learn Functional Programming 9.4

Circa Haskell Programming Language - Learn Functional Programming

Il classico linguaggio di programmazione Haskell per iPad, iPhone e iPod touch. Il linguaggio di programmazione è uno strumento perfetto per studiare, calcolo matematico complesso, intrattenimento e molti altri compiti utili. L'applicazione è particolarmente utile per imparare il linguaggio di programmazione Haskell. Devi acquistare compilation all'interno dell'applicazione. È necessaria la connessione Internet. - Il grande strumento di programmazione sull'AppStore. - Il tuo linguaggio di programmazione per iOS è fantastico! * CARATTERISTICHE * - Compila ed esegui il tuo programma. - Input di testo prima dell'esecuzione del programma e output del testo. - Editor di codice sorgente avanzato con evidenziazione della sintassi, numeri di riga, temi di colore e tastiera aggiuntiva. - Riferimento linguistico online e diversi campioni di programma. * LIMITAZIONI * - La connessione Internet è necessaria per compilare ed eseguire un programma. - Grafica, rete, file system e input in tempo reale non sono supportati. - Il tempo massimo di esecuzione di un programma è di 15 secondi. Grazie per aver utilizzato l'applicazione! ====================================== Haskell è un linguaggio di programmazione standardizzato e generico puramente funzionale, con semantica non rigorosa e forte tipizzazione statica. Prende il nome dal logico Haskell Curry. In Haskell, "una funzione è un cittadino di prima classe" del linguaggio di programmazione. Come linguaggio di programmazione funzionale, il costrutto di controllo primario è la funzione. In seguito all'uscita di Miranda da parte della Research Software Ltd, nel 1985, l'interesse per i linguaggi funzionali pigri crebbe: nel 1987 esistevano più di una dozzina di linguaggi di programmazione non rigorosi e puramente funzionali. Di questi, Miranda era il software più utilizzato, ma era proprietario. Alla conferenza sui linguaggi di programmazione funzionale e l'architettura informatica a Portland, Oregon, si è tenuta una riunione durante la quale i partecipanti hanno formato un forte consenso sulla necessità di formare un comitato per definire uno standard aperto per tali linguaggi. Lo scopo della commissione era quello di consolidare i linguaggi funzionali esistenti in uno comune che servirebbe come base per la futura ricerca nella progettazione del linguaggio funzionale. Haskell presenta una valutazione pigra, la corrispondenza dei modelli, la comprensione delle liste, le classi di tipi e il polimorfismo dei tipi. È un linguaggio puramente funzionale, il che significa che in generale, le funzioni in Haskell non hanno effetti collaterali. Esiste un costrutto distinto per rappresentare gli effetti collaterali, ortogonali al tipo di funzioni. Una funzione pura può restituire un effetto collaterale che viene successivamente eseguito, modellando le funzioni impure di altri linguaggi. Haskell ha un sistema di tipo forte e statico basato sull'inferenza del tipo Hindley Milner. La principale innovazione di Haskell in questo settore è l'aggiunta di classi di tipi, che sono state originariamente concepite come un modo di principio per aggiungere sovraccarico alla lingua, ma da allora hanno trovato molti più usi. Il costrutto che rappresenta gli effetti collaterali è un esempio di monade. Le monadi sono un framework generale in grado di modellare diversi tipi di calcolo, tra cui la gestione degli errori, il non determinismo, l'analisi e la memoria transazionale del software. Le monadi sono definite come normali tipi di dati, ma Haskell fornisce un po 'di zucchero sintattico per il loro uso. Il linguaggio ha una specifica aperta e pubblicata e esistono più implementazioni. C'è una comunità attiva intorno alla lingua e più di 5400 librerie e strumenti open source di terze parti sono disponibili nel repository di pacchetti online Hackage. L'implementazione principale di Haskell, GHC, è sia un interprete che un compilatore di codice nativo che viene eseguito sulla maggior parte delle piattaforme. GHC è noto per la sua implementazione ad alte prestazioni di concorrenza e parallelismo, e per avere un sistema di tipo ricco che incorpora innovazioni recenti come tipi di dati algebrici generalizzati e famiglie di tipi.