3 ms·
I have written a very large codebase in Scheme (gambit) and in the end I really, really, wanted a type system to catch bugs.
by nathan_compton 5mo ago
I have written a very large codebase in Scheme (gambit) and in the end I really, really, wanted a type system to catch bugs.
- rahen 5mo agoJank looks promising if you want a typed Lisp. It’s essentially native Clojure without the JVM: https://jank-lang.org/ 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.
- busterarm 5mo agoI 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.
- nathan_compton 5mo agoYeah, its genuinely a case of "software hard."
- tmtvl 5mo agoThat'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).
- nicoty 5mo agohttps://github.com/carp-lang/Carp https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.
- DASD 5mo agoThere's also Crunch Scheme(from creator of Chicken): https://wiki.call-cc.org/eggref/6/crunch https://wiki.call-cc.org/eggref/6/crunch
- Boxxed 5mo agoCan 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.