Комментарии 3
Хм… вроде, похоже на аспекты, но попроще…
Спасибо за статью. Крутая концепция. Как-то думал об аналогичной штуке, но в контексте автоматической генерации тестов. Ведь если мы задаём границы значений, то мы можем погонять соответствующий кусок кода на этих границах и даже выполнить частичное покрытие тестами для некоторых комбинаций аргументов функций.
Насколько я знаю, как раз такая штука уже есть в виде инструментов QuickCheck / ScalaCheck. Генерируют много случайных значений из определённого диапазона, или используя заданный генератор и пробегает тесты. Но вот там как раз не хватает выразительности при задании предусловий по которым генерятся случайные входные данные. Но я могу не знать о каких-то деталях, т.к. не использовал для реальных проектов ни разу.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Контракты в D