alt Hacker NewsI have written a very large codebase in Scheme (gambit) and in the end I really, really, wanted a type system to catch bugs.
Replies
https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.
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).
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.
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.
There's also Crunch Scheme(from creator of Chicken): https://wiki.call-cc.org/eggref/6/crunch