Многопоточное программирование (Евгений Кирпичёв на ADD-2010) — различия между версиями

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

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

== Видео ==