Regole gregoriane degli anni bisestili
Classifica gli anni gregoriani da 1 a 9999 come bisestili o comuni.
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)- Modelli
- Configura un endpoint compatibile con OpenAI o Anthropic usando URL di base e chiave API, se necessaria. Prova la connessione. Il server locale deve essere in esecuzione; gli strumenti remoti possono trasmettere dati separatamente.
- Progetto
- Verifica 1900, 2000 ed entrambi gli estremi, rifiutando l’anno zero, frazioni e booleani.
- Controlla prima di applicare
- Confronta il comportamento effettivo con il risultato atteso. Se una verifica fallisce, indaga la causa prima di altre modifiche.
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)Esplicita le ipotesi sul calendario prima di modificare il codice
Le regole sulle date sembrano spesso ovvie finché l’applicazione non incontra un anno eccezionale o un valore fuori dall’intervallo supportato. LeapGrove offre un ambiente di programmazione con IA per Windows in cui portare queste ipotesi nella conversazione di sviluppo. Apri la cartella pertinente, indica il comportamento del calendario necessario e chiedi all’assistente di esaminare come i valori in ingresso raggiungono il codice che gestisce le date.
La funzione per gli anni bisestili con intervallo limitato è un esempio da discutere. Puoi chiedere un esame degli anni supportati, dei tipi rifiutati e dei chiamanti prima di adattarla a un modulo o a un percorso di importazione. Esplicita il calendario previsto e distingui la validazione degli input dalla regola stessa. Il lavoro proposto diventa così una modifica software valutabile, senza affidarsi a una formula familiare trascurando il contesto applicativo.
Usa un endpoint supportato compatibile con OpenAI o di Anthropic per scegliere un modello IA senza censura disponibile, fornendo credenziali quando richieste. Le politiche del modello, l’accesso agli strumenti e la capacità di contesto dipendono comunque dalla connessione. Esamina le differenze, esegui le verifiche pertinenti e prova anni ordinari insieme ai casi eccezionali previsti dal contratto. Un endpoint locale richiede un proprio server di modelli in esecuzione e non rende locali tutti gli strumenti collegati.
Requisiti del calendario da definire prima
Perché indicare l’intervallo di anni supportato nella richiesta?
L’applicazione può supportare intenzionalmente un intervallo più ristretto rispetto a una libreria generica. Specifica quel limite ed esamina i chiamanti prima di modificarlo. Estendere gli anni accettati può alterare il comportamento a valle anche se il calcolo degli anni bisestili resta invariato.
Una stringa numerica deve essere un anno valido?
Decidi dove deve avvenire la conversione nell’applicazione. Un modulo può convertire il testo prima di chiamare una funzione rigorosa, mentre un’API interna può rifiutarlo. Chiedi che la proposta preservi questa separazione e verifica esplicitamente il comportamento concordato.
Una funzione corretta per gli anni bisestili valida una data intera?
No. Durata dei mesi, intervalli dei giorni e ipotesi sul calendario dell’applicazione richiedono una gestione propria. Chiarisci la responsabilità della funzione ed esamina il codice che la combina con altre verifiche prima di dichiarare valido l’input.
Come può un revisore verificare la modifica alle date richiesta?
Fornisci esempi concreti accettati e rifiutati, compresi gli anni limite pertinenti al contratto. Esamina la funzione e i chiamanti, poi esegui quei casi attraverso il percorso di ingresso effettivo. Un calcolo isolato non verifica il comportamento di moduli o importazioni.
LeapGrove · Aggiornato 2026-10-25