So it's December in a bit, and although I've already learned a new programming language this year, I've still got time for another. What's the new hotness?
I'm thinking maybe ATS.
Conversation
I vote Lean...
2
4
I assumed you didn't mean Lean methodology, so I googled it and now I'm so shocked. ashleytreatment.org/what-is-lean/
1
2
leanprover.github.io New theorem prover out of MSR folks, heavy emphasis on automation, from some of the same folks who worked on Z3
2
6
Heh, I wasn't really sold on this but the Emacs mode did it.
1
3
The VS Code extension is also excellent.