AZ
толковый разработчик не пойдет, потому что через несколько лет когда придет время менять работу, окажется, что он стал специалистом по велосипедам, а этот опыт очень плохо продается другим компаниям
А вот и приехал анонс от питонистов ;)
В этот раз у нас будет супер доклад, который, мы уверены, вызовет отклик в сердцах у многих участников сообщества.
Также пишите любому из администраторов сообщества, если у вас есть идеи для Lightning докладов! Администраторов можно найти у нас в уютном чатике (https://t.me/spbpython)
О докладе:
Докладчик: Артем Страхов
Как перестать писать end-to-end тесты и начать синтезировать их.
Property-based тестирование давно и успешно применяется для генерации юнит тестов (см. hypothesis, например). Но использовать его в высокоуровневых тестах не так просто. Во-первых, нужно определиться с инвариантами. Во-вторых, понять как эффективно генерировать данные (shrinking не подходит). Я покажу как используя зависимые типы можно построить модель системы, на основе которой решить вышеперечисленные проблемы.
Когда: 17 сентября в 19:00
Место встречи: офис EPAM, Заставская ул., 22 корп. 2.
Для прохода в офис необходимо указать ФИО в форме https://docs.google.com/forms/d/1kwPw7L--aWX9Xq2H3OGGH3wsi_Eml0PgQOkjtZ6sbgc
Ссылка на мероприятие:
https://www.meetup.com/spbpython/events/qvcrgryzmbwb/
