А если сталкивались с профильной литературой про параллельные/конкурентные вычисления, какую посоветуете?

В последнее время только Parallel and Concurrent Programming in Haskell читал, но там как раз этого нет. 😂
Так что не посоветую: современную не знаю, а старую уже и сам забыл... 😞

Почти одинаковый ответ у кого не спрашивал) Пойду тогда сам пороюсь

Так Вам в каком разрезе нужно: узнать значения терминов "конкуррентный" и "параллельный" или про реализацию алгоритмов и систем?

Мне бы про теорию, про определения и языки описания взаимодействующих (конкурентных или параллельных) процессов. Например, нашёл https://en.wikipedia.org/wiki/Communicating_sequential_processes недавно, показалось интересным, но раньше я и не задумывался над таким

Да, там семейство взаимосвязанных (эквивалентных) моделей параллельных/конкурентных вычислений, по сути, начавшееся с CSP Хоара. Туда же входит пи-исчисление и несколько алгебр процесов. Где-то рядом сети Петри для моделирования примерно того же, и Labeled Transition Systems как ultimate модель примерно любых вычислений.

Так или иначе оно всё по сути сводится к (Parallel) Graph Rewriting Systems, которые в свою очередь широко и глубоко разработанная область математики со своими характерными проблемами (такими как confluence) и теоремами про них.

Если хочется "убить" следующие 2-3-5 лет своей жизни — отличная возможность для этого! 😂

Можете подсказать хорошую литературу про параллельные/конкурентные вычисления?

хм, а как парсить в ML вызов функций? вот допустим на месте выражения:
map foo vect
или
(foo . bar) xs
не понимаю каким образом это спарсить. то есть нам нужно по пробелам разделить. но вот вопрос какое правило пихать в левую и правую часть от пробела? то же самое где есть условие с вызовом функции
expr = function | identifier
function = expr " " expr
нельзя, поскольку он войдет в бесконечную рекурсию expr -> function

Это же просто вопрос Left Recursion Elimination — он уже 100 раз обсуждён налево и направо по всему Интернету... 🤷‍♀️

Самый простой вариант: использовать генератор парсеров, который нативно умеет в левую рекурсию — PEG, там, или ANTLR...

ну вот я взял peg-rs, он мне в бесконечную рекурсию вошел. пойду еще доку почитаю.

Наверное, нужен не просто PEG, а Packrat — что-то я запамятовал... 😅

Это вроде уже в Вики можно писать...

CSP book, \pi calculus, graph rewriting, Interaction nets, etc...

Раздел Frequently Asked Questions...

@hirrolot Обзорный документ по ссылке, на мой взгляд, одно из лучших введений по Вашему вопросу про "про параллельные/конкурентные вычисления".

Programming Paradigms for Dummies: What Every Programmer Should Know
Ликбез по основным принципам ЯП: классификация, вопросы представления состояния, конкурентности и параллелизма.
https://www.info.ucl.ac.be/~pvr/VanRoyChapter.pdf

Нет. Не сводиться. Процессы - это как раз о взаимодействях, которые не описываются переписыванием графов.

А что именно надо? Математические модели или прикладные инженерные решения?