Remove Arbitrary?

オープン
#65 コメント 17 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
5/5
見積もり時間
1週間以上
初心者へのやさしさ
12/100
issue の種類
機能追加
明瞭さ
説明が足りない
活発さ
停滞
領域
testing

調査の方向性

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.

索引モデルが issue の本文から書いたものです。

説明

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.

主要言語
PureScript
スター
108
フォーク
42
平均マージ
2日 23時間
マージ済み PR(30日)
1

環境構築

  • Dockerfile・Docker Compose ファイルなし
  • プルリクエストのテンプレートあり
  • コントリビューションガイドなし

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

purescript/purescript-quickcheck のほかの issue

purescript/purescript-quickcheck の issue をすべて見る

似ている issue

Testing & QA の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。