Type inference from analyzing data flow.

Especially if you avoid making everything global.