Consider adding proof requirement to some currently easy exercises
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
- 35/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
- content
Hướng nghiên cứu
Xem xét các bài tập reverse-string, difference-of-squares, hamming và matching-brackets cùng với mức độ khó hiện tại của chúng. Xác định bài tập nào nên yêu cầu proof và các yêu cầu đó phù hợp với track như thế nào; được coi là hoàn thành khi đề xuất đã có phạm vi được quyết định và các bài tập tương ứng đã được cập nhật.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Would it reasonable to ask students to prove one or two properties of their solutions, for some of the simplest exercises? We would increase their difficulty rating at the same time.
Possible examples:
reverse-string
length A <= 1 implies reverse A = A
reverse (A ++ B) = (reverse B) ++ (reverse A)
difference-of-squares
difference 0 = 0
difference (n+1) = difference n + n (n+1)^2
hamming
(length A = length C and length B = length D) implies hamming (A ++ B) (C ++ D) = (hamming A C) + (hamming B D)
matching-brackets
matching-brackets A implies matching-brackets '(' A ')'
(matching-brackets A and matching-brackets B) implies matching-brackets (A ++ B)
- Ngôn ngữ chính
- Lean
- Star
- 3
- Fork
- 5
- Merge trung bình
- 1 ngày 15 giờ
- Pull request đã merge (30 ngày)
- 2
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 exercism/lean
-
Concept exercisesĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Add `List-Ops` practice exerciseCó thể làm lại được Pull request cho issue này đã bị đóng mà không được merge. Đang mởx:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Add `Zipper` practice exerciseCó thể làm lại được @jojo8356 đã nhận 210 ngày trước và không có pull request nào đang mở. Đang mởx:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
x:action/create x:knowledge/none x:size/massive x:type/coding
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Build a representerĐang mởx:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
Tất cả issue của exercism/lean
Issue tương tự
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Edit: Tele Posadas HDĐang mởcheck:passed streams:edit
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
Maintainer thường phản hồi trong vòng 1 ngày
-
[Sync EN] Fix simplexml_import_dom, simplexml_load_file and simplexml_load_string pages (#5977)Đang mởsync-en
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 78/100
1c7/chinese-independent-developer#1622 ·
Maintainer thường phản hồi trong vòng 1 ngày