@garbados @ieure you're not going to get a rust style type system from CL, it's just (along with Racket) the only sizeable lisps that begin to take static types seriously
if you want a lisp that's actually built around static types (rather than bolted on afterwards) you have to go way off the deep end: https://github.com/carp-lang/Carp