From: Juliusz Chroboczek
Subject: Re: love that python (CMUCL compiler)
Date: 
Message-ID: <7iy81mla2o.fsf@lanthane.pps.jussieu.fr>
"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