Hmm, I completely missed that, thanks for pointing it out (https://makecode.com/language#static-compilation-vs-a-dynami...)

I assumed that the PXT worked the same as MicroPython, but it seems like it actually compiles directly to machine code, nice!