Hình thức trong lập trình đồng thời và / hoặc phân phối?


10

Nền tảng của tôi đến từ các ngôn ngữ bắt buộc, chủ yếu là C, C ++ và Python. Tôi đã chọn Scala, Erlang và một chút Haskell một vài năm sau đó và từ đó đã trở nên rất quan tâm đến lập trình chức năng và các hình thức đằng sau nó.

Tôi cũng quan tâm đến lập trình đồng thời và phân tán và đã xem xét các hình thức đằng sau đó, đặc biệt là những chương trình đã thấy ít nhất một chút "ánh sáng ban ngày" (ví dụ như sử dụng trong thế giới thực, hoặc ít nhất là thực hiện ở đâu đó). Cho đến nay tôi biết về Giao tiếp các quy trình tuần tự, mô hình diễn viên, đại số của các quy trình giao tiếp và tính toán của các hệ thống giao tiếp. Trong số này, tôi biết mô hình Diễn viên đã nhận ra chính mình bằng các ngôn ngữ như Erlang, Scala và Haskell.

Tôi tự hỏi liệu có nền tảng nào tôi nên học và thực hành trước khi giải quyết các lĩnh vực này không, nếu có một nền tảng "cổ điển" mà tôi nên học trước, và liệu có bất kỳ lĩnh vực phổ biến nào khác mà tôi có thể đã bỏ lỡ không?

Câu trả lời:


5

πππ


Ah rất thú vị, cảm ơn! Loại nền tảng toán học nào bạn đề xuất trước khi giải quyết một lĩnh vực như vậy, hoặc nó ít nhiều khép kín?
adelbertc

2
πλ
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.