There's also Crunch Scheme(from creator of Chicken): https://wiki.call-cc.org/eggref/6/crunch

That's why I switched to Common Lisp, its type system isn't perfect but it works well enough for my needs (especially with the occasional (describe 'sycamore:tree-insert) in the REPL).

https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.

Can you say more about the system? A lifetime ago I was really excited about gambit (and bigloo) but I never had the chance to work with them beyond messing around here and there after work.

I get where you're coming from but I talked to a few folks working in large Haskell codebases and I'm not sure I would make that trade.

Yeah, its genuinely a case of "software hard."

Jank looks promising if you want a typed Lisp. It’s essentially native Clojure without the JVM: https://jank-lang.org/

In case you're into machine learning, I'm also building something similar - a tensor-first, native Clojure-like ML framework.