haskell

5calore

2risposta

Perché non posso eseguire lo schema della funzione di concatenazione (++) in Haskell?

Sto cercando di abbinare lo schema **String Newline String** in una funzione Split. split::String -> [String] split[] = [] split (x++'\n':xs) = [x]++split(xs) sto ottenendo questo errore: Parse er

25calore

3risposta

Esiste un modo per emulare i tipi lineari in Haskell?

Sto modellando un sistema che ha un'operazione che crea una risorsa e altre operazioni che consumano quella risorsa. Tuttavia, una determinata risorsa può essere consumata solo una volta - c'è un modo

15calore

1risposta

difficoltà a capire il tipo di sequenza [Basta, Basta]

sono confusa sul motivo per cui ho questo in GHCi :t sequence [Just,Just] sequence [Just, Just] :: a -> [Maybe a] Elaborare, posso capire sequence [Just 1, Just 2] :: Num a => Maybe [a] perché quan

8calore

1risposta

Come rilevare l'ultimo blocco in una pipe Haskell?

Ho una piccola Haskell Pipe che stampa quante volte ha eseguito: counterPipe :: Pipe String String IO r counterPipe = go 0 where go n = do await >>= yield let n' = succ n

6calore

1risposta

Come specificare il tipo per una raccolta eterogenea in un AST formulato GADT?

Mi piacerebbe creare un AST digitato per un linguaggio dinamico. Al momento, sono bloccato a gestire le collezioni. Ecco un esempio di codice rappresentante: {-# LANGUAGE GADTs #-} {-# LANGUAGE DataK

5calore

4risposta

Wreq: interruzione delle eccezioni 404s

Sto provando a verificare i collegamenti interrotti ma, quando utilizzo il metodo get di Wreq ed eseguo un 404, ottengo un'eccezione (vedere in basso) anziché uno statusCode da gestire. Solo 200 sembr

8calore

1risposta

Stampa la monade gratuita

Si può tradurre una monade libera in qualsiasi altra monade, ma dato un valore di tipo Free f x, voglio stampare l'intero albero, non mappare ogni nodo dell'AST generato ad un altro nodo in un'altra m

22calore

4risposta

Haskell è un linguaggio di programmazione fortemente tipizzato?

Haskell è fortemente digitato? Cioè è possibile cambiare il tipo di una variabile dopo averne assegnata una? Non riesco a trovare la risposta su Internet.

30calore

1risposta

Puoi definire `Comonads 'basato su` Monads`?

Okay, diciamo che avete il tipo newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Come si è visto, quando f è un Comonad, Dual f è una Monade (divertente esercizio). Funziona il contrario? È

12calore

5risposta

rendere la funzione con 'se' point-free

Ho un compito in Haskell (no, non sono i miei compiti, sto imparando per l'esame). Il compito è: Write funzione senza punto numocc che conta le occorrenze di elemento in determinati liste. Ad esempio: