It is non-optionally strongly typed. It is optionally as statically typed as you want, depending on what compiler you use, I am mostly familiar with SBCL, whic

It is non-optionally strongly typed. It is optionally as statically typed as you want, depending on what compiler you use, I am mostly familiar with SBCL, which does a fair bit of type inference and will tell you at length where your lack of static typic means it will produce slower code.