Domande con tag 'haskell'

domande con tag
3
risposte

Base delle definizioni

Supponiamo di avere un insieme di funzioni che caratterizzano qualcosa: nei metodi del mondo OO che caratterizzano un tipo. In matematica queste sono proposizioni e abbiamo due tipi: assiomi e lemmi. Gli assiomi sono assunzioni, i lemmi sono fac...
posta 07.01.2012 - 02:24
1
risposta

Quali sono le limitazioni dell'approccio dell'eccezione Java agli errori?

Ignora i problemi di rendimento, sono interessante nel flusso di dati, sicurezza, modellazione, ragionamento. Mi chiedo quali sono le limitazioni dell'approccio alle eccezioni alla segnalazione degli errori implementate come in Java rispett...
posta 22.05.2016 - 10:31
1
risposta

A quale livello l'HDBC di Haskell è pigro?

La documentazione HDBC afferma: fetchAllRows :: Statement -> IO [[SqlValue]]Source Lazily fetch all rows from an executed Statement. You can think of this as hGetContents applied to a database result set. The result of...
posta 25.04.2014 - 22:10
1
risposta

Modern REPL for Haskell - qualcuno ci sta lavorando? [chiuso]

È tempo Haskell ha un REPL moderno come quello di Mathematica (o meglio). Effettua ogni calcolo eseguito in un thread separato, in modo che l'utente abbia il controllo sulle risorse di ciascuna casella di calcolo (possibilità di mettere in pa...
posta 13.05.2013 - 08:40
1
risposta

Buona soluzione di serializzazione per la comunicazione tra i programmi Python AND Haskell? [chiuso]

Ho trovato questo: link Ma ... non l'ho mai usato, quindi non so se sia molto buono. Qualcuno ha proposte? Requisiti di base: serializza il maggior numero possibile di strutture dati usate tipicamente in entrambe le lingue, non ha...
posta 07.02.2013 - 15:00
1
risposta

Erlang / Haskell web service to server files [closed]

Ho trovato un thread in cui si menziona che Erlang non sarebbe adatto per un'applicazione web che serve i file. Ero curioso di sapere se qualcuno avesse mai avuto esperienza con la creazione di un tale servizio web con erlang? Haskell sarebbe...
posta 09.02.2013 - 16:26
1
risposta

Sostituzione dinamica * dll?

Ho un problema di architettura qui. Lascia che ci sia un IShell . Principalmente responsabile della mappatura dei comandi dell'utente (rappresentati come stringhe di tipo linux) a un% di% di co_de appropriato. Questi eseguibili sono pi...
posta 15.02.2018 - 11:17
1
risposta

Come fare un interprete per una pila di Transformers Monad gratuiti

Mi piace l'idea di usare le monade libere per "purificare" il codice e l'ho usato in alcuni semplici scenari. Tuttavia, non riesco a capire come scrivere un interprete per un trasformatore gratuito. In particolare una pila di monadi gratuiti....
posta 23.01.2015 - 03:54
2
risposte

Perché una monade usa "ritorno" o "unità" piuttosto che "lift"?

Questa è in parte genuina curiosità e in parte un controllo sulla mia comprensione. Probabilmente mi manca il punto. In Haskell, perché una monade usa operazioni chiamate return o unit per descrivere l'inserimento di un tipo nel con...
posta 04.03.2014 - 00:56
3
risposte

In Haskell, è una "violazione" della programmazione funzionale interagire con qualcosa che non era un parametro di funzione?

Sono sicuro che questo deve essere stato chiesto prima, ma non riesco a trovare da nessuna parte che in realtà risponde alla mia domanda, quindi scuse se ho semplicemente trascurato questo. Attualmente sto imparando Haskell e mi piace il modo...
posta 23.09.2018 - 11:52