haskell

9calore

1risposta

Qual è la sintassi del commento nei modelli Yesod (hamlet)?

Non riesco proprio a trovare come commentare la riga nel modello del villaggio. C'è qualche sintassi per i commenti? Mi piace -- <p>Some code should be ignored by template o qualcosa del genere?

9calore

3risposta

Esiste un `stack run 'simile a` cabal run`?

Fino a poco tempo fa, mi è stato l'esecuzione di questo bellezza per costruire + eseguire un progetto con una pila: stack build && .stack-work/install/x86_64-linux/lts-4.1/7.10.3/bin/<project-name>

5calore

2risposta

Analisi SVG e tipo di dati

Sto scrivendo un parser SVG, principalmente come esercizio per imparare come usare Parsec. Attualmente sto usando il seguente tipo di dati di rappresentare il mio file in formato SVG: data SVG = Eleme

9calore

1risposta

Haskell parsec: `many` combinatore all'interno di un combinatore` optional`

mi piacerebbe implementare questa regola grammaticale utilizzando la libreria parsec di Haskell: ((a | b | c)* (a | b))? che è una regola parser che accetta un optional (cioè potenzialmente vuoto) s

5calore

1risposta

opzione optparse-applicativa con più valori

sto usando optparse-applicative e vorrei poter analizzare la linea di comando quali: $ ./program -a file1 file2 -b filea fileb Per esempio, due interruttori, entrambi i quali possono richiedere più

10calore

2risposta

Come posso testare le funzioni polimorfiche su Applicativi?

ho appena written a function (per Data.Sequence) traverseWithIndex :: Applicative f => (Int -> a -> f b) -> Seq a -> f (Seq b) che dovrebbe obbedire traverseWithIndex f = sequenceA . mapWithIndex f

21calore

1risposta

programmazione generica con effetti

Nelle Idris Effects effetti della biblioteca sono rappresentati come ||| This type is parameterised by: ||| + The return type of the computation. ||| + The input resource. ||| + The computation to

6calore

1risposta

Haskell Servant e streaming

Sto cercando di aggiungere una funzionalità al mio server servant che otterrebbe un file da Amazon S3 e lo ritorni all'utente. Dato che i file possono essere grandi, non voglio scaricarli localmente e

45calore

1risposta

Se return a = return b allora a = b?

Potete provare che se return a = return b poi a=b? Quando uso =, intendo nel senso delle leggi e delle prove, non nel senso della classe Eq. Ogni monade che conosco sembra soddisfare questo, e non pos

18calore

2risposta

Che cos'è la definizione del Functional applicativo dalla teoria delle categorie POV?

sono stato in grado di mappare la definizione di Functor dalla teoria di categoria alla definizione di Haskell nel modo seguente: dato che gli oggetti di Hask sono tipi, il funtore F Mappe ogni tipo a