haskell

9calore

1risposta

Perché unsigned int è così raro in haskell?

Generalmente le librerie di Haskell si impegnano a rendere gli stati impossibili non rappresentabili nei tipi. Ma vedo spesso Int usato dove ha senso solo un numero non negativo. Perché lo Word non vi

5calore

3risposta

Haskell Strange Operator

Per un incarico per la mia classe di programmazione funzionale sto lavorando a un esercizio sugli alberi. E più specificamente sugli alberi di rose. Nel framework che abbiamo ottenuto il tipo di dati

9calore

1risposta

Esiste un'alternativa "sicura" che sostituisce i dati di Data.String.Utils in Haskell?

Sono in grado di contrassegnare come "Safe" codice che contiene, per esempio import Data.String.Utils (replace) preproc :: String -> String preproc s = foldl1 fmap (uncurry replace <$> subs) s

6calore

1risposta

Documentazione differenziale con eglefino

Se faccio un cabal build sulla mia libreria, quindi cambio un file, la prossima volta che eseguo cabal build, devo solo ricompilare i file interessati dalle modifiche. Non sto ottenendo lo stesso comp

9calore

1risposta

Monadic Fold in Constant Space

Come posso piegare una lista pigra usando un'azione monadica nello spazio costante? Il problema che sto cercando di risolvere è l'aggregazione di un file di grandi dimensioni, e credo che per motivi d

10calore

4risposta

Scrivendo la monade identità in termini di libera

In "Tipi di dati alla carte" Swierstra scrive che dato Free (che egli chiama Term) e Zero è possibile implementare la monade Identità: data Term f a = Pure a | Impure (f (Term f a)) data Zero

5calore

1risposta

Posso fare in modo che Stack usi la mia libreria Cabal con patch?

Qualcuno sa se esiste un modo semplice per fare in modo che Stack usi la versione con patch specifica della libreria Cabal dal mio repository GitHub? Sono molto contento di come posso usare le version

20calore

2risposta

Generazione di documentazione per il mio codice con Haddock e stack

Ho annotato il mio codice in stile Haddock e desidero generare documentazione in grado di navigare. Poiché sto anche usando lo stack, voglio integrare la generazione della documentazione nel flusso di

8calore

1risposta

Quali pacchetti sono cablati in GHC?

Durante il tentativo dello cabal sandbox, ho riscontrato che non è possibile installare versioni diverse di base e alcuni altri pacchetti in sandbox come indicato in this answer. Mi chiedo quali pacch

6calore

1risposta

classe Generalizzando Parametri

Diciamo che ho la classe: class C a b t where f :: (a, b) -> (t a, t b) Ora, con questa definizione, posso definire le istanze per dire: (a,b) -> (Maybe a, Maybe b) (a,b) -> ([a], [b]) Ma no