[andyferris]

You can do that with type inference and a strong, static type system.