You need to guard your assumptions, but you can do type inference in any language.

Take a look at "Declarations as Assertions" section in SBCL manual as well.