In that case, something like Prolog would definitely be a change and possibly a lot of fun to explore but I have no idea about the community. I also liked Chapel [1] a lot when I looked at a couple of years ago (again modulo community). If you are into distributed systems TLA+ could be a nice thing to know though obviously it's not a general purpose language.
@blueslurpee: I'm definitely biased, but agree that Chapel would be a fun language to explore, particularly if you're interested in looking at integrated task- and data-parallelism within a language or distributed computing with a partitioned global namespace. If you do, feel free to reach out with questions/comments/requests on Stack Overflow, Discourse, GitHub, Gitter, etc. [1]
I have a question for you Brad (hope you see this):
How would you characterize the suitability of Chapel for (what is being called) ML-Ops both in terms of work distribution (something like 'Ray' etc.) and interop with ML/GPU libraries and frameworks?
[1]: https://chapel-lang.org/