[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: [ANN] Luacheck 0.19.0
- From: Peter Aronoff <telemachus@...>
- Date: Sat, 4 Mar 2017 07:45:10 -0500
Dirk Laurie <dirk.laurie@gmail.com> 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.
P
--
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