haskell

6calore

2risposta

Algoritmica complessità di Data.Hashtable

Sto tentando di scrivere una funzione che utilizza hash (per un'implementazione di A *). Dopo un po 'di ricerca, ho trovato che lo standard defacto è Data.Map. Tuttavia, leggendo la documentazione API

7calore

1risposta

più descrittivo messaggi di errore da GHC

ho eseguito un codice attraverso GHCI, e ottenuto questo errore: *** Exception: Prelude.!!: index too large Dopo un po 'ho continuato a risolvere il bug (che è stato causato, come si potrebbe immagi

14calore

1risposta

Haskell scartare una scintilla quando il thunk viene raccolto?

Per esempio: x :: Maybe a y :: a y `par` x `pseq` (fromMaybe y x) è la scintilla di y fermato e scartato se x viene calcolata (molto) prima ed è Just ...? Per essere più specifici, voglio cercare

6calore

2risposta

Come inferire manualmente il tipo di '(.). (.). (.) '?

Nel discorso di Edward Kmett Lenses, Folds, and Traversals, sullo scivolo "Il potere è nella Dot", egli mostra il tipo di (.) . (.) . (.) è (a -> b) -> (c -> d -> e -> a) -> c -> d -> e -> b posso ved

8calore

1risposta

La riflessione rischia di incoerenza?

Il pacchetto reflection offre una classe class Reifies s a | s -> a where reflect :: proxy s -> a e una funzione reify :: a -> (forall s . Reifies s a => Proxy s -> r) -> r dato solo questi,

11calore

3risposta

Perché non esiste una classe di caratteri `Cofunctor` in Haskell?

Monads get fmap da Functor typeclass. Perché le comonad non hanno bisogno di un metodo cofmap definito in una classe Cofunctor?

6calore

1risposta

Come posso gestire tipi di dati in stile "typedef" con un numero minimo di caratteri?

ho definito un tipo di dati personalizzato che contiene un singolo campo: import Data.Set (Set) data GraphEdge a = GraphEdge (Set a) Definire il mio tipo di sente più semanticamente corretto, ma p

6calore

1risposta

Perché la funzione infisso <*> in Haskell?

Forse questo non è il posto giusto per chiedere e presumibilmente questa domanda è troppo "meta", ma c'è qualche ragione per cui la funzione <*> (e analogamente <$>) è infissa? Per la mia comprensione

19calore

1risposta

Installazione di webkitgtk3 per GHCJS su osx

Sto provando ad installare il pacchetto ghcjs-dom su Mac OSX. È stato accidentato perché ci sono molte dipendenze. Webkitgtk3 è la mia nemesi corrente cabal install ghcjs-dom Resolving dependencies..

5calore

2risposta

bifunctor in Haskell, dopo il tipo meno fisso

Non sono sicuro come derivare l'istanza functor dopo aver fatto un punto fisso: data FreeF f a next = PureF a | FreeF (f next) deriving (Functor) data Mu f = In { out :: f (Mu f) } newtype Free f