Hypothesis integration

オープン

#234 2021年6月20日に作成コメント 2 件リアクション 1 件担当者 0 名 GitHub で見る

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

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 25/100

issue の種類: 機能追加
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: python
領域: testing

調査の方向性

まず、参照されている returns/contrib/hypothesis/laws.py を読み、このプロジェクトに既存の typeclass と mypy のチェックと比較してください。提案されている check_typeclass 戦略と、その allow_instances、allow_protocols、allow_unknown オプションを定義し、サポートされているケースでは有効な戻り値の型が生成され、サポートされていないケースでは NotImplementedError が生成されることを確認してください。

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

説明

enhancement

Right now we don't test classes with hypothesis at all.

But, I have a great idea (at least it seems to me like so) of adding a hypothesis plugin, similar to one we have in returns: https://github.com/dry-python/returns/blob/master/returns/contrib/hypothesis/laws.py

What should it do?

check_typeclass(typeclass_instance) will check that for all existing types and protocols some valid return type is produced. For example, @typeclass def some(instance) -> str must produce str for all instance, protocol, and supported types and it must produce NotImplementedError for types that are not supported
Looks like check_typeclass must have allow_instances, allow_protocols, allow_unknown kw bool arguments to configure what types we actually need in a resulting strategy

It would be a nice companion to our mypy check.

@Zac-HD do you like it? Maybe you have any other ideas?

主要言語: Python
スター: 730
フォーク: 30
PR マージ指標: 30日以内にマージされた PR はありません

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

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

dry-python/classes のほかの issue

Drop Python 3.7 through 3.9 support オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

dry-python/classes#496 · 2024年12月13日に作成
Outdated install-poetry.py in CI pipelines オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 45/100

dry-python/classes#494 · 2024年12月13日に作成
Cannot install development environment on Python 3.12 オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 52/100

dry-python/classes#492 · コメント 2 件 · 2024年12月12日に作成
Error importing plugin "classes.contrib.mypy.classes_plugin" cannot import name 'union_items' from 'mypy.types' オープン

bug

難易度 3/5 1〜2日初心者へのやさしさ 35/100

dry-python/classes#481 · コメント 5 件 · リアクション 4 件 · 2023年3月14日に作成
Unable to install both returns and classes together オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 35/100

dry-python/classes#386 · 2022年4月10日に作成

dry-python/classes の issue をすべて見る

似ている issue

create_predictable_zip member order differs on Windows for directory input オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 90/100

learningequality/ricecooker#747 · 2026年9月23日に作成
[Anon] Mechanicum: skitarii as mechanicum allies rule オープン

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

BSData/horus-heresy-3rd-edition#3171 · 2026年9月23日に作成
CHANGELOG.md entries are too long to maintain, and their length is what makes every PR conflict expensive オープン

enhancement

難易度 2/5 1〜3時間初心者へのやさしさ 72/100

lanl/PyBNF#809 · 2026年9月23日に作成
[Bug]: PrevNextNodePostprocessor loses retrieved scores when neighbor windows overlap オープン

難易度 2/5 1〜3時間初心者へのやさしさ 76/100

run-llama/llama_index#23199 · 2026年9月23日に作成
Cannot export point cloud without radius attribute オープン

難易度 2/5 1〜3時間初心者へのやさしさ 84/100

KhronosGroup/glTF-Blender-IO#2769 · 2026年9月23日に作成

Python の issue をもっと見る