Défi
Trouvez l'expression rationnelle la plus courte
- valide, c'est-à-dire les correspondances, toutes les dates possibles du calendrier grégorien proleptique (qui s'applique également à toutes les dates avant sa première adoption en 1582) et
- ne correspond à aucune date invalide.
Production
La sortie est donc véridique ou falsey.
Contribution
L'entrée est dans l'un des 3 formats de date ISO 8601 étendus - pas d'heure.
Les deux premiers sont ±YYYY-MM-DD(année, mois, jour) et ±YYYY-DDD(année, jour). Les deux ont besoin d'un boîtier spécial pour le jour bissextile. Ils sont naïvement appariés séparément par ces RX étendus:
(?<year>[+-]?\d{4,})-(?<month>\d\d)-(?<day>\d\d)
(?<year>[+-]?\d{4,})-(?<doy>\d{3})
Le troisième format d'entrée est ±YYYY-wWW-D(année, semaine, jour). C'est le plus compliqué en raison du schéma complexe des semaines bissextiles.
(?<year>-?\d{4,})-W(?<week>\d\d)-(?<dow>\d)
Un contrôle de validité basique mais insuffisant pour les trois combinés ressemblerait à ceci:
[+-]?\d{4,}-((0\d|1[0-2])-([0-2]\d|3[01]) ↩
|([0-2]\d\d|3[0-5]\d|36[0-6]) ↩
|(W([0-4]\d|5[0-3])-[1-7]))
Conditions
Une année bissextile dans le calendrier grégorien proleptique contient le jour bissextile …-02-29 et dure donc 366 jours, donc …-366existe. Cela se produit dans n'importe quelle année dont le nombre ordinal est divisible par 4, mais pas par 100 à moins qu'il ne soit également divisible par 400. L'
année zéro existe dans ce calendrier et c'est une année bissextile.
Une longue année dans le calendrier hebdomadaire ISO contient une 53e semaine, que l'on pourrait qualifier de « semaine bissextile ». Cela se produit toutes les années où le 1er janvier est un jeudi et en outre toutes les années bissextiles où c'est un mercredi. Il se produit généralement tous les 5 ou 6 ans, de façon apparemment irrégulière.
Une année comporte au moins 4 chiffres. Les années de plus de 10 chiffres ne doivent pas être prises en charge, car c'est assez proche de l'âge de l'univers (environ 14 milliards d'années). Le signe plus en tête est facultatif, bien que la norme actuelle suggère qu'il devrait être requis pendant des années avec plus de 4 chiffres.
Les dates partielles ou tronquées, c'est-à-dire avec une précision inférieure au jour, ne doivent pas être acceptées.
Les parties de la notation de date, par exemple le mois, n'ont pas besoin d'être appariées par un groupe qui pourrait être référencé.
Règles
C'est du code-golf. Le regex le plus court sans code exécuté gagne. Mise à jour: Vous pouvez utiliser des fonctionnalités telles que la récursivité et les groupes équilibrés, mais vous serez condamné à une amende d'un facteur 10, avec lequel le nombre de caractères sera ensuite multiplié! Ceci est maintenant différent des règles du golf en code dur: Regex pour la divisibilité par 7 . Une réponse antérieure gagne une égalité.
Cas de test
Tests valides
2015-08-10
2015-10-08
12015-08-10
-2015-08-10
+2015-08-10
0015-08-10
1582-10-10
2015-02-28
2016-02-29
2000-02-29
0000-02-29
-2000-02-29
-2016-02-29
200000-02-29
2016-366
2000-366
0000-366
-2016-366
-2000-366
2015-081
2015-W33-1
2015-W53-7
2015-08-10
Le dernier est éventuellement valide, c'est-à-dire que les espaces de début et de fin dans les chaînes d'entrée peuvent être coupés.
Formats invalides
-0000-08-10 # that's an arbitrary decision
15-08-10 # year is at least 4 digits long
2015-8-10 # month (and day) is exactly two digits long, i.e. leading zero is required
015-08-10 # year is at least 4 digits long
20150810 # though a valid ISO format, we require separators; could also be interpreted as a 8-digit year
2015 08 10 # separator must be hyphen-minus
2015.08.10 # separator must be hyphen-minus
2015–08–10 # separator must be hyphen-minus
2015-0810
201508-10 # could be October in the year 201508
2015 - 08 - 10 # no internal spaces allowed
2015-w33-1 # letter ‘W’ must be uppercase
2015W33-1 # it would be unambiguous to omit the separator in front of a letter, but not in the standard
2015W331 # though a valid ISO format we require separators
2015-W331
2015-W33 # a valid ISO date, but we require day-precision
2015W33
Dates invalides
2015 # a valid ISO format, but we require day-precision
2015-08 # a valid ISO format, but we require day-precision
2015-00-10 # month range is 1–12
2015-13-10 # month range is 1–12
2015-08-00 # day range is 1–28 through 31
2015-08-32 # max. day range is 1–31
2015-04-31 # day range for April is 1–30
2015-02-30 # day range for February is 1–28 or 29
2015-02-29 # day range for common February is 1–28
2100-02-29 # most century years are non-leap
-2100-02-29 # most century years are non-leap
2015-000 # day range is 1–365 or 366
2015-366 # day range is 1–365 in common years
2016-367 # day range is 1–366 in leap years
2100-366 # most century years are non-leap
-2100-366 # most century years are non-leap
2015-W00-1 # week range is 1–52 or 53
2015-W54-1 # week range is 1–53 in long years
2016-W53-1 # week range is 1–52 in short years
2015-W33-0 # day range is 1–7
2015-W33-8 # day range is 1–7