IntersectMBO/plutus

Use type-level Nats for `safeEncodeBits`

Open

#6.048 aberto em 17 de mai. de 2024

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (511 forks)batch import
Good first issueInternalPlutus Corestatus: triaged

Métricas do repositório

Stars
 (1.637 stars)
Métricas de merge de PR
 (Mesclagem média 15d 11h) (13 fundiu PRs em 30d)

Description

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

Guia do colaborador

Direção de pesquisa
Examine a implementação de `safeEncodeBits` no código fonte do Plutus. Investigue como GHC.TypeLits e DataKinds podem ser usados para elevar as restrições de comprimento de bits para o nível de tipo, eliminando a necessidade de asserções em tempo de execução. Consulte os usos existentes de números naturais em nível de tipo na base de código para orientação.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Refatoração
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GHCDataKindsTypeLits
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20