| Title | Date (dd.mm.yyyy) | Where | Artifacts |
|---|---|---|---|
| QuickChecking with dependent types | 08.12.2022 | Idris Developers Meeting | [slides] |
| Dependent Types to Push Corners of the Property-based Testing | 06.09.2024 | TyDe at ICFP'24 | [slides] [paper] [code] [video] |
| Название | Дата | Где | Материалы |
|---|---|---|---|
| Полиморфизм в Haskell и typeclasses. Краткий ликбез и пример | 01.11.2019 | Семинар ФП в ИСП | [слайды] |
| Данные не нужны. Что знал Алонзо Чёрч ещё 80 лет назад | 13.11.2019 | [слайды] | |
| 06.03.2020 | Семинар Коли Васильева | [слайды] | |
| Как достигать желаемых эффектов | 04.12.2019 | Семинар ФП в ИСП | [слайды] [код] |
| Рекурсивные схемы. Рекурсия в типах и коде | 18.12.2019 | [слайды] [код] | |
| Зависимые типы и соответствие Карри-Ховарда | 22.01.2020 | [слайды] [код] | |
| 19.02.2020 | Семинар Коли Васильева | [слайды] | |
| Model-based тестирование протоколов и парсинг | 05.02.2020 | Семинар ФП в ИСП | [слайды] |
| Генерация сложных тестовых данных со сложными инвариантами | 24.11.2020 | [слайды] [код] | |
| 12.12.2020 | Семинар Коли Васильева | [слайды] | |
| Циферьки в типах или Quantitative type theory | 03.02.2021 | Undef space | [слайды] [код] [видео] |
| 18.02.2021 | Семинар ФП в ИСП | [слайды] | |
| Скалисты уже знают зависимые типы. Но это не точно | 23.11.2023 | Семинар Лёши Троицкого | [слайды] [код] [видео] |
| Байки от зависимых типов. Типов, зависимых от зависимых типов | 30.11.2023 | [слайды] [код] [видео] | |
| Зависимые типы + property-based testing = ♥ | 19.03.2024 | ФП-митап от Tinkoff | [слайды] [код] [видео] |
| Хорошо протестировать нетестируемое и не сойти с ума | 17.10.2024 | Heisenbug 2024 Autumn | [слайды] [код] [видео] |