You may want to check out Typed Racket as an example of what people can do if they decide they want types in their lisp. [0] [0] https://docs.racket-lang.org/t

You may want to check out Typed Racket as an example of what people can do if they decide they want types in their lisp. [0] [0] https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/