"Jason Kantz" <··········@gmail.com>:
> I [...] would be curious to know if any other lisps come close to the type
> checking done by CMUCL's python compiler,
As far as I know, Python's type inference code is unique.
By the way, Python is also used in SBCL, and I am told that the same
type inference code is used in OpenMCL.
> or if anyone else is as addicted to it as I am.
Check.
Juliusz