[qb45]

I've never heard about type inTERference, but I'm sure that if something like that existed, it would have little to do with type inference which you probably meant :)

interference - obstruction, collision

inference - deduction, derivation

[mikeash]

I imagine that type interference might be what an advocate of dynamically typed languages sees in statically typed languages.