ФП-среда 4 марта "Зав типы, которые могут навредить"
ФП среда снова открывает двери для всех неравнодушных к функциональному программированию! В этот раз – "Зав типы, которые могут навредить"
На этот раз в ФП среде две молнии* про типы:
- Денис Кривошеев расскажет "Как типы могут навредить"
- Иван Аристов расскажет про "Опыт использования зависмых типов"
*молния – это вольный перевод lightning talk – быстрого доклада, нацеленного на провокацию обсуждения.
Регистрация