IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6.048 geöffnet am 17. Mai 2024

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Haskell (511 Forks)batch import
Good first issueInternalPlutus Corestatus: triaged

Repository-Metriken

Stars
 (1.637 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 15T 11h) (13 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuchen Sie die Implementierung von `safeEncodeBits` im Plutus Quellcode. Erforschen Sie, wie GHC.TypeLits und DataKinds verwendet werden können, um Bitlängenbeschränkungen auf die Typ Ebene zu heben und so die Notwendigkeit von Laufzeit Assertions zu beseitigen. Sehen Sie sich vorhandene Verwendungen von Typ Level Natürlichen im Codebase als Leitfaden an.
Tech Stack
Keine
Domain
backend
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
GHCDataKindsTypeLits
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20