Eşzamanlı ve / veya dağıtılmış programlamadaki biçimsellikler?


10

Arka planım zorunlu dillerden, özellikle C, C ++ ve Python'dan geldi. Birkaç yıl sonra Scala, Erlang ve biraz Haskell'i aldım ve o zamandan beri fonksiyonel programlama ve bunun arkasındaki formalizmlerle çok ilgilenmeye başladım.

Aynı zamanda eşzamanlı ve dağıtılmış programlamaya da ilgi duyuyorum ve bunun arkasında, özellikle de en azından "gün ışığının" birazını (örneğin, gerçek dünya kullanımı veya en azından bir yerde bir uygulama) görmüş olanlar, formalizmi araştırıyorum. Şimdiye kadar İletişim Süreci, Aktör modeli, İletişim Süreci Cebiri ve İletişim Sistemleri Hesabı'nı biliyorum. Bunlar arasında Aktör modelinin kendini Erlang, Scala ve Haskell gibi dillerde gerçekleştirdiğini biliyorum.

Bu alanlarla başa çıkmadan önce öğrenmem ve uygulamam gereken temeller olup olmadığını, ilk önce çalışmam gereken bir "klasik" dersin ve kaçırmış olabileceğim başka popülerlerin olup olmadığını merak ediyorum.

Yanıtlar:


5

πππ


Ah çok ilginç, teşekkürler! Böyle bir alanla mücadele etmeden önce ne tür bir matematiksel arka plan önerirsiniz, yoksa az çok müstakil mi?
adelbertc

2
πλ
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.