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

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

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

== Примечания ==

Версия 21:53, 28 июля 2020

Аннотация

Евгений Кирпичёв из компании Grid Dynamics поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:

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

Видео

Подкаст

Презентация

Примечания

• страничка доклада на сайте конференции
• Лекции Евгения по ФП, параллельному программированию и всему такому

• «libcustisru:ADD 2010: Отчет Алексеева Алексея/Евгений Кирпичев. Многопоточное программирование»

Plays:1591   Comments:0