[breadchris]

I have really fallen in love with LISP recently, specifically clojure. A strong type system is really needed for it to make me feel like I can confidently develop with it.

[vindarel]

just get Common Lisp with this new Clojure collection and sequence API! https://github.com/dtenny/clj-coll

[nextos]

A modern CL that borrows ideas from Clojure, and with a strongly typed language (Coalton) also available is indeed very appealing!

[vosper]

Have you (or anyone else reading this) used Coalton? What's your experience been like? Seems quite appealing to me.

[nextos]

My experience is good, but I have only written smallish programs. Documentation is pretty polished.

Installation-wise, NixPkgs is fairly straightforward.

[Y_Y]

The language looks amazing on paper, the install process (last I tried) was a nightmare of fighting quicklisp.

[klibertp]

That's on quicklisp, not Coalton. Honestly, quicklisp is one of the worst parts of CL nowadays (right after the lack of coroutines[1], which is by far the worst offender.) It should have been replaced a long time ago. ASDF3 provides a lot of flexibility, and quicklisp uses maybe 15% of its capabilities. There are reasons why it's still so bad, but it gets less and less excusable each year :(

[1] Does anybody know how to ping Kartik Singh about the coroutines implementation in SBCL? Apparently, he made an experimental port of the green threads implementation from CMUCL, but I can't find it anywhere online, nor any obvious way to catch anyone involved. Is the mailing list the only way?

[boogsbyte]

From what I heard he's not working on it anymore but the code can be found here:

https://github.com/kartik-s/sbcl/blob/coroutines/src%2Fcode%...

[lucyjojo]

there is typed clojure out there if you want

https://typedclojure.org/

[jodleif]

You could also consider getting into pre/post conditions and specs - helps a lot especially at points with user/data input

[bmitc]

There is Typed Racket.