haskell

9calore

2risposta

parsec: c'è un modo semplice per consentire commenti/spazi bianchi ovunque nella grammatica?

Come gestite spazi bianchi e commenti? I frammenti che vengono solitamente rimossi durante la fase di analisi sintattica? Voglio attivare i commenti ovunque nel mio documento che sto analizzando. È l'

5calore

1risposta

QuickCheck: come combinare due generatori?

Ho due generatori, gen_n & gen_arr: gen_n :: Gen Int gen_n = suchThat arbitrary (\i -> i >= 0 && i <= 10) gen_elem :: Gen Int gen_elem = suchThat arbitrary (\i -> i >= 0 && i <= 100) gen_arr ::

7calore

4risposta

Equivalente Python di Haskell [1 ..] (per indicizzare una lista)

Ho una lista di elementi in python. Non conosco il numero di elementi nell'elenco. Vorrei aggiungere indici alla lista. In Haskell, ho potuto effettuare le seguenti operazioni zip [1..] "abcdefghijklm

17calore

1risposta

Perché ci sono overhead che chiamano le funzioni Haskell da C?

Ho notato un overhead significativo che chiama le funzioni Haskell in C, molto più grande del sovraccarico di una chiamata di funzione C nativa. Per distillare il problema alla sua essenza, ho scritto

5calore

2risposta

Cosa devo fare se voglio installare una nuova versione di GHC?

Attualmente, sto usando GHC 7.10.1 sul mio sistema Ubuntu 14.04, solo ora ho notato dalla mailing list che è stata rilasciata una nuova versione contenente molte correzioni di bug. Quindi sto pensando

6calore

1risposta

Come posso importare un modulo Haskell in GHCi?

Sto cercando di insegnare a me stesso Haskell dal libro Learn You A Haskell for Great Good. Mi sono avvicinato all'ultima sezione del capitolo 7 (Moduli), dove racconta come creare il tuo modulo. Ho f

7calore

1risposta

Come funziona enumFromTo?

Non riesco ad aggiungere un numero a Char; il seguente non riuscirà a compilare 'a' + 1. Ma ancora, ['a'..'z'] crea con successo una stringa in cui ogni valore del carattere viene incrementato. C'è un

14calore

1risposta

Le "trasformazioni naturali" che applichiamo a Coyoneda sono effettivamente "trasformazioni naturali" per un Functor?

Ho una domanda teorica sulla natura di un tipo che viene utilizzato in un sacco di esempi che spiegano il lemma di Coyoneda. Solitamente si riferiscono a come "trasformazioni naturali" che a mia conos

12calore

2risposta

Perché abbiamo bisogno di "Tipi di dati algebrici"?

Ho letto alcune spiegazioni dei tipi algebrica dati: The Algebra of Algebraic Data types I The Algebra of Algebraic Data types II The Algebra of Algebraic Data types III The Algebra of Data, and Calcu

6calore

3risposta

Come convertire la definizione della classe di case Scala in Haskell?

Sto imparando Haskell insieme a Scala. Ho provato a fare definire il seguente tipo Scala di Haskell, ma non è riuscito: sealed trait Expr case class Value(n: Int) extends Expr case class Add(e1: Exp