Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Property-based testing в Haskell

Автор: Институт прикладных компьютерных наук ИТМО

Загружено: 2021-07-23

Просмотров: 460

Описание:

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

Лектор: Дмитрий Халанский, разработчик в Kotlin Libraries JetBrains. Выпускник программы 2019 года, преподаватель математической логики, теории формальных языков и функционального программирования.

Property-based testing в Haskell

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Love, death and bioinformatics

Love, death and bioinformatics

Лекция Тимофея Брыксина «Внедрение машинного обучения в IDE: опыт JetBrains»

Лекция Тимофея Брыксина «Внедрение машинного обучения в IDE: опыт JetBrains»

Юлия Кишканова «Основы разработки высоконагруженных систем»

Юлия Кишканова «Основы разработки высоконагруженных систем»

AI Assisted Cracking of LeetCode Cracking Excel s Column Code

AI Assisted Cracking of LeetCode Cracking Excel s Column Code

Property-based тестирование / Григорий Петросян

Property-based тестирование / Григорий Петросян

Программирование с нуля. Ветвление | Илья Сагалов

Программирование с нуля. Ветвление | Илья Сагалов

Как учиться быстро и самому? На примере языков  программирования.

Как учиться быстро и самому? На примере языков программирования.

Владимир Ицыксон «Баги в программах: пережить или предотвратить»

Владимир Ицыксон «Баги в программах: пережить или предотвратить»

НОВЫЕ ЗАКОНЫ С 1 ФЕВРАЛЯ: Безработные, пенсионная система, ипотека, мигранты, маткапитал

НОВЫЕ ЗАКОНЫ С 1 ФЕВРАЛЯ: Безработные, пенсионная система, ипотека, мигранты, маткапитал

Самые ПРИБЫЛЬНЫЕ ниши для малого бизнеса ВО ВСЕ ВРЕМЕНА! / Как выбрать дело на ВСЮ жизнь?

Самые ПРИБЫЛЬНЫЕ ниши для малого бизнеса ВО ВСЕ ВРЕМЕНА! / Как выбрать дело на ВСЮ жизнь?

📞🫵 ВОВКА ПО ВЫЗОВУ: зачем Трамп заманивает Зеленского в Давос. Кусочек ЛЬДА Гренландия - Бондаренко

📞🫵 ВОВКА ПО ВЫЗОВУ: зачем Трамп заманивает Зеленского в Давос. Кусочек ЛЬДА Гренландия - Бондаренко

Михаил Саламатов «Храним информацию не только на серверах, но и...»

Михаил Саламатов «Храним информацию не только на серверах, но и...»

Михаил Хазин | ТРАМП ПРОТИВ СИСТЕМЫ: Грандиозная афера века раскрыта! КУДА ИСЧЕЗЛИ ТРИЛЛИОНЫ?

Михаил Хазин | ТРАМП ПРОТИВ СИСТЕМЫ: Грандиозная афера века раскрыта! КУДА ИСЧЕЗЛИ ТРИЛЛИОНЫ?

Речь Трампа о Гренландии и Путине. Россияне снимают наличку. Жители Киева уезжают из города

Речь Трампа о Гренландии и Путине. Россияне снимают наличку. Жители Киева уезжают из города

Эти ИДЕИ ВЗОРВУТ РЫНОК в 2026

Эти ИДЕИ ВЗОРВУТ РЫНОК в 2026

Вся правда про рост цен на Оперативную память

Вся правда про рост цен на Оперативную память

Кирилл Набутов, Кирилл Рогов | Обзор от BILD

Кирилл Набутов, Кирилл Рогов | Обзор от BILD

Сергей Завелишко «Как собирать MVP и быстро запускать гипотезы»

Сергей Завелишко «Как собирать MVP и быстро запускать гипотезы»

Психология Людей, Которые Прошли Через Слишком Многое | 6 Черт Сильных Личностей

Психология Людей, Которые Прошли Через Слишком Многое | 6 Черт Сильных Личностей

Самые частые вопросы про программирование Часть 1

Самые частые вопросы про программирование Часть 1

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: infodtube@gmail.com