IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6048 aperta il 17 mag 2024

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (511 fork)batch import
Good first issueInternalPlutus Corestatus: triaged

Metriche repository

Star
 (1637 star)
Metriche merge PR
 (Merge medio 15g 11h) (13 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Esamina l'implementazione di `safeEncodeBits` nel codice sorgente di Plutus. Indaga come GHC.TypeLits e DataKinds possano essere utilizzati per elevare i vincoli sulla lunghezza in bit al livello dei tipi, eliminando la necessità di asserzioni a runtime. Osserva gli usi esistenti dei naturali a livello di tipo nella codebase come guida.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Refactoring
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GHCDataKindsTypeLits
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
20