Web application developer living in the great Pacific Northwest
Historically, each language defines its own types and type systems. What features would a universal type system have, and what benefits would it offer?