Re: Type annotations for lua
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: Type annotations for lua
- From: "Pierre Chapuis" <lua@...>
- Date: 2023年5月13日 00:21:56 +0200
On Fri, May 12, 2023, at 20:53, Paul Eipper wrote:
Doesn’t lua-language-server[1] already do most of this?
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