for ループや while ループに対する intrinsic な不変条件の構文について
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
- 30/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Ít trao đổi
- Lĩnh vực
- compilers
Hướng nghiên cứu
Bắt đầu bằng cách đọc cuộc thảo luận Zulip được liên kết, “On the intrinsic verification syntax”, để hiểu cú pháp được đề xuất và các ràng buộc chưa được giải quyết. Issue không nêu tệp, kiểm thử hoặc điểm vào nào, vì vậy phạm vi triển khai và tiêu chí hoàn thành phải được xác lập trước khi viết mã.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
for 文の中に書くのではなくて、途中に書けないものだろうか?
- Ngôn ngữ chính
- Lean
- Star
- 190
- Fork
- 16
- 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ởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.
- 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 lean-ja/lean-by-example
-
「無名コンストラクタは入れ子になっていても使用できる」は誤りĐang mởバグ・誤り・不備
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
lean-ja/lean-by-example#2641 ·
-
バグ・誤り・不備 優先度たかし
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
lean-ja/lean-by-example#2638 ·
-
recall コマンドを紹介するĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
lean-ja/lean-by-example#2622 ·
-
`#time` コマンドが遅いように見えることを注意するĐang mởバグ・誤り・不備
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
lean-ja/lean-by-example#2595 ·
-
`Format` を紹介するĐang mởデータ型 優先度たかし
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
lean-ja/lean-by-example#2585 ·
Tất cả issue của lean-ja/lean-by-example
Issue tương tự
-
clang:frontend code-cleanup HLSL
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
llvm/llvm-project#235100 · 1 bình luận ·
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 76/100
paritytech/polkavm#442 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 83/100
objectionary/phino#2075 ·
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
rescript-lang/rescript#8996 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
[P2] Interpreter: qualified globalThis.isNaN keeps strict Number.isNaN semantics for coercible argumentsCó thể đã có người làm Có pull request liên kết đang mở hoặc đã được merge. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
Maintainer thường phản hồi trong vòng 1 ngày