IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6,048 opened on 2024年5月17日

GitHub で見る
 (0 comments) (0 reactions) (0 assignees)Haskell (511 forks)batch import
Good first issueInternalPlutus Corestatus: triaged

Repository metrics

Stars
 (1,637 stars)
PR merge metrics
 (平均マージ 15d 11h) (30d で 13 merged PRs)

説明

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

コントリビューターガイド

調査方針
Plutus ソースコード内の `safeEncodeBits` の実装を調査します。GHC.TypeLits と DataKinds を使用してビット長の制約を型レベルに持ち上げ、実行時アサーションの必要性を排除する方法を検討します。コードベース内の既存の型レベル自然数の使用例を参考にしてください。
技術スタック
なし
領域
backend
Issue 種別
リファクタリング
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
4
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
半日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
新着
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
GHCDataKindsTypeLits
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
20