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

Материал из 0x1.tv

(Batch edit: replace |800|450}} with |800|450}} {{youtubelink|}})
(→‎Видео)
 
== Видео ==

{{vimeoembed|18091813|800|450}}

{{youtubelink|}}

|PRIqyaDo09s}}

== Подкаст ==

Версия 21:01, 3 июня 2016

Аннотация

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

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

Видео

on youtube

Подкаст

Презентация

Многопоточное программирование (Евгений Кирпичёв на ADD-2010).pdf


Примечания


Источник — «https://0x1.tv/index.php?title=Многопоточное_программирование_(Евгений_Кирпичёв_на_ADD-2010)&oldid=33571»