If I wrote a language it would...
- Be strongly typed (sorry guys) but have a "generic" variable type for those special cases (you're welcome). For example, arrays of generics would allow you to pass back multiple results.
- Have a final keyword (a la Java) that would let you set the variable once and then make it read-only. Constants are close but you have to know it at compile time... and I mean really, who knows what the user wants at compile time?
- Only have one Null type - it would be the same for uninitialized variables, deallocated variables, primitives, empty strings AND objects. *fist shake*