test type checker

Đang mở

#69 mở ngày 5/11/2019 1 bình luận 0 reaction 0 người được giao Xem trên GitHub

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

Loại issue: Tính năng
Độ rõ ràng: Cần làm rõ
Mức độ hoạt động: Đình trệ
Công nghệ: python
Lĩnh vực: compilers, testing

Hướng nghiên cứu

Bắt đầu bằng cách xác định điểm vào của trình kiểm tra kiểu của BioScript và xem xét các yêu cầu kiểm tra kiểu trong bài báo OOPSLA. Xây dựng một tập hợp các phép kiểm tra từ bài báo và so sánh hành vi của phần triển khai với chúng; công việc được coi là hoàn tất khi trình kiểm tra kiểu đã xác minh tính tương đương với bài báo.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

Verify the type checking meets parity with OOPSLA paper.

Ngôn ngữ chính: Python
Star: 53
Fork: 16
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

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

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 lilott8/BioScript

update readme Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 62/100

lilott8/BioScript#70 · Mở ngày 5/11/2019
Functions are broken Đang mở

Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

lilott8/BioScript#87 · Mở ngày 30/9/2020
MFSim target does not appropriately translate while conditionals Đang mở

bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

lilott8/BioScript#85 · Mở ngày 14/9/2020
VolumeTracker to track set of all possible volumes Đang mở

enhancement

Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

lilott8/BioScript#80 · Mở ngày 4/2/2020
VolumeTracker should deal with Phi nodes appropriately Đang mở

bug good first issue

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

lilott8/BioScript#79 · Mở ngày 4/2/2020

Tất cả issue của lilott8/BioScript

Issue tương tự

[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Đang mở

area: harness bug status: needs-triage

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

Human-Agent-Society/reef#625 · Mở ngày 24/9/2026
Bump transitive axios to >=1.18.0 to address GHSA-hcpx-6fm6-wx23 Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100

coinbase/cdp-sdk#828 · Mở ngày 24/9/2026
AccessibleResourceCard/AccessibleChannelCard crash when a resource has more than one learning activity (getActivityTags returns an object instead of an array) Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 80/100

learningequality/kolibri#15351 · 2 bình luận · Mở ngày 24/9/2026
audeer.path(): optionally expand environment variables Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

audeering/audeer#212 · 1 bình luận · Mở ngày 24/9/2026
Name consistency Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

eellak/triplestore#65 · 1 bình luận · Mở ngày 24/9/2026

Thêm issue về Python