Warn on incorrent keyword/named arguments

[sarna]

What do you think about warning the user about calls like these?

(defn named [&named arg]
  (print arg))

(named :arg "hi") # correct
(named :arrgh "this will not print") # wrong

I can't think of any case when the user would want this, and it should be detectable before running the code.

Splicing would be out of scope of this issue (e.g. (named ;(kvs options))).

For more context - Zulip thread.

[veqqq]

For my purposes, also [&keys {:arg arg}] but otherwise the same would be awesome.

[CFiggers]

That would be cool, definitely. Also, difficult to do properly. :)

Today, we are leaning really heavily on the Janet compiler itself to identify and report errors for diagnostics. This is the best way to ensure that the errors are exactly correct.

In order to offer linting or diagnostics that go beyond the compiler, we'd have to essentially implement our own static analyzer for Janet from scratch. That could be done, of course. But I'm... probably not the right person to accomplish it. :)