ghc

5calore

1risposta

Perché gli eseguibili creati con GHC 7.10.2 hanno dipendenze sia con librt che con libc?

Secondo https://docs.oracle.com/cd/E36784_01/html/E36873/librt-3lib.html Storicamente, funzioni della libreria fornito molte delle interfacce specificate da POSIX.1b tempo reale estensione. Vedi gli s

10calore

2risposta

Rappresentazione runtime speciale di [] tipo?

consideri la semplice definizione di un vettore di lunghezza-indicizzato: data Nat = Z | S Nat infixr 5 :> data Vec (n :: Nat) a where V0 :: Vec 'Z a (:>) :: a -> Vec n a -> Vec ('S n) a

14calore

2risposta

Word foldl 'non è ottimizzato così come Int foldl'

import Data.List test :: Int -> Int test n = foldl' (+) 0 [1..n] main :: IO() main = do print $ test $ 10^8 GHC ottimizza il codice di cui sopra, al punto che il garbage collector non ha

9calore

1risposta

Profilo con una sola funzione (o centro di costo) con GHC

Sto provando a profilare un codice Haskell usando gli strumenti di profilazione GHC. Il centro di costo a cui sono più interessato, tuttavia, è attualmente dominato da un gruppo di codice di inizializ

8calore

1risposta

Posso chiedere a GHC di importare Debug.Trace per ogni modulo durante lo sviluppo?

Il titolo è abbastanza auto-esplicativo. Aggiungo spesso tracce durante il debug, che richiede l'aggiunta dell'importazione Debug.Trace. Tuttavia, altrettanto spesso mi dimentico di rimuoverle quando

6calore

1risposta

Come disambiguare la funzione selettore?

In GHC 8: {-# LANGUAGE DuplicateRecordFields #-} data Dog = Dog { name::String } data Human = Human { name::String } dog = Dog "Spike" main = putStrLn $ name dog Questo codice non può essere

12calore

1risposta

Haskell Performance di Esempio

ho questi tipi di base nel mio codice: newtype Foo (m :: Factored) = Foo Int64 deriving (NFData) foo :: forall m . (Fact m) => Foo m -> Foo m class T t where t :: (Fact m) => t m -> t m instance

10calore

1risposta

Perché la suite di test GHC è scritta in Python, non Haskell?

Ho notato che GHC (un compilatore Haskell ampiamente utilizzato) ha una suite di test scritta in Python, non in Haskell (come mi aspetterei ingenuamente). Qual è la storia di questo? Ci sono particola

113calore

4risposta

Riduzione del tempo di pausa della raccolta dati obsoleti in un programma Haskell

Stiamo sviluppando un programma che riceve e inoltra "messaggi", mantenendo una cronologia temporanea di tali messaggi, in modo che possa dirvi la cronologia dei messaggi, se richiesta. I messaggi son

5calore

1risposta

Haskell: GADT con ESTRAZIONE Pragma

ESTRAZIONE supporta normali tipi di dati, come mostrato nella figura seguente: data T = T {-# UNPACK #-} ! Int Ma c'è un modo per utilizzare il Pragma ESTRAZIONE con GADT?