@ramin_hal9001 I saw a few attempts of typetizing lisps: Typed Racket, Typed Clojure, clojure.spec/malli, Carp and probably much more, but still not faced something that really shines. I learn haskell and related literature right now, so I hope to get a better feeling of good type system to be able to assess such tool or maybe even implement my own.