gerbil VS clj-kondo

That's a strange one! Can you go to https://github.com/mighty-gerbils/gerbil/issues and post an issue outlining this with slightly more detail? What platform, C compiler, libc version etc.

New in std library: an S3 client, an SMTP client, SSL for Postgres (enables Heroku support), better CLI support (including multicall binaries), and plenty of module updates. Plus a few minor bug fixes.

See Gerbil Scheme homepage https://cons.io

Here is the discussion: https://github.com/mighty-gerbils/gerbil/discussions/1008

Gerbil Scheme < https://cons.io > just saw its release v0.18, with many usability and documentation upgrades, and a bunch of new functionality in the standard library. A "meta-dialect of Scheme with post-modern features", Gerbil layers a Racket-like module system (the best in the world by far) on top of Gambit Scheme (compiler that produces the fastest code), with lots of libraries as "batteries included" for production-level client/server code.

I'm more into Scheme than CL, but am aware of Coalton. My current lisp is Gerbil: https://cons.io which already has a type annotation system and will be enhancing it for the next major release (v19).

Another "post-modern" natively compiling Scheme is Gerbil Scheme [0]. It's seeing a lot of attention/enhancements lately, including some bounties to implement features.

[0]: https://cons.io

My best suggestion here would be clj-kondo with flycheck-clj-kondo in Emacs. I really can't recommend it enough and would have killed to have it when I was learning Clojure. Not only will it underline all of those references to (now) undefined vars, but it can tell you about numerous little mistakes like mixing up arguments orders in (say) sequence functions, misplaced docstrings that get discarded, style conventions, etc. It's staggering how good it is even for a language as dynamic as Clojure.

The clj-kondo linters are worth reading.

Sure!

Spec: https://github.com/edn-format/edn

Example (linter config): https://github.com/clj-kondo/clj-kondo/blob/634294183a0aa2ca...

Clj-kondo doesn't produce an AST but you could easily combine the analysis output with the AST produced by rewrite-clj by matching on location.

But if you want full support, you can implement a hook: https://github.com/clj-kondo/clj-kondo/blob/master/doc/hooks.md

Please configure and use tools like clj-kondo and kibit. Kibit will report areas where you could write idiomatic clojure instead. Eg, it should catch all those (if (condition) true false) and ask you to replace it with (condition). Or if you really need a boolean value, use boolean to coerce it.

Try clj-kondo, a Clojure linter which will tell you about arity errors and more, before you even evaluate your code.