Latar belakang saya berasal dari bahasa imperatif, terutama C, C ++, dan Python. Saya mengambil Scala, Erlang, dan sedikit Haskell beberapa tahun kemudian dan sejak itu menjadi sangat tertarik pada pemrograman fungsional dan formalisme di belakangnya.
Saya juga tertarik pada pemrograman bersamaan dan didistribusikan dan telah melihat formalisme di balik itu, terutama yang telah melihat setidaknya sedikit "cahaya hari" (misalnya penggunaan dunia nyata, atau setidaknya implementasi di suatu tempat). Sejauh ini saya tahu tentang Mengkomunikasikan Proses Berurutan, model Aktor, Aljabar Proses Berkomunikasi, dan Kalkulus Sistem Berkomunikasi. Di antara ini saya tahu model Aktor telah menyadari dirinya dalam bahasa seperti Erlang, Scala, dan Haskell.
Saya bertanya-tanya apakah ada dasar yang harus saya pelajari dan praktikkan sebelum menangani bidang-bidang ini, apakah ada yang "klasik" yang harus saya pelajari terlebih dahulu, dan apakah ada yang populer yang mungkin saya lewatkan?