<itemizedlist>
<listitem><para>The &CMUCL; manual doesn't seem to state it explicitly,
but &Python; has a mental block about type inference when
- assignment is. involved &Python; is very aggressive and clever
+ assignment is involved. &Python; is very aggressive and clever
about inferring the types of values bound with <function>let</>,
<function>let*</>, inline function call, and so forth. However,
it's much more passive and dumb about inferring the types of
(This doesn't affect its ability to benefit from explicit type
declarations involving the assigned variables, only its ability to
get by without explicit type declarations.)</para></listitem>
+<!-- FIXME: Python dislikes assignments, but not in type
+ inference. The real problems are loop induction, closed over
+ variables and aliases. -->
<listitem><para>Since the time the &CMUCL; manual was written,
&CMUCL; (and thus &SBCL;) has gotten a generational garbage
collector. This means that there are some efficiency implications