我的背景来自命令式语言，主要是C，C ++和Python。几年后，我学习了Scala，Erlang和一些Haskell，从那以后，我对函数式编程及其背后的形式形式变得非常感兴趣。
我对并发和分布式编程也很感兴趣，并且一直在研究其背后的形式主义，特别是那些至少看到了一点点“日光”的形式主义（例如，在现实世界中的使用，或者至少是某个地方的实现）。到目前为止，我知道通信顺序过程，Actor模型，通信过程的代数以及通信系统的微积分。在我当中，我知道Actor模型已经以Erlang，Scala和Haskell等语言实现了。
我想知道在解决这些领域之前是否应该学习和实践一些基础，是否应该首先学习“经典”基础，以及是否可能错过其他流行的基础？