Yeah you can do optional static typing in common lisp: 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