Hacker News new | ask | show | jobs
by augusto-moura 397 days ago
The lua language service [1] supports type annotations inside comments [2]. Sure, it is not the same as having types as first class citizens, but I would say that it solves 95% of the editor support and typying problems you mentioned in your 3rd point.

But yeah, PUC-Rio Lua is not fast, but it is acceptable, and maybe one of the most performant of all non-JIT dynamic languages. If you need speed, JIT is a requirement.

[1]: https://luals.github.io/

[2]: https://luals.github.io/wiki/annotations/