haskell

6calore

2risposta

Per insegnare Haskell ai principianti utilizzando la versione recente di GHC, i tipi di alcune funzioni possono confondere a causa del Foldable-Traversable-in-Prelude (FTP). Ad esempio, le funzioni di

7calore

2risposta

Haskell - è una chiusura?

C'è un pezzo di codice sorgente che ha avuto origine in una risposta ad another one of my questions, infFromPrefix :: Eq a => ([a] -> [a]) -> [a] -> [a] infFromPrefix rules prefix = inf where in

8calore

1risposta

Qual è lo scopo dei tipi di dati algebrici senza un costruttore?

In Haskell si può definire un tipo di dati algebrico senza un costruttore: data Henk Ma qual è lo scopo di un tipo (o genere?), Che non ha un costruttore?

7calore

1risposta

pattern partita in argomento di funzione in Haskell

Nel codice che definisce una funzione, v'è uno strano "pattern match" (cradleRootDir -> projdir) Immagino che si intende applicare la funzione inline e si lega il risultato al nome projdir. Qual è il

6calore

2risposta

intesa Tipo Haskell Livello letterali

Guardando il Haskell Servant package, c'è un esempio iniziale di definire un'API webservice come: -- GET /date type MyAPI = "date" :> Get '[JSON] Date -- GET /time/:tz :<|> "time" :>

6calore

1risposta

Errori di runtime di GHC RTS quando si utilizza hs_init con la creazione di profili della libreria di cabali condivisa

Ho un progetto C di grandi dimensioni che deve essere compilato con gcc. Così mi collego l'eseguibile principale con un file in questo modo: #include <HsFFI.h> static void my_enter(void) __attribute

7calore

2risposta

Come forzare correttamente la valutazione del valore puro in IO monade?

Devo forzare la valutazione del valore puro nella monade IO. Sto scrivendo l'interfaccia di livello superiore ai collegamenti C. Al livello inferiore ho, ad esempio, la funzione newFile e la funzione

18calore

1risposta

Comprensione del programma stack di Haskell e del resolver e della versione LTS

Sto cercando di capire come utilizzare stack and stackage.org. Quando l'ho installato e utilizzato per la prima volta, stackage.org era in LTS-3.8 (il "resolver"). Da allora, stackage.org ora ha LTS-3

5calore

3risposta

Comprendere RankNTypes Haskell

Mentre si lavora la mia strada attraverso le estensioni GHC, mi sono imbattuto in RankNTypes at the School of Haskell, che ha avuto il seguente esempio: main = print $ rankN (+1) rankN :: (forall n.

13calore

2risposta

Capire `ap` in una funzione priva di punti in Haskell

sono in grado di capire le basi di funzioni senza punto in Haskell: addOne x = 1 + x Come si vede x su entrambi i lati dell'equazione, semplifichiamo iT: addOne = (+ 1) Incredibilmente si scopre c