挑战
查找最短的正则表达式
- 只会验证，即比赛中，每一个可能的日期在Proleptic公历（这也适用于所有日期在1582年首次执行前）
- 与任何无效日期都不匹配。
输出量
因此，输出是真实的还是错误的。
输入值
输入采用3种扩展的ISO 8601日期格式中的任何一种-无时间。
前两个是±YYYY-MM-DD（年，月，日）和±YYYY-DDD（年，日）。the日都需要特殊的外壳。这些扩展的RX天真地将它们分别匹配：
(?<year>[+-]?\d{4,})-(?<month>\d\d)-(?<day>\d\d)
(?<year>[+-]?\d{4,})-(?<doy>\d{3})
第三种输入格式是±YYYY-wWW-D（年，周，日）。由于leap周模式复杂，因此比较复杂。
(?<year>-?\d{4,})-W(?<week>\d\d)-(?<dow>\d)
对这三个组合进行的基本但有效性不足的检查如下所示：
[+-]?\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]))
条件
一个闰年的Proleptic公历包含闰日 …-02-29，因此它是长366天，因此…-366存在。在序数可被4整除的任何年份中都会发生这种情况，除非它也能被400整除，否则不会被100整除。
该日历中存在零年，并且是a年。
一个漫长的一年，在ISO周历包含了第53周，其中一个可以称之为一个“ 闰周 ”。在1月1日是星期四的所有年份中都会发生这种情况，在所有leap年都是星期三的所有leap年都发生这种情况。事实证明，它通常每5或6年出现一次，呈看似不规则的模式。
一年至少有4位数字。不必支持位数超过10的年份，因为这已经足够接近宇宙的年龄（大约140亿年）。前导加号是可选的，尽管实际标准建议多于4位数字的年份需要使用它。
不得接受不完整的部分或截短日期。
日期标记，例如一个月的部分，也没有必须由可能被引用的一组相匹配。
规则
这是代码高尔夫球。没有执行代码的最短正则表达式将获胜。更新：您可以使用诸如递归和平衡组之类的功能，但是会被罚款10倍，然后与字符数相乘！现在，这与Hard code golf中的规则不同：Regex可除以7。较早的答案胜出。
测试用例
有效测试
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
最后一个可选地是有效的，即可以修剪输入字符串中的前导和尾随空格。
格式无效
-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
无效的日期
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
2
这个问题的定义不明确，因为未指定正则表达式语言。
—
orlp
@orlp如果未指定，则选择不受限制。我故意写“ regex”或“ RX”，因此可以使用允许递归的方言（例如CFG，而不是RG）。
—
Crissov 2015年
我强烈建议您限制正则表达式语言，因为对于一个竞争者来说，在解决方案上工作几个小时只会被根本上更强大的语言所击败，这会很酸。如果将语言限制为正则表达式（如DFA）的实际CS定义，那么问题将成为一个有趣的优化答案。
—
orlp
使用正则表达式验证ISO-8601日期是我实际上必须要做的工作。但是同意orlp，我认为这里需要一种语言。
—
Alex A.
Regex继承自Perl 6中的Method，因此它本身也是可执行代码的一种形式。
—
布拉德·吉尔伯特b2gills '16