Parallel and Concurrent Programming in Haskell

Спасибо!

Что только не придумают, чтобы не писать на Erlang

некоторые хотят статической типизации.

Спасибо.

некоторым нужно деньги зарабатывать, а не монады писать

http://hackage.haskell.org/package/parconc-examples

Erlang

async, distributed-process — да.

Но — parallel, monad-par, repa (типа местное OpenMP), accelerate (GPU), stm (собственно, STM, message passing — строго более специальная вещь).

If you have a working knowledge of Haskell, this hands-on book shows you how to use the language’s many APIs and frameworks for writing both parallel and concurrent programs.

Через пол-годика книжка устареет?

Да.

Через пол-годика книжка устареет?

Можно сравнить с http://github.com/simonmar/par-tutorial (c) Simon Marlow, 2011.

как-будто это нельзя комбинировать.

Посмотрел тут (17-May-2011) — base, stm, parallel, monad-par, async (которого (2.*), правда, тогда ещё не было), всё API что было — осталось таким же. Будут ли ломаться другие пакеты — можно только гадать, accelerate и cloud haskell — 0.*, например. Ещё если под «устаревать» понимать появление разных pipes-concurrency и прочих «новшеств» — всё может быть.

А так в сабжевой книжке есть общие места и примеры которым трудно устареть, так как они не хаскель-специфичны — по содержанию должно быть понятно.

А чем конкурентность от параллелизма отличается?

http://chimera.labs.oreilly.com/books/1230000000929/ch01.html#sec_terminology

Параллелизм должен быть «настоящим» (по отношению к cores CPU / GPU), конкурентность не обязана — можно реализовать абстракцию fork в kernel / user space на одном ядре каким-нибудь round-robin-ом, добавив взаимодействие с IO асинхронными сообщениями (прерывания / epoll). Возможность планировщику при этом выполнять задачи на разных ядрах — это уже оптимизация реализации конкурентности, то есть не главное, главное это API fork/join/kill/... которое можно использовать для структурирования программ, тогда как параллелизм — всегда только про «ускорить вычисление задействовав дополнительные ядра» (пока Амдал позволяет).

То есть, «параллелить на 10^3-6 ядер» — тут смысла просто нет, обычно это всего несколько ядер (ну, десяток-другой, в пределе). Тогда как «форкать 10^3-6 конкурентных задач» — вполне.

там я так понимаю много базовых вещей, которые не сломаются, а вот примеры кода, могут и устареть как в RWH.

надо будет купить бумажную.

Угу, спасибо, я что-то такое и предполагал.