If GHC intrigues you, I recommend looking up the CC class of languages as well. [1] The change from get/set to ask/tell has a surprisingly significant impact on

If GHC intrigues you, I recommend looking up the CC class of languages as well. [1] The change from get/set to ask/tell has a surprisingly significant impact on how one thinks about shared state and communication between concurrent parts of the program, and the logical basis is still pleasingly declarative. [1] https://people.csail.mit.edu/rinard/paper/popl91.pdf https://people.csail.mit.edu/rinard/paper/popl91.pdf