Yeah you can do optional static typing in common lisp: https://medium.com/@MartinCracauer/static-type-checking-in-the-programmable-programming-language-lisp-79b

Yeah you can do optional static typing in common lisp: https://medium.com/@MartinCracauer/static-type-checking-in-the-programmable-programming-language-lisp-79bb79eb068a https://medium.com/@MartinCracauer/static-type-checking-in-t... The typing discipline in strong. I think it also has type inference but I'm not 100% sure