Где бы почитать про лушие реализации многопоточности/параллелизма в языках программирования?

Приличных архитектур параллелизма сего две: CSP (Rust, Go) и STM (Haskell).

Приличных архитектур параллелизма сего две: CSP (Rust, Go) и STM (Haskell).

О вот это интересно, спасибо.

Такой большой, а в сказки веришь :)

там чуть ли не исключена возможность data race и тому подобное.

Ещё бы, в хаскеле практически всё иммутабельно :).

Такой большой, а в сказки веришь :)

Не то чтобы верю, просто хочу для личных проектов выбрать подходящий язык который максимально лишен недостатков C++. Что-то простое, эффективное, нативно компилируемое.
Вот к примеру вроде Rust создается с оглядкой на недостатки прежних языков. Но открываю код и вижу кучу тильд, '->', '=>' и т.д. Неужели нельзя было по проще сделать. Вот к примеру охрененная строчка:

None => None

None => ()

None => {}

дай угадаю, это pattern-matching и возвращение нужного типа, причем в строчке None => None у None разные типы (монадкой конечно это бы выглядело проще). //документацию по rust не смотрел ни разу в жизни.

Решил узнать таки что значат эти строчки, заглянул в документацию. Там примерно вот такие конструкции:

let point = &@~Point { x: 10f, y: 20f };

открываю код и вижу кучу тильд, '->', '=>' и т.д. Неужели нельзя было по проще сделать. Вот к примеру охрененная строчка:

None => None

Я даже теряюсь в догадках какой смысл она несет

Это потому, что ты плохо образован...

Прям отпало желание связываться с этим языком.

...и не стремишься исправить ситуацию.

адрес (чего-то-там) объекта типа Point созданного в куче с полями = x 10::Float и y = 20::Float?

/me пошёл смотреть в документацию, что значит @.

P.S. всё немного не так, свой комментарий оставляю, чтобы был в истории, но проблем в адресе owned managed box для Point я не вижу..

я боюсь предствить, что будет если он за статью по STM с примерами возьмётся :/

ИМХО, примеры на Хаскеле только затрудняют понимание идеи.

ну это ж дело привычек.

Все нормально будет!
http://doc.akka.io/docs/akka/1.3.1/scala/stm.html
http://nbronson.github.io/scala-stm/quick_start.html

как это развидеть? :)

ну это ж дело привычек.

Мало у кого есть привычка понимания кода на Хаскелле %)

Что-то простое, эффективное, нативно компилируемое.

Go, как минимум два из трех условий выполняются.

Я надеюсь, ты, писатель на хаскеле, не на внешний вид сетуешь?)

на него естественно :) т.е. если покопаться дальше, то может ещё много интересного можно найти, но мне даже смотреть внимательнее не хочется.

http://www.cs.cmu.edu/~blelloch/papers/Ble90.pdf

Где бы почитать про лушие реализации многопоточности/параллелизма в языках программирования?

В википедии. В статьях про Futures and Promises, параллельные коллекции и лямбды, и про map-reduce.

Всем спасибо за ссылки на метериалы.