ФП среда "Зав типы, которые могут навредить" | DevsDay.ru

ФП среда "Зав типы, которые могут навредить"

Rostov IT Events

Зарегистрироваться на событие




Что: ФП среда "Зав типы, которые могут навредить"
Когда: 4 марта в 19:00
Где: Ростов-на-Дону, Нижнебульварная, 6. 11 этаж правой башни
Регистрация и подробности: http://bit.ly/functionalwednesday

ФП среда снова открывает двери для всех неравнодушных к функциональному программированию! В этот раз – "Зав типы, которые могут навредить"

На этот раз в ФП среде две молнии* про типы:
- Денис Кривошеев расскажет "Как типы могут навредить"
- Иван Аристов расскажет про "Опыт использования зависмых типов"

*молния – это вольный перевод lightning talk – быстрого доклада, нацеленного на провокацию обсуждения.

Как нас найти:

Ростов-на-Дону, Нижнебульварная, 6. 11 этаж правой башни


Организатор: Rostov IT Events

Все IT-митапы, хакатоны, воркшопы и встречи IT-тусовки Ростова в одном месте. RndTech, RND.JS, IT Standup, RnD PHP и события компаний.

Зарегистрироваться на событие


События в IT


Что: ФП среда "Зав типы, которые могут навредить"Когда: 4 марта в 19:00Где: Ростов-на-Дону, Нижнебульварная, 6. 11 этаж правой башниРегистрация и подробности: http://bit.ly/functionalwednesday ФП среда снова открывает двери для всех неравнодушных к функциональному программированию! В этот раз – "Зав типы, которые могут навредить" На этот раз в ФП среде две молнии* про типы:- Денис Кривошеев расскажет "Как типы могут навредить"- Иван Аристов расскажет про "Опыт использования зависмых типов" *молния – это вольный перевод lightning talk – быстрого доклада, нацеленного на провокацию обсуждения. Как нас найти:Ростов-на-Дону, Нижнебульварная, 6. 11 этаж правой башни Организатор: Rostov IT Events Все IT-митапы, хакатоны, воркшопы и встречи IT-тусовки Ростова в одном месте. RndTech, RND.JS, IT Standup, RnD PHP и события компаний.
2020-03-04T00:00:00.0000000
2020-03-04T00:00:00.0000000
ФП среда "Зав типы, которые могут навредить"
Rostov IT Events
?.Trim()
ФП среда "Зав типы, которые могут навредить"
, .