Discuss: PlutusData meaning for Prelude types
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Bắt đầu bằng cách đọc các instance kiểu Prelude trong libs/lbf-plutus/Plutus/V1.lbf và so sánh chúng với các triển khai backend Rust hiện có được đề cập trong issue. Công việc hoàn tất khi các kiểu Prelude được hỗ trợ và ngữ nghĩa PlutusData toData/fromData của chúng đã được quyết định, đồng thời các triển khai liên quan đã được đồng bộ.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
What is PlutusData (toData and fromData) meaning for all Prelude types?
-- Instances for Prelude types
-- TODO(bladyjoker): Add other Prelude types (Text, Bytes etc.)?
instance PlutusData Bool
instance PlutusData Integer
instance PlutusData (Maybe a) :- PlutusData a
instance PlutusData (List a) :- PlutusData a
instance PlutusData (Either a b) :- PlutusData a, PlutusData b
These are obvious, but we could theoretically define PlutusData for Prelude Char/Text/Bytes/Map/Set.
Gergely's Rust backend already implements some notion of PlutusData for these types.
Should we complete this?
- Ngôn ngữ chính
- Haskell
- Star
- 33
- Fork
- 1
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của mlabs-haskell/lambda-buffers
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
mlabs-haskell/lambda-buffers#296 ·
-
Create a more user friendly CLIĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
mlabs-haskell/lambda-buffers#295 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
mlabs-haskell/lambda-buffers#294 ·
-
Dykstra HFĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
mlabs-haskell/lambda-buffers#293 ·
-
Nix-free pathĐang mởdevops
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
mlabs-haskell/lambda-buffers#292 ·
Tất cả issue của mlabs-haskell/lambda-buffers
Issue tương tự
-
Build error?Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
lolepezy/rpki-prover#367 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
`--arg` for a `bytesN`, `bytes`, `string` or array argument crashes with `Internal Error: TODO`Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 77/100
Maintainer thường phản hồi trong vòng 1 ngày
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
compiler-explorer/compiler-explorer#9308 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
simplex-chat/simplex-chat#7755 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug core-libs
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100