I'm in a similar situation. I like Clojure better than Elixir (though Elixir is "good enough", it sometimes feels like an ElCheapo brand Clojure knock-off) but

I'm in a similar situation. I like Clojure better than Elixir (though Elixir is "good enough", it sometimes feels like an ElCheapo brand Clojure knock-off) but I have a feeling that the problems I'm after - lots of small messages, resilience, scaling out - will be handled better by BEAM than any JVM. On the other hand, the Dialyzer experience - especially in VS Code - is sorely needed in Clojure, and it has nothing comparable. Whatever Rich says, types (or specs) are not built to make code run faster - they should be there to protect you from your stupidity and laziness. Automatic inference, and one-click add-to-code, are a real treat.