[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: [ANN] Luacheck 0.19.0
- From: Peter Aronoff <telemachus@...>
- Date: Sat, 4 Mar 2017 07:45:10 -0500
Dirk Laurie <firstname.lastname@example.org> wrote:
> What is the main reason for using Luacheck?
> (a) A debugging tool.
> (b) Enforcing a certain style of coding.
> (c) Advising a programmer on things in his program that
> might make trouble one day.
> Unless you use it for (b), I would not be concerned about the
> occasional extra warning in situations where any human can
> see it is OK. Turing has already taught us that we can't use
> a program to test correctness of a program. Why clutter
> Luacheck with exceptional cases?
This seems reasonable enough, and my point wasn’t to force luacheck to do
enormous amounts of work. But I still think that a linter for language
X shouldn’t (in general) warn against using standard idioms in language X.
We have not been faced with the need to satisfy someone else's
requirements, and for this freedom we are grateful.
Dennis Ritchie and Ken Thompson, The UNIX Time-Sharing System