Язык для выражения сложных временных интервалов?

Question

Мне интересно, не знает ли кто-либо декларативный язык выражения абсолютных интервалов времени. Я имею в виду множества, являющиеся объединением/пересечением/дополнением временных интервалов.

Интервалы Я хотел бы представить, как:

(
(from the second day of the month to the 10th) intersection (months 1,2,3,10) 
) 
union 
(
    (from the second monday of january to the 3rd of july) intersection (not in(mondays, fridays)) 
) 

Я не ищу для библиотеки, а в какой-то языковой спецификации.

Примером того, что я ищу, являются выражения cron, вы можете найти here.

Answer 1

Возможно, вы не ищите библиотеку, но библиотека JODA для Java, когда она используется, приближается к структуре ее использования к тому, что вы показали. Посмотрите на это.

Answer 2

Диалект SQL, может быть?

Date from Days 
where Month in (Jan, Feb, Mar, Oct) 
    and Day between 2 and 10 

union 

Date from Days 
where Date between SecondMondayOf(Jan) and July,3 
    and DayOfWeek not in (Mon, Fri) 

Answer 3

Кажется, кто-то наконец-то придумал для DSL только что: schyntax.