IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6 048 ouverte le 17 mai 2024

Voir sur GitHub
 (0 commentaires) (0 réactions) (0 assignés)Haskell (511 forks)batch import
Good first issueInternalPlutus Corestatus: triaged

Métriques du dépôt

Stars
 (1 637 stars)
Métriques de merge PR
 (Merge moyen 15j 11h) (13 PRs mergées en 30 j)

Description

Right now safeEncodeBits act like a C-assertion. Use instead GHC.TypeLits/DataKinds to enforce safety statically.

Guide contributeur

Direction de recherche
Examinez l'implémentation de `safeEncodeBits` dans le code source de Plutus. Étudiez comment GHC.TypeLits et DataKinds peuvent être utilisés pour élever les contraintes de longueur de bits au niveau des types, éliminant ainsi le besoin d'assertions à l'exécution. Consultez les utilisations existantes des naturels au niveau des types dans la base de code pour vous guider.
Stack technique
Aucun
Domaine
backend
Type d'issue
Refactorisation
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
GHCDataKindsTypeLits
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20