Remove Arbitrary?

Aperta
#65 17 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
12/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Ferma
Ambito
testing

Direzione di ricerca

Read the discussion in issue #63 and this issue's comments to understand the arguments around removing Arbitrary, deriving generators with generic-rep, and CoArbitrary. No implementation files or tests are named; first establish whether the discussion has reached a decision. Done means a settled design for how generator derivation and CoArbitrary should work.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

purs-0.15 type: breaking change

I'm adding this to track the discussion going on in #63.

The argument for removing Arbitrary is that instances are almost never canonical, so we almost always end up needing newtypes.

A possible downside is that we'd still need a class like Arbitrary if we want to derive generators using generic-rep. That means that we'd need some way to reflect a Gen as an instance, or we're back to Arbitrary instances anyway. CoArbitrary is also much nicer with type classes.

Lingua principale
PureScript
Stelle
108
Fork
42
Merge medio
2g 23h
PR unite (30g)
1

Preparare l'ambiente

  • Nessun Dockerfile né file Docker Compose
  • Ha un modello di pull request
  • Nessuna guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di purescript/purescript-quickcheck

Tutte le issue di purescript/purescript-quickcheck

Issue simili

Altre issue su Testing & QA

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.