Nim is a very good choice because it generates tiny binaries while having a very expressive syntax. It's the closest language to a static typed Python. Also i

Nim is a very good choice because it generates tiny binaries while having a very expressive syntax. It's the closest language to a static typed Python. Also it uses GCC, which supports most microcontrollers.