haskell

16calore

1risposta

Control.Category, cosa significa >>> e <<< significa?

Seguo this blog, a scrivere un semplice server http in Haskell, Uso di >>> non è chiaro per me. Che cosa fa questo frammento di codice? handleHttpConnection r c = runKleisli (receiveRequest >>> h

5calore

2risposta

Gestione delle eccezioni generate da codice puro con `try`

Sto giocando con le eccezioni in haskell e sono incappato in una cosa che non riesco ancora a capire. In GHCi faccio: Prelude Control.Exception> let thrower = (read "A") :: Int Prelude Control.Except

5calore

2risposta

Posso derivare parzialmente Show?

Ho scritto questo codice per pretty-stampa di un albero: uscita data Node = A | B | C | Tree Node [Node] deriving (Show, Eq) printTree' :: Int -> Node -> [String] printTree' spaceCount (Tree n

6calore

1risposta

Typeclasses a Haskell v Scala

Dati i seguenti implementazioni di f a Haskell e Scala:. Prelude> let f x y = x == y Prelude> :t f f :: Eq a => a -> a -> Bool Scala: scala> trait Equal[A] { def ===(x: A, y: A): Boolean } define

8calore

2risposta

Utilizzare quando/se non salvare il risultato di un'azione monadica

C'è un modo per scrivere questo senza la variabile x? foo = do x <- checker bar when x dostuff sto immaginando qualcosa di simile a LambdaCase: foo' = do checker bar >>= \case Tr

7calore

2risposta

Utilizzo di servant con ReaderT IO a

Sto utilizzando la libreria servant per la mia API JSON. Ho bisogno di aiuto per far funzionare uno stack monad ServerT MyAPI (ReaderT a IO). Ecco un esempio di utilizzo ReaderT, ma senza integrandola

11calore

2risposta

Testimonianza della teoria simbolica tramite SBV e Haskell

Sto usando SBV (con backend Z3) in Haskell per creare alcuni dimostratori di teoria. Voglio verificare se forall x e con determinati vincoli (come x + y = y + x, dove + è un "operatore più", non aggiu

7calore

1risposta

Approcci funzionali alla progettazione del lato discreto dei sistemi ibridi

Sto lavorando allo sviluppo di controller per sistemi ibridi in Haskell. Le librerie FRP (in questo momento sto usando netwire, ma ce ne sono molte buone e molte ricerche interessanti su quelle future

16calore

2risposta

ConstraintKinds spiegato in un esempio semplicissimo

Che cos'è un Constraint kind? Perché qualcuno dovrebbe usarlo (in pratica)? A cosa serve? Potrebbe fornire un semplice esempio di codice per illustrare le risposte alle due domande precedenti? Perché

10calore

1risposta

Come rimuovere completamente i pacchetti installati dalla cabala?

Sto cercando di imparare la cabala e ho testato diversi miei piccoli progetti, ora voglio pulirli. In sostanza, se sto lavorando senza un sandbox, il mio flusso di lavoro è: corsa cabal init modificar