haskell

14calore

1risposta

Equivalenze di tipo (in) in presenza di famiglie di dati

Ho una famiglia di tipi che determina se qualcosa è in testa a un elenco di tipi di livello. type family AtHead x xs where AtHead x (x ': xs) = True AtHead y (x ': xs) = False Voglio costr

7calore

2risposta

Esempio di funzione ricorsiva Haskell con foldr

Ho ripreso l'apprendimento di Haskell, dopo una breve interruzione e attualmente sto cercando di capire meglio come funzionano le espressioni di ricorsione e lambda in Haskell. In questo: YouTube vide

11calore

1risposta

Ottimizza una funzione di lista che crea troppa garbage (non stack overflow)

Ho la funzione Haskell, che causa oltre il 50% di tutte le allocazioni del mio programma, causando il 60% del mio tempo di esecuzione da parte del GC . Corro con un piccolo stack (-K10K) quindi non c'

8calore

2risposta

Puoi creare un'istanza di una classe non per un tipo ma per un'intera classe in Haskell?

Supponiamo di voler rendere tutti i numeri un'istanza di Monoid. Invece di dover creare un'istanza per ogni Num come questo: instance Monoid Int where mappend = (+) mempty = 0 instance Mon

7calore

1risposta

elenco dei risultati della mappa è uno più

in questo esempio Haskell il risultato è talvolta più lungo della lista base. Qualche indizio per questo? Prelude> let x3 = [1,3..10] Prelude> x3 [1,3,5,7,9] Prelude> length x3 5 Prelude> length

16calore

2risposta

Differenza tra "ritorno" e "puro"

Qual è la differenza tra return e pure da Control.Applicative? Sembra che io possa usare pure anche alla fine di un blocco do? Quindi c'è una situazione in cui si dovrebbe preferire l'una sull'altra (

5calore

1risposta

Compilazione haskell point-free

Quindi sono davvero nuovo per Haskell, ma mi sono divertito con la notazione point free e ho trovato questo problema. Sono nella console: > let c = (.)negate > :t c > (a -> Integer) -> a -> Integer

13calore

2risposta

Come posso mostrare che la traversata interagisce sensibilmente con fmap?

Sembra intuitivamente evidente che la seguente legge dovrebbe contenere: traverse f . fmap g = traverse (f . g) L'unica Traversable legge che sembra da applicare direttamente è fmap g = runIdentity

8calore

2risposta

È possibile eseguire il rendering lato server Haskell con Ghcjs, Rapidità, Olmo, ecc.?

Penso che Haskell offra caratteristiche fantastiche. Adatto anche per lo sviluppo Web. Tuttavia, una caratteristica che mi manca. Rendering lato server. I motivi sono indicizzazione di crawler e pre-r

15calore

1risposta

Chiedendo tipo di un tipo a Scala vs Haskell

Quando si chiede per il tipo di [Int] e [] in Haskell ottengo: Prelude> :k [Int] [Int] :: * Prelude> :k [] [] :: * -> * che ha un senso: il primo è un tipo e il secondo è un tipo più alto di tipo