luacheck
luacheck copied to clipboard
Possibility to check by known functions signatures
And besides of checking predefined std functions it would be even greater if we could specify own functions signatures inline.
Do you mean checking types of passed arguments? I would like to avoid having to slowly add parts of type inference to existing luacheck codebase. If there will be type inference it will be implemented in a standalone library. I looked at some type systems for Lua and all seem to be focused on soundness, which is fine but IMO for a linter immediate lack of false positives, without any annotations, is very important. So this has to wait until someone makes a type inference library like that, maybe even me :smile:
If you mean something simpler like checking that number of passed arguments is not higher than expected then it could be added.
Well, I mean rather first. But second is good too)