quickcheck

5calore

3risposta

Utilizzo di quickCheck

Ho scritto un'implementazione per foldl e volevo controllare se funzionasse, ho provato alcuni casi e sembra che funzioni bene, ma voglio essere sicuro. ho letto su QuickCheck e l'ho provato, ma non r

haskell ghci fold quickcheck 2013-04-24

---

7calore

1risposta

Haskell - Test Parsec con l'aiuto di QuickCheck

Mi piacerebbe scrivere un test per un parser Parsec. Ecco l'esempio di parser e dati di struttura: data Event = Event { keyEvent :: String } deriving Show parseKey :: Parser Event parseKey = d

haskell parsec quickcheck 2012-10-19

---

12calore

1risposta

Perché la presenza/assenza delle forze binarie HsColour ricompila la libreria QuickCheck?

Supponiamo Non ho il programma HsColour installato e installo QuickCheck $ cd /tmp/ $ cabal get QuickCheck $ cd QuickCheck $ cabal install ... [ 1 of 15] Compiling Test.QuickCheck.Random ... [1

haskell cabal cabal-install quickcheck 2014-11-06

---

5calore

2risposta

Utilizzo di QuickCheck per testare condizioni di errore intenzionali

Ho visto come QuickCheck può essere utilizzato per testare il codice monadico e non monadico, ma come posso usarlo per testare il codice che gestisce gli errori, cioè stampa un messaggio e poi chiama

haskell quickcheck 2013-09-01

---

18calore

1risposta

QuickCheck Gen non è una monade

Ho visto occasionalmente persone dire che il tipo Gen in QuickCheck non obbedisce alle leggi della monade, anche se non ho visto molte spiegazioni per seguirlo. Ora, il modulo Test.QuickCheck.Gen.Unsa

haskell quickcheck 2014-06-30

---

8calore

3risposta

QuickCheck per Javascript

Esiste una versione di quickcheck che funzioni per Javascript e che sia ben gestita? Ne ho trovati diversi come check.js e claire, ma nessuno di essi sembra supportare il restringimento dei casi di te

javascript node.js quickcheck 2014-05-12

---

9calore

3risposta

Qual è il caso generale della funzione di promozione di QuickCheck?

Qual è il termine generico per un funtore con una struttura simile funzione promote di QuickCheck, cioè una funzione della forma: promote :: (a -> f b) -> f (a -> b) (questo è l'inverso del flip $ f

haskell functional-programming functor quickcheck category-theory 2014-10-08

---

13calore

3risposta

QuickCheck: Come utilizzare checker esaustività per prevenire costruttori dimenticate di tipo somma

Ho un tipo di dati Haskell come data Mytype = C1 | C2 Char | C3 Int String Se io case su un Mytype e dimenticare di gestire uno dei casi, GHC mi dà un avviso (controllo di esaustività

haskell quickcheck 2014-08-27

---

10calore

1risposta

QuickCheck 2 elaborazione batch

Il modulo Batch di QuickCheck è stato rimosso con version 2 (1.2.0.1 still has it). Per questo motivo, mi sento sempre come mapM_: fare test multipli insieme è una specie di hacky. Sto trascurando la

haskell batch-processing quickcheck 2012-11-23

---

5calore

2risposta

Errore di clang durante l'installazione di QuickCheck per GHC 7.8.3 su OS X Yosemite 10.10 (14A389)

Durante l'installazione di QuickCheck per Haskell GHC 7.8.3 su un sistema OS X Yosemite 10.10 (14A389) in esecuzione su un Mac Pro 2013 con Xcode 6.1 (6A1052d), sto correndo nella seguente errore clan

haskell clang cabal osx-yosemite quickcheck 2014-10-24

---