Gibt es eine Bibliothek, die Constraintskinds verwendet, um alle Basistypklassen zu verallgemeinern, um Einschränkungen zuzulassen?

Question

Wir können die Erweiterungsbegrenzungskinds verwenden, um die Funktionalität der Basistypklassen zu erweitern, um Einschränkungen zu ermöglichen.Zum Beispiel können wir einen ungebokteten Vektor einen Funktor machen:

generasacodicetagpre.

(siehe diese Blog

Answer 1

Da es sich anhört, als ob niemand sonst eine Bibliothek hat, bin ich umgewandelt, was ich in ein separates Projekt namens Constraintskinds und hochgeladen in Github .Es ist im Moment extrem einfach und deckt wahrscheinlich noch keinen anderen Anwendungsfall an, sondern fühle mich frei, um eigene Änderungen vorzunehmen oder Anfragen einzureichen.

Ich werde wahrscheinlich auf weitere Rückmeldungen warten, wenn dies eine gute Richtung ist, bevor Sie das Projekt zum Hacken hochladen.