Règles grégoriennes des années bissextiles
Classe les années grégoriennes de 1 à 9999 comme bissextiles ou communes.
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)- Modèles
- Configurez un endpoint compatible OpenAI ou Anthropic avec son URL de base et une clé API si nécessaire. Testez la connexion. Un serveur local doit fonctionner ; les outils distants peuvent transmettre des données séparément.
- Projet
- Vérifie 1900, 2000 et les deux bornes, en refusant l’année zéro, les fractions et les booléens.
- Vérifiez avant d’appliquer
- Comparez le comportement observé au résultat attendu. Si une vérification échoue, cherchez la cause avant de poursuivre les modifications.
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)Expliciter l’hypothèse calendaire avant de modifier le code
Les règles de date semblent souvent évidentes jusqu’à ce qu’une application rencontre une année exceptionnelle ou une valeur hors de sa plage prise en charge. LeapGrove fournit un espace de programmation avec IA pour Windows où intégrer ces hypothèses à la conversation de développement. Ouvrez le dossier du projet concerné, précisez le comportement calendaire requis et demandez à l’assistant d’examiner comment les valeurs entrantes atteignent le code de gestion des dates.
La fonction d’année bissextile à plage bornée est un exemple à discuter. Vous pouvez demander un examen des années prises en charge, des types rejetés et des appelants avant de l’adapter à un formulaire ou à un circuit d’importation. Explicitez le calendrier visé et distinguez la validation des entrées de la règle elle-même. Le travail proposé devient ainsi une modification logicielle évaluable, sans se fier à une formule familière dont le contexte d’application n’a pas été vérifié.
Utilisez un point de terminaison compatible OpenAI ou Anthropic pris en charge pour choisir un modèle d’IA sans censure disponible, avec des identifiants si nécessaire. Les politiques du modèle, l’accès aux outils et la capacité de contexte dépendent toujours de la connexion. Inspectez les différences, exécutez les vérifications pertinentes du projet et testez les années ordinaires ainsi que les exceptions incluses dans votre contrat. Un point de terminaison local nécessite son propre serveur de modèles actif et ne rend pas tous les outils connectés locaux.
Exigences calendaires à définir en premier
Pourquoi préciser la plage d’années prise en charge dans la demande ?
L’application peut délibérément prendre en charge une plage plus étroite qu’une bibliothèque calendaire générale. Précisez cette borne et inspectez les appelants avant de la modifier. Étendre les années acceptées peut modifier le comportement en aval même si le calcul des années bissextiles reste identique.
Une chaîne numérique doit-elle être une année valide ?
Décidez où placer la conversion dans votre application. Un formulaire peut analyser le texte avant d’appeler un utilitaire strict, tandis qu’une API interne peut le rejeter. Demandez que la proposition conserve cette séparation et testez explicitement le comportement convenu.
Un utilitaire correct pour les années bissextiles valide-t-il une date entière ?
Non. Les longueurs des mois, les plages de jours et les hypothèses calendaires de l’application nécessitent toujours leur propre traitement. Délimitez la responsabilité de l’utilitaire et inspectez le code qui le combine aux autres vérifications avant de déclarer l’entrée valide.
Comment vérifier le changement de date demandé ?
Fournissez des exemples concrets acceptés et rejetés, y compris les années limites pertinentes pour votre contrat. Examinez l’utilitaire et ses appelants, puis exécutez ces cas via le véritable circuit d’entrée. Un calcul isolé ne vérifie pas le comportement du formulaire ou de l’importation.
LeapGrove · Mis à jour 2026-10-25