I don't think people enter the Annotations when searching, so LLS is not a good choice.

Taking inspiration from other language, javascript has jsdoc and rust has rustdoc. We should refrain from including LSP server in the name and Annotations is quite a big word.

I think LuaTypeDoc could be an option. I also thought LuaDoc or ldoc but unfortunately those names are already taken :)

Edit: You can further expand the name as Type refers to type-hints/type-annotations, and Doc refers to code documentation which is the main purpose of adding comments.

I happen to like "Annotations" since that's how I refer to them, but I concede my approach isn't common. So...

I'd prefer Lua Type Annotations for the full name. LuaTypeDoc or LuaTyped as the short.

All that said, I recommend including emmylua in the meta data. They may be divergent now, but EmmyLua was (and still is) around for a long time. People know it.

Lua Comment and Type System, short named LuaCats 😼

Lua Comment and Type System, short named LuaCats 😼

I have updated the poll to add the newly suggested names. This has unfortunately, yet understandably, removed all previous votes 🥴.

Here another idea: LuaNotation

I think it has a nice double reading:

• contraction of Lua Annotation
• concat of Lua and Notation, which I think is still a nice word for roughly the same thing, a way to write code annotations

I'm sorry @sumneko, but LuaCats looks a bit like a joke to me, not a spec name that can grow as a real spec used in many 'professional'/robust tooling (if we take the idea a bit far).
(if you know concepts/specs that have funny names that actually took off I'd be interested 👀)