Quy tắc năm nhuận Gregory
Phân loại năm Gregory từ 1 đến 9999 thành năm nhuận hoặc năm thường.
def is_leap_year(year):
if type(year) is not int or not 1 <= year <= 9999:
raise ValueError("year.range")
return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)- Mô hình
- Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng.
- Dự án
- Kiểm tra 1900, 2000 và cả hai đầu khoảng, từ chối năm không, phân số và giá trị Boolean.
- Kiểm tra trước khi áp dụng
- So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp.
def is_leap_year(year):
if type(year) is not int or not 1 <= year <= 9999:
raise ValueError("year.range")
return year % 4 == 0 and (year % 100 != 0 or year % 400 == 0)Ghi rõ giả định về lịch trước khi đổi mã
Quy tắc ngày tháng thường có vẻ hiển nhiên cho đến khi ứng dụng gặp năm ngoại lệ hoặc giá trị ngoài phạm vi hỗ trợ. LeapGrove cung cấp không gian lập trình AI trên Windows để đưa các giả định đó vào cuộc trao đổi phát triển. Mở thư mục dự án liên quan, nêu hành vi lịch cần có và yêu cầu trợ lý xem cách giá trị đầu vào đi đến mã xử lý ngày.
Hàm xác định năm nhuận có giới hạn phạm vi là một ví dụ để trao đổi. Bạn có thể yêu cầu rà soát các năm hỗ trợ, kiểu bị từ chối và mã gọi trước khi điều chỉnh cho biểu mẫu hoặc luồng nhập dữ liệu. Nêu rõ hệ lịch dự định dùng và phân biệt kiểm tra đầu vào với bản thân quy tắc. Nhờ đó, công việc đề xuất là thay đổi phần mềm có thể đánh giá, thay vì dựa vào công thức quen thuộc mà chưa xem bối cảnh ứng dụng.
Dùng điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ để chọn mô hình AI không kiểm duyệt sẵn có, cung cấp thông tin xác thực khi cần. Chính sách mô hình, quyền dùng công cụ và dung lượng ngữ cảnh vẫn phụ thuộc kết nối. Xem phần khác biệt mã, chạy các kiểm tra phù hợp và kiểm thử năm thường cùng các ca ngoại lệ trong quy ước. Điểm cuối cục bộ cần máy chủ mô hình riêng đang chạy và không khiến mọi công cụ kết nối đều chạy cục bộ.
Các yêu cầu về lịch nên thống nhất trước
Vì sao nên nêu phạm vi năm hỗ trợ trong yêu cầu?
Ứng dụng có thể chủ động hỗ trợ phạm vi hẹp hơn thư viện lịch tổng quát. Nêu ranh giới đó và xem mã gọi trước khi đổi. Mở rộng số năm được chấp nhận có thể đổi hành vi phía sau dù phép tính năm nhuận vẫn giữ nguyên.
Chuỗi số có nên được coi là năm hợp lệ không?
Quyết định nơi chuyển đổi trong ứng dụng. Biểu mẫu có thể phân tích văn bản trước khi gọi hàm hỗ trợ nghiêm ngặt, còn API nội bộ có thể từ chối. Yêu cầu đề xuất giữ sự phân tách đó và kiểm thử rõ hành vi đã thống nhất.
Hàm năm nhuận đúng có xác thực toàn bộ ngày không?
Không. Độ dài tháng, phạm vi ngày và giả định lịch của ứng dụng vẫn cần xử lý riêng. Làm rõ trách nhiệm của hàm, rồi xem mã kết hợp nó với các kiểm tra khác trước khi kết luận đầu vào hợp lệ.
Người rà soát kiểm tra thay đổi ngày được yêu cầu thế nào?
Cung cấp ví dụ cụ thể được chấp nhận và bị từ chối, kể cả năm biên liên quan đến quy ước. Rà soát hàm và mã gọi, rồi chạy các ca đó qua đường nhận đầu vào thực tế. Phép tính độc lập không xác minh hành vi biểu mẫu hoặc nhập dữ liệu.
LeapGrove · Cập nhật 2026-10-25