haskell

33calore

1risposta

Che cosa significa la sorgente GHC per "zonk"?

Sto lavorando a un plug-in per GHC, quindi sto leggendo la documentazione per alcune delle sue implementazioni. Il verbo "to zonk" è dappertutto, ma non riesco a rintracciare una spiegazione di cosa s

5calore

1risposta

Sequenza di numeri casuali di Haskell e State Monad, cosa sto facendo male?

Come parte del mio viaggio Haskell, sto implementando un raytracer e ho bisogno di essere in grado di disegnare sequenze di numeri casuali in diversi punti del codice. In genere mi piacerebbe essere i

7calore

1risposta

Spiega come funziona il nuovo foldr in Haskell

Il nuovo programmatore Haskell sarà abbastanza presto andare alle fonti per vedere come viene implementato foldr. Bene, il codice era semplice (non aspettatevi che i nuovi arrivati sappiano su OldLi

9calore

1risposta

Il risultato Forse da Map.lookup non è il tipo di controllo con il mio stack Monad Transformer

Sto andando anche se il seguente documento: Monad Transformers Step by Step. Nella sezione 2.1 "Conversione in stile monadico", una funzione viene convertita per restituire Value nella monade Eval1. Q

12calore

4risposta

Come gli strumenti della riga di comando cambiano il loro output dopo averlo emesso?

Ho notato che molti strumenti da riga di comando, ad esempio wget, mostreranno il progresso come un numero o una barra di avanzamento che avanza quando un processo è completato. Mentre la domanda non

8calore

1risposta

Alla ricerca di un doppio di ReaderT, che riassume l'ambiente anziché il risultato monadico

La seguente astrazione con istanze di Contravariant, Divisible e così via è già stata implementata in alcuni pacchetti? Voglio dire qualcosa nello spirito del seguente codice compilabile: newtype Read

10calore

1risposta

modelli Combinando

considerare i seguenti tipi di dati e di pattern sinonimi: {-# LANGUAGE PatternSynonyms, NamedFieldPuns #-} data Foo = Foo { a :: Int , b :: String , c :: Maybe Bool } pattern Bar

17calore

1risposta

Tipo di carattere Haskell letterale Nat: stato?

GHC ha caratteri di tipo letterale. Riesco a leggere un paio di cose su di loro, per esempio, qui: https://ghc.haskell.org/trac/ghc/wiki/TypeNats Purtroppo, sembra che ci sia poca documentazione su di

7calore

5risposta

Maybes obbligatori nel sistema di tipo

ho qualcosa simile al seguente data A = A { id :: Integer , foo :: Maybe String , bar :: Maybe String , baz :: Maybe String } Questi dati è in arrivo al mio servizio come JS

7calore

1risposta

GHC Panic: caricamento dell'oggetto temporaneo condiviso non riuscito

Stiamo lavorando su un fork di Parsec (con la suite di test QuickCheck completa, migliori messaggi di errore e altri miglioramenti) e alcuni progressi sono stati fatti. La maggior parte delle volte ho