О SOLID-ности (Евгений Тюменцев, SECR-2016) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Batch edit: replace ;Докладчик: with ;{{SpeakerInfo}}:) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE \[([^\s]+) Страничка доклада на сайте конференции\] with {{ConferencePage|$1}}) |
||
</blockquote>
{{VideoSection}}
{{vimeoembed|185219655|800|450}}
<!-- {{youtubelink|}} -->
{{SlidesSection}}
[[File:О SOLID-ности (Евгений Тюменцев, SECR-2016).pdf|left|page=-|300px]]
{{----}}
{{LinksSection}}
* [{{ConferencePage|http://2016.secr.ru/program/submitted-presentations/mathematical-basis-of-solid-principles Страничка доклада на сайте конференции]}}
<!-- <blockquote>[©]</blockquote> -->
<references/>
<!-- topub -->
[[Категория:SECR-2016]] | |||
Версия 13:59, 22 декабря 2016
- Докладчик
- Евгений Тюменцев
Ряд широкоиспользуемых конструкций языков программирования противоречат SOLID принципам, отсюда возникает вопрос обоснованности использования SOLID принципов.
В докладе будут представлены ключевые идеи математического доказательства SOLID принципов, которые позволяют обощить их на процедурное и функциональное программирование.
Доклад рассчитан на программистов и архитекторов. Для понимания содержания нужно быть знакомым с основами математической логики в рамках университетского курса.
Видео
Презентация
Примечания и ссылки