Многопоточное программирование (Евгений Кирпичёв на ADD-2010) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+(\n) with \2) |
||
(не показано 15 промежуточных версий этого же участника) | |||
== Презентация == [[Файл:Многопоточное программирование (Евгений Кирпичёв на ADD-2010).pdf|left|page=-12|3200px]] <!-- == Стенограмма == <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=2020-01-09T21:59:202021-08-31T17:29:57.904766922615|vimeo_comments=0|vimeo_plays=15608|youtube_comments=0|youtube_plays=25}}36}} [[Категория:ADD-2010]] [[Категория: Параллельное программирование]] [[Категория:Верификация]] |
Текущая версия на 12:21, 4 сентября 2021
Содержание
Аннотация
Евгений Кирпичёв из компании Grid Dynamics поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
- Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
- Cutting-edge технологии: Что интересного и революционного есть в некоторых современных функциональных языках (Haskell, Erlang, Clojure, F#), и что уже стало или вот-вот станет мейнстримом.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Подкаст
Презентация
Примечания
- страничка доклада на сайте конференции
- Лекции Евгения по ФП, параллельному программированию и всему такому
Plays:1604 Comments:0