IntersectMBO/plutus

(DecodeU8 . EncodeU8) Rewrite Rule

Open

#6.038 geöffnet am 17. Mai 2024

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (1 zugewiesene Person)Haskell (511 Forks)batch import
BuiltinsGood first issueInternaloptimizationstatus: triaged

Repository-Metriken

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

Beschreibung

This is discussed with @Kenneth MacKenzie and considered safe.

Add also a quickcheck that (decodeUtf8 . encodeUtf8) == id to exclude the case of “missing replicating a bug” in the original unoptimized code.

Contributor Guide

Research-Richtung
Untersuche die bestehenden Umschreibungsregeln im Plutus Compiler, z. B. in PlutusCore/src/PlutusCore/RewriteRules.hs. Verstehe die Funktionen EncodeU8 und DecodeU8, wahrscheinlich in PlutusCore/src/PlutusCore/Builtins.hs. Füge eine neue Umschreibungsregel im entsprechenden Modul hinzu und nimm eine QuickCheck Eigenschaft in die Testsuite auf (z. B. plutus core/test/Spec.hs), um zu überprüfen, dass (decodeUtf8 . encodeUtf8) == id. Sieh dir andere ähnliche Umschreibungsregeln als Leitfaden an.
Tech Stack
Keine
Domain
backend
Issue Type
Test
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
HaskellQuickCheck
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60