Typeclasses with several methods

Offen

#83 erstellt am 24.6.2020 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: tooling

Rechercherichtung

Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit nachzuverfolgen, wie der aktuelle typeclass-Mechanismus Implementierungen darstellt und bindet, und bestimme dann, wie ein Python Protocol mit mehreren Methoden, einschließlich der classmethod, unterstützt werden sollte. Als abgeschlossen gilt die Aufgabe, wenn die vorgeschlagene Functor-Form funktioniert und ihre Implementierungsbindung definiert und durch Tests abgedeckt ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

enhancement help wanted

There's a common use-case when we need to create a type-class with several methods. Like:

class Functor(Protocol[T]):
    def map(self, function: Callable[[T], Functor[V]]) -> Functor[V]:
        ...

    @classmethod
    def from_value(cls, inner_value: V) -> Functor[V]:
        ...

Currently, there's no way we can do that.

I propose something like this:

@typeclass
class Functor(Protocol[T]):
    def map(self, function: Callable[[T], Functor[V]]) -> Functor[V]:
        ...

    @classmethod
    def from_value(cls, inner_value: V) -> Functor[V]:
        ...

I am not sure how to bound it to the actual implementation.

Vorherrschende Sprache: Python
Sterne: 730
Forks: 30
PR-Merge-Kennzahlen: Keine gemergten PRs in 30 T.

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus dry-python/classes

Drop Python 3.7 through 3.9 support Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

dry-python/classes#496 · Erstellt am 13.12.2024
Outdated install-poetry.py in CI pipelines Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100

dry-python/classes#494 · Erstellt am 13.12.2024
Cannot install development environment on Python 3.12 Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 52/100

dry-python/classes#492 · 2 Kommentare · Erstellt am 12.12.2024
Error importing plugin "classes.contrib.mypy.classes_plugin" cannot import name 'union_items' from 'mypy.types' Offen

bug

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

dry-python/classes#481 · 5 Kommentare · 4 Reaktionen · Erstellt am 14.3.2023
Unable to install both returns and classes together Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

dry-python/classes#386 · Erstellt am 10.4.2022

Alle Issues in dry-python/classes