argumentcomputer / argumentcomputer/RustFFI.lean
Are the integers really signed or unsigned?
- Ngôn ngữ chính
- Lean
- Star
- 17
- Fork
- 2
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
Rust code defines the parameters to be signed `i32`:
https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/src/lib.rs#L2
But Lean defines them to be unsigned `UInt32`:
https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/Main.lean#L2
How does that even work 🤯
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Hướng nghiên cứu
So sánh các định nghĩa tham số tại dòng 2 của src/lib.rs và dòng 2 của Main.lean, sau đó truy vết cách ranh giới Rust FFI biểu diễn và truyền các giá trị. Xác định xem sự không khớp về dấu là có chủ ý hay là một bug; được xem là hoàn tất khi issue có một hướng giải quyết được ghi chép và các định nghĩa nhất quán nếu cần thay đổi.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- rust
- Lĩnh vực
- compilers
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Cần làm rõ
- Mức phù hợp với người mới
- 30/100