[nextos]

CLOS is great, but CL also supports pure typed FP with https://coalton-lang.github.io

Coalton progress is discussed briefly in the OP: https://lisp-journey.gitlab.io/blog/these-years-in-common-li...

[trenchgun]

Coalton is its own language, just implemented and embedded in CL.

[nextos]

Sure, but Coalton has decent interop with CL.

Eventually, I expect this to be a relationship similar to Java and Scala or Clojure.