Re: Type annotations for lua

[Michal Kottman <michal.kottman@...>]

On Fri, May 12, 2023, 18:01 Frityet <ambhogal01@gmail.com> wrote:

I read this proposal to ECMAScript, and it seems like it could be a good idea for lua

https://tc39.es/proposal-type-annotations/

Please take a look at https://github.com/teal-language/tl which is a "typed dialect of Lua", check the tutorial [1] and other documentation/talks, maybe play around with the playground [2] to see if you like it.

[1] https://github.com/teal-language/tl/blob/master/docs/tutorial.md

[2] https://teal-playground.netlify.app/