So the differences:

https://docs.exaloop.io/codon/general/differences

So more limited types (integers) and more type checking and collections have to have one kind of thing in them.

There are other python compilers though, like https://github.com/Nuitka/Nuitka

I wonder really what the advantages/disadvantages of these are?