Type Inference Life Preserver

[Jeff Bauer]

jerry_spicklemire at my-deja.com wrote:
> now be possible to wrap an entire Type Inference
> Module in a Try that catches type errors? The Try
> would discover the type, then call back to the
> point in the "continuation" where type was
> inferred, and force the correct type!

Consider the following type error:

>>> int('2') + str(1)

Did I intend to construct a string value
of "21", an integer, or some other type?

First you would need to write a Psychic
Coder Module for your Type Inference
Module to work.

and-if-your-psychic-coder-module-was-working-
  you'd-have-already-known-my-response-ly y'rs,

Jeff Bauer
Rubicon Research