О SOLID-ности (Евгений Тюменцев, SECR-2016) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
{{vimeoembed|185219655|800|450}}
{{youtubelink|ZYTL04Zav6U}}
{{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> -->
{{fblink|1823634954556184}}
{{vklink|392}}
<references/>
<!-- topub -->
[[Категория:SECR-2016]]
{{stats|disqus_comments=3|refresh_time=2018-05-15T17:30:44.909674|vimeo_comments=0|vimeo_plays=84|youtube_comments=0|youtube_plays=58}} |
Версия 06:15, 9 июня 2018
- Докладчик
- Евгений Тюменцев
Ряд широкоиспользуемых конструкций языков программирования противоречат SOLID принципам, отсюда возникает вопрос обоснованности использования SOLID принципов.
В докладе будут представлены ключевые идеи математического доказательства SOLID принципов, которые позволяют обощить их на процедурное и функциональное программирование.
Доклад рассчитан на программистов и архитекторов. Для понимания содержания нужно быть знакомым с основами математической логики в рамках университетского курса.
Видео
Презентация
Примечания и ссылки
Plays:142 Comments:3