私の背景は、主にC、C ++、およびPythonの命令型言語から来ました。私は数年後、Scala、Erlang、およびHaskellの一部を入手し、関数型プログラミングとその背後にある形式に非常に興味を持つようになりました。
私は並行プログラミングと分散プログラミングにも興味があり、その背後にある形式、特に「日中の光」のほんの少しだけを見たもの（例：実世界での使用、または少なくともどこかでの実装）を調べています。これまでのところ、通信順次プロセス、アクターモデル、通信プロセスの代数、および通信システムの計算について知っています。これらの中で、アクターモデルがErlang、Scala、Haskellなどの言語で実現したことを知っています。
これらの分野に取り組む前に、学んだり実践したりすべき基礎があるのか、最初に学ぶべき「古典的」な基礎があるのか、他に見逃したかもしれない人気のある基礎があるのだろうか。