Domande con tag 'haskell'

domande con tag
3
risposte

Perché alcuni linguaggi funzionali necessitano di memoria transazionale del software?

I linguaggi funzionali, per definizione, non dovrebbero mantenere variabili di stato. Perché, allora, Haskell, Clojure e altri forniscono implementazioni di memoria transazionale software (STM)? C'è un conflitto tra due approcci?     
posta 07.09.2011 - 15:42
1
risposta

L'inferenza di Hindley-Milner può funzionare per la lingua Go?

Ho letto che Hindley-Milner non funziona con i sistemi di tipi che hanno sottoclassi e ci sono altre funzionalità di sistema di tipo che anche non funzionano bene con esso. Vai attualmente ha inferenza di tipo molto limitata nell'operatore :...
posta 18.04.2016 - 14:44
2
risposte

Il modo più semplice per segnalare errori in Haskell

Sto lavorando per imparare Haskell e ho scoperto tre diversi modi di affrontare gli errori nelle funzioni che scrivo: Posso semplicemente scrivere error "Some error message." , che genera un'eccezione. Posso avere la mia funzione resti...
posta 11.08.2014 - 21:30
3
risposte

Che cos'è la suddivisione delle banane e la fusione nella programmazione funzionale?

Questi termini sono stati menzionati nel mio corso universitario. Il google veloce mi ha indirizzato verso alcuni documenti universitari, ma sto cercando una spiegazione semplice.     
posta 27.11.2014 - 06:56
1
risposta

Perché Haskell non ha astrazioni lambda di livello tipo?

Ci sono alcuni motivi teorici per questo (come il controllo del tipo o l'inferenza del tipo diventerebbe indecidibile), o ragioni pratiche (troppo difficili da implementare correttamente)? Al momento possiamo raggruppare le cose in newtype...
posta 01.12.2012 - 09:55
3
risposte

haskell ha tipi dipendenti?

So che Haskell ha già la possibilità di parametrizzare un tipo su un altro tipo (simile alla programmazione di template in C ++), ma mi chiedo se Haskell possa anche parametrizzare un tipo su valori - se supporta tipi dipendenti. Con i tipi dipe...
posta 09.01.2013 - 18:26
3
risposte

Come migliorare l'efficienza con la programmazione funzionale?

Recentemente ho esaminato la ti ho imparato una guida Haskell per il massimo e come pratica ho voluto risolvere Project Euler Problem 5 con esso, che specifica: What is the smallest positive number that is evenly divisible by all of the...
posta 28.01.2013 - 14:16
2
risposte

Tipo di controllo e tipi ricorsivi (Scrivere il combinatore Y in Haskell / Ocaml)

Quando si spiega il combinatore Y nel contesto di Haskell, di solito si nota che l'implementazione diretta non effettuerà il check-in di tipo Haskell a causa del suo tipo ricorsivo. Ad esempio, da Rosettacode : The obvious definition of th...
posta 27.10.2013 - 21:43
1
risposta

Indagine sui framework web Haskell [chiuso]

Ci sono diversi framework web per Haskell come Happstack , Scatta e Yesod , e probabilmente qualcos'altro. In quali aspetti differiscono l'uno dall'altro? Ad esempio: funzionalità (ad esempio solo server o anche client scripting, faci...
posta 09.03.2011 - 19:32
1
risposta

Haskell ambiente build e artefatto simile a Maven

Ero uno sviluppatore Java da molto tempo, ma recentemente mi sono unito a un team Haskell. Nel mondo java, se hai un grande progetto, con diversi team che lavorano su di esso, un approccio comune è quello di utilizzare un server artefatto come M...
posta 05.03.2015 - 19:43