ghc

26calore

4risposta

Annotazione Boilerplate di AST in Haskell?

Ho giocato con il compilatore Elm, che è scritto in Haskell. mi piacerebbe iniziare ad attuare alcune ottimizzazioni per esso, e parte di questo comporta che attraversa l'AST e l'aggiunta di "annotazi

5calore

1risposta

Che cos'è un valore unbox in GHC Haskell e quando dovremmo usarli?

GHC Haskell espone il pacchetto prim, che contiene le definizioni dei valori unboxed, come ad esempio Int#, Char#, ecc In cosa differiscono dal default Int, Char, ecc, i tipi in regular Haskell? Un'ip

5calore

1risposta

Perché Haskell richiede che tutte le librerie siano abilitate alla profilazione per la profilazione?

Q: Profile Haskell without installing installing profiling libraries for all dependencies A: Non è possibile. Basta installarli, qual è il problema? Perché? Se desidero solo profilare il mio codice, c

6calore

2risposta

Le regole di riscrittura GHC sanno riconoscere lo zucchero sintattico?

Ad esempio con gli elenchi, se si scrive una regola con LHS di myFn [x], sarà possibile attivare anche quando il programmatore scrive myFn (x:[])? o dovrò scrivere una regola separata per ogni possibi

11calore

1risposta

L'ordine dei costruttori/casi/guardie/if-then-else è importante per le prestazioni?

Ho visto questo commento in contenitori/dati/Set/Base.hs -- [Note: Order of constructors] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- The order of constructors of Set matters when considering performance.

5calore

1risposta

Gasdotto GHC: Core, STG - AST o testo?

Nella pipeline di GHC c'è una fase di traduzione del codice sorgente Haskell in Core e quindi (non necessariamente come passaggio successivo immediato) della conversione di Core in STG. Tuttavia, un p

8calore

2risposta

Perché una severa funzione di lunghezza ha prestazioni sensibilmente più veloci?

Mi sono divertito con le definizioni per comprendere meglio il modello di valutazione e ne ho scritte due per la lunghezza di un elenco. La definizione naive: len :: [a] -> Int len [] = 0 len (_:xs)

14calore

1risposta

tipo familiare Shenanigans in GHCi

Ecco il mio codice: {-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, PolyKinds, FlexibleContexts, UndecidableInstances #-} module Foo where import Data.Singletons.Prelude import Data.Type.Equ

7calore

2risposta

Aiutare GHC unboxing un int nell'uguaglianza su una costante

Ecco un programma di test: main = do n <- fmap read $ getLine :: IO Int if (999999 == n) then putStrLn "equal" else return() E qui è il bit rilevante del nucleo quando si compila con ghc -

10calore

2risposta

Errore di run-time durante il tentativo di stampare un carattere Unicode

Char è il tipo per caratteri Unicode in Haskell e String è semplicemente [Char] (ovvero un elenco di articoli Char). Ecco qualche semplice codice: main = putStrLn "©" -- Unicode string Questo codice