저의 배경은 주로 C, C ++ 및 Python과 같은 명령형 언어에서 나왔습니다. 몇 년 후 스칼라, 에를 랑, 그리고 하스켈을 집어 들고 기능 프로그래밍과 그 배후의 형식에 관심을 가지게되었습니다.
또한 동시 및 분산 프로그래밍에 관심이 있으며, 특히 "조명"(예 : 실제 사용 또는 최소한 어딘가 구현)을 조금이라도 본 형식론의 형식주의를 검토하고 있습니다. 지금까지 나는 의사 소통 순차 프로세스, 액터 모델, 의사 소통 과정의 대수 및 의사 소통 시스템의 미적분학에 대해 알고 있습니다. 이 중에서도 Actor 모델이 Erlang, Scala 및 Haskell과 같은 언어로 구현되었음을 알고 있습니다.
이 분야를 다루기 전에 배우고 실천해야 할 기초가 있는지, 내가 먼저 공부해야 할 "고전적인"분야가 있는지, 내가 놓쳤을 수도있는 다른 인기있는 분야가 있는지 궁금합니다.