ghc

11calore

1risposta

GHC può avvisare in merito all'uso di funzioni non totali pericolose?

Ho scritto rapidamente un codice in Haskell e ho utilizzato una funzione non totale pericolosa, ovvero fromJust (dove mi aspetto un valore dall'input). Ho intenzione di pensare più tardi che tipo di s

5calore

1risposta

Il modo migliore per allegare "Imposta centro costi" a un Monad (Haskell)

Sto provando a profilare il mio programma con annotazioni SCC (Imposta centro di costo). Qual è il modo migliore per scoprire quanto tempo ci vuole per una monade definita da una dichiarazione do da e

6calore

2risposta

Fa in modo che GHC ignori gli errori non nello spazio

Sto costruendo un modulo in cui ogni volta che scrivo una funzione, chiama una dozzina di altre funzioni che non esistono ancora. Ovviamente alla fine esisteranno, ma sarebbe bello essere in grado di

11calore

1risposta

Perché GHC avvisa solo sulle classi implementate parziali e non sull'errore?

Credo che il titolo è già auto esplicativo, ma ecco un esempio in ogni caso per dimostrare il mio punto: class Foo a where someFunction :: a -> a -> Bool instance Foo Bool Quando compilo ques

10calore

1risposta

Come posso passare le opzioni RTS a runghc?

Per ghci, posso limitare la ghci memoria può utilizzare da $ ghci +RTS -M10m -RTS Quando compilo tutto il programma, posso $ ghc -rtsopts a.hs poi $ ./a +RTS -M10m Come posso fare questo per run

11calore

3risposta

Quale dizionario sceglie GHC quando ne sono presenti più di uno?

consideri il seguente esempio: import Data.Constraint class Bar a where bar :: a -> a foo :: (Bar a) => Dict (Bar a) -> a -> a foo Dict = bar GHC ha due scelte per il dizionario da utilizz

13calore

1risposta

Come disabilitare Garbage Collection in GHC Haskell?

Come disattivare i GC o ridurre notevolmente la frequenza dei GC? Come dargli un'opzione +RTS per un mucchio enorme o dimensioni di allocazione forse? Voglio vedere come si comporta il mio programma q

7calore

1risposta

GHC StablePointer ragionamento sull'uguaglianza

Ho appena saputo della funzione StablePointer di GHC, che è davvero interessante, ma non riesco a capire perché non abbia mostrato le cose come uguali. Qui è il mio banco di prova: -- Example 1 impor

9calore

2risposta

È possibile avere sinonimi di tipo smemorato in Haskell?

Se ho un tipo con un parametro fantasma che ho solo qualche volta a cuore, come questo: data Foo p a b = Bar a b C'è un modo hack per scrivere un tipo sinonimo Baz tale che Baz a b è Foo p a b per q

11calore

2risposta

Qual è la differenza tra `ioToST` e` unsafeIOToST` da GHC.IO

Quali sono le differenze e gli usi previsti per ioToST e unsafeSTToIO definiti in GHC.IO? -- --------------------------------------------------------------------------- -- Coercions between IO and S