ghc

9calore

2risposta

Elenchi di lunghezza fissa e letterali tipo

Sto provando a definire un tipo per gli elenchi di lunghezza fissa in Haskell. Quando uso il modo standard per codificare i numeri naturali come tipi in unario, tutto funziona correttamente. Tuttavia,

6calore

2risposta

Perché questo programma Haskell perde spazio quando compilato con ottimizzazioni?

Si consideri il seguente programma giocattolo che calcola tutte le combinazioni di sostituzioni di caratteri in una parola, del tipo spesso utilizzato nelle password. import Data.Char (isLower, toUppe

6calore

2risposta

La versione del pacchetto di base si riferisce alla versione GHC?

Poiché base contiene alcuni moduli GHC, sembra che possa essere accoppiato con una determinata versione di GHC. Supponiamo che io voglia usare una libreria che dipende da base:4.8.0.0, significa che r

18calore

2risposta

GHC crea una nuova copia di un oggetto quando lo decostruisce e lo ricostruisce?

Se ho un tipo come data T = T Int String e una funzione in questo modo: identity :: T -> T identity (T a b) = T a b Dopo la decostruzione nel pattern matching, fa GHC creare un nuovo oggetto T che

5calore

1risposta

perché tubi definisce le funzioni interne

che sto guardando il codice sorgente della libreria pipes e per esempio nel Core module non capisco il motivo per cui l'autore è tutto il luogo utilizzando il modello di funzioni che definiscono così:

16calore

1risposta

Coercible con GHC 7.10

Il seguente codice funziona in GHC 7.8.4: import Data.Coerce coerceNewtype :: (Coercible (o r) (n m' r)) => [o r] -> [n m' r] coerceNewtype = coerce ma in 7.10 ottengo l'errore: Couldn't match rep

9calore

1risposta

Quali sono le differenze tra inline-c e language-c-inline?

Ho esaminato brevemente le librerie di quasi quotazioni per Haskell. Queste librerie consentono ad Haskell di integrarsi con altre lingue. Per l'integrazione con C, sembra che vi sia due pacchetti con

7calore

1risposta

GHC per thread Strategia GC

Ho un server API Scotty che costruisce una query Elasticsearch, recupera i risultati da ES e esegue il rendering del json. In confronto ad altri server come Phoenix e Gin, sto diventando più elevato u

6calore

1risposta

Scopo di Data.Vector.Mixed

Nella libreria hybrid-vectors di Edward Kmett sono presenti due moduli principali: Data.Vector.Hybrid e Data.Vector.Mixed. C'è uno big article scritto sulla motivazione dietro il primo. Quest'ultimo è

5calore

1risposta

I codici di REBR. GHC devono essere di tipo preservativo?

import Data.Void (Void,absurd) dire che ho un linguaggio piccolo termine: data Term c v where Var :: v -> Term c v Con :: c -> [Term c v] -> Term c v Se voglio combinare i termini del