Haskell Programming Language - Learn Functional Programming for iOS

Descrizione

Il classico linguaggio di programmazione Haskell per iPad, iPhone e iPod touch. Il linguaggio di programmazione è uno strumento perfetto per lo studio, il calcolo matematico complesso, l'intrattenimento e molte altre attività utili. L'applicazione è particolarmente utile per l'apprendimento del linguaggio di programmazione Haskell. Devi acquistare compilation all'interno dell'applicazione. È necessaria una connessione a Internet. - Il grande strumento di programmazione su 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 di testo. - Editor di codice sorgente migliorato con evidenziazione della sintassi, numeri di riga, temi di colore e tastiera aggiuntiva.- Riferimento linguistico online e diversi esempi di programma. * LIMITAZIONI * - Per compilare ed eseguire un programma è necessaria una connessione a Internet. - 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 puramente funzionale standardizzato e generico , con semantica non rigida e tipizzazione statica forte. Prende il nome dal logico Haskell Curry. In Haskell, "una funzione è un cittadino di prima classe" del linguaggio di programmazione. In quanto linguaggio di programmazione funzionale, il costrutto di controllo principale è la funzione. Dopo il rilascio di Miranda da parte di Research Software Ltd, nel 1985, l'interesse per i linguaggi funzionali pigri è cresciuto: nel 1987 esistevano più di una dozzina di linguaggi di programmazione non rigidi e puramente funzionali . Di questi, Miranda era il più utilizzato, ma era un software proprietario. Alla conferenza sui linguaggi di programmazione funzionale e l'architettura del computer a Portland, Oregon, si è tenuto un incontro durante il quale i partecipanti hanno formato un forte consenso sulla formazione di un comitato per definire uno standard aperto per tali linguaggi. Lo scopo del comitato era di consolidare i linguaggi funzionali esistenti in uno comune che servisse come base per la ricerca futura nella progettazione di linguaggi funzionali. Haskell offre valutazione pigra, corrispondenza di modelli, comprensione di elenchi, classi di tipi e polimorfismo di 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, ortogonale 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 tipi forte e statico basato sull'inferenza del tipo HindleyMilner. La principale innovazione di Haskell in quest'area è l'aggiunta di classi di tipi, originariamente concepite come un modo di principio per aggiungere sovraccarico al linguaggio, ma da allora hanno trovato molti più usi. Il costrutto che rappresenta gli effetti collaterali è un esempio di monade. Le monadi sono una struttura generale che può 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 tipi di dati ordinari, ma Haskell fornisce un po' di zucchero sintattico per il loro utilizzo. Il linguaggio ha una specifica aperta e pubblicata ed esistono molteplici implementazioni. Esiste una comunità attiva attorno al linguaggio 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 esegue sulla maggior parte delle piattaforme. GHC è noto per la sua implementazione ad alte prestazioni di concorrenza e parallelismo e per avere un ricco sistema di tipi che incorpora innovazioni recenti come tipi di dati algebrici generalizzati e famiglie di tipi.