Re: Type annotations for lua

["Pierre Chapuis" <lua@...>]

On Fri, May 12, 2023, at 20:53, Paul Eipper wrote:

Doesn’t lua-language-server[1] already do most of this?

[1](https://github.com/LuaLS/lua-language-server/wiki/Type-Checking)

Sure, you can do this with comments. This thread is about having syntax that is not in comments but in the language.

I can see two advantages, one is a "nicer" syntax, and the second is that the tools could more easily validate the syntax of annotations themselves. Having to parse comments is a bit tricky because you're supposed to be able to put lots of things in comments that are not annotations.

-- 

Pierre Chapuis