While it may be faster, the "by definition" part hasn't been true for years. The JVM can do some amazing stuff at runtime to outpace statically executed code.

Regardless, their principles [1] make the trade-offs clear:

- Developer productivity over runtime performance

- Correctness over performance

[1] https://flix.dev/principles/