haskell

8calore

2risposta

Come posso inserire un backtick in GHCi?

Sto provando Haskell in GHCi su Windows. Nel tutorial che seguo, un nome di funzione è racchiuso tra apici: x `mod` 7. Tuttavia, non posso inserire il personaggio in GHCi. Il carattere di apice invers

22calore

3risposta

Esistono istanze pieghevoli o percorribili non banali che non sembrano contenitori?

Ci sono molti funtori che sembrano contenitori (elenchi, sequenze, mappe, ecc.) E molti altri che non lo fanno (trasformatori di stato, IO, parser, ecc.). Non ho ancora visto istanze non banali Foldab

5calore

3risposta

ricevere input sinistro di Parsec

Mi chiedevo se c'è un modo per ottenere te ingresso rimanente da Parsec dopo si ferma l'analisi, o se è stato un parse esito positivo o negativo, forse questa firma: parseRemaining :: Stream s Identit

9calore

1risposta

Come autorizzi i GADT in Haskell?

Oggi ho iniziato a conoscere GADTs da: haskell.org e https://wiki.haskell.org Purtroppo, non so come usarli. Se corro il codice dall'esempio ricevo il seguente errore: [1 of 1] Compiling Main (test

8calore

2risposta

Esqueleto: come eliminare un elemento utilizzando un join

È possibile utilizzare la seguente query esqueleto? DELETE Table1 FROM Table1 INNER JOIN Table2 ON Table1.ID = Table2.ItemID ho provato: delete $ from $ \(table1 `InnerJoin` table2) -> o

16calore

1risposta

Perché ci sono così tanti backslash (\) nel file * .prof?

Guardando nel file *.prof generato usando +RTS -p con la compilazione profiling abilitato, vedo un sacco di questi sub-routine che prende il nome \: COST CENTRE MODULE %time %alloc main.\.\.

16calore

1risposta

Come installare/utilizzare una versione locale del pacchetto usando Stack?

La situazione è che sto cercando di installare Netwire usando Stack. Tuttavia, c'è un problema nell'ultimo netwire 5.0.1, come riportato da dhobbs: http://hub.darcs.net/ertes/netwire/issue/13 Poiché n

9calore

1risposta

È davvero una pratica predefinita rendere ogni trasformatore monad un'istanza di MonadTrans?

Così Real World Haskell dice: Ogni trasformatore monade è un esempio di MonadTrans ma sto giocando con Scotty e ha scoperto che la sua base monade trasformatore ScottyT è non un'istanza di MonadTrans.

7calore

2risposta

Definizione dei tipi di fantasma - impossibile compilare esempi

Sto cercando di saperne di più sui tipi di fantasma. Sto cercando di leggere attraverso Fun with Phantom Types di Ralf Hinze. Sta usando una parola chiave with che non ho mai visto prima e che non rie

14calore

4risposta

Rimozione di duplicazione -

stavo giocando intorno con una semplice funzione per qualcun altro di domanda Stack Overflow, e ho scritto l'espressione (con applicativo ((>) t), forse?): f a x ++ f a y Ovviamente questo è il il m