haskell

7calore

2risposta

Can GHC può derivare le istanze Functor e Applicative per un trasformatore monad?

Sto cercando di implementare MaybeT nello spirito della libreria mtl. Con questa soluzione non compilazione: {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, UndecidableInstances #-} import Co

9calore

3risposta

Struttura dati Haskell efficiente per lo scambio di elementi?

Sto cercando una struttura dati Haskell che memorizzi un elenco ordinato di elementi e che sia efficiente nel tempo per scambiare coppie di elementi in posizioni arbitrarie all'interno dell'elenco. No

8calore

1risposta

Per che cosa è un file 'world' di Cabal?

Qual è il ruolo del file ~/.cabal/world e cosa significa il suo contenuto? Non riesco a trovare alcuna documentazione e sono confuso da ciò che vedo lì. Ad esempio, corrisponde a nether i pacchetti ne

10calore

2risposta

stile non pointfree è sostanzialmente più lento

Ho il seguente codice spesso citata per il calcolo del numero di Fibonacci n-esimo in Haskell: fibonacci :: Int -> Integer fibonacci = (map fib [0..] !!) where fib 0 = 0 fib 1 = 1

11calore

2risposta

Che cos'è una struttura dati puramente funzionale che implementa efficientemente il rendering in un'immagine?

Le immagini e il rendering dei pixel sono una delle ultime cose di cui Haskell I non ha potuto scegliere una struttura di dati puramente funzionale e sufficientemente efficiente. Per semplicità, parli

8calore

1risposta

Quali pacchetti cabala non vengono utilizzati

Se alzare gli avvertimenti con GHC, che verrà mi avvisate che le importazioni non vengono utilizzati .... Esiste un comando simile a dirmi quale build-depends aren essere utilizzato nel mio file <proj

6calore

1risposta

Proprio quando non sono sicuri, #., E. # Non sicuri?

unsafeVacuous in Data.Void.Unsafe e .# e #. in Data.Profunctor.Unsafe entrambi avvertono sui pericoli dell'utilizzo di quelle funzioni con funtori/profuncatori che sono GADT. Alcuni esempi pericolosi

6calore

1risposta

Come utilizzare "-ddump-minimum-imports" con stack

Sono un grande fan dello stack, che ho rimosso tutti gli eseguibili indipendenti di cabal e ghc completamente dalla mia macchina (permettendo allo stack di installare qualsiasi cosa di cui abbia bisog

7calore

2risposta

Haskell tipo istanza famiglia con vincoli di tipo

Sto cercando di rappresentare espressioni con famiglie di tipi, ma non riesco a capire come scrivere i vincoli che voglio, e sto iniziando a sentire come se non fosse possibile. Ecco il mio codice: cl

9calore

3risposta

altezza minima in tree

Sto cercando di ottimizzare il codice: data Tree = Empty | Node Integer Tree Tree minHeight Empty = -1 minHeight (Node _ Empty Empty) = 0 minHeight (Node _ l r ) = (min (minHeight l) (minHeight r)