Просмотр исходного текста страницы Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

== Аннотация ==
<blockquote>
{{Speaker|Евгений Кирпичёв}} из компании <tt>Grid Dynamics</tt> поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:

* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
* ''Cutting-edge'' технологии: Что интересного и революционного есть в некоторых современных функциональных языках (<tt>Haskell</tt>, <tt>Erlang</tt>, <tt>Clojure</tt>, <tt>F#</tt>), и что уже стало или вот-вот станет мейнстримом.
</blockquote>

== Видео ==

{{vimeoembed|18091813|800|450}}

{{youtubelink|PRIqyaDo09s}}{{letscomment}}

== Подкаст ==
{{podfmembed|belonesox.podfm.ru/addconf/42}}

== Презентация ==
[[Файл:Многопоточное программирование (Евгений Кирпичёв на ADD-2010).pdf|left|page=-|320px]]

<!-- == Стенограмма ==
<blockquote>
Стенограмму по видеозаписи записал [[User:StasFomin|Стас Фомин]].
</blockquote> -->

== Примечания ==
* [http://addconf.ru/event.sdf/ru/add_2010/authors/141/177 страничка доклада на сайте конференции]
* [http://www.lektorium.tv/speaker/?id=2843 Лекции Евгения по ФП, параллельному программированию и всему такому]

* {{libcustis-review|ADD 2010: Отчет Алексеева Алексея/Евгений Кирпичев. Многопоточное программирование}}

<references/>

{{stats|disqus_comments=0|refresh_time=2021-08-31T17:29:57.922615|vimeo_comments=0|vimeo_plays=1568|youtube_comments=0|youtube_plays=36}}

[[Категория:ADD-2010]]
[[Категория:Параллельное программирование]]
[[Категория:Верификация]]