Property-based testing в Haskell

Property-based testing — подход к тестированию программ, предполагающий, что программист описывает не тестовые сценарии, как это делается обычно, а свойства, которым должны удовлетворять функции. Мы рассмотрим примеры тестов, написанных в property-based-стиле, поглядим на библиотеки для языка Haskell, а также поспекулируем, почему именно экосистема функционального программирования первой открыла этот подход. Лектор: Дмитрий Халанский, разработчик в Kotlin Libraries JetBrains. Выпускник программы 2019 года, преподаватель математической логики, теории формальных языков и функционального программирования.