Linked by Thom Holwerda on Wed 7th Mar 2007 22:27 UTC
Thread beginning with comment 219920
To view parent comment, click here.
To read all comments associated with this story, please click here.
To view parent comment, click here.
To read all comments associated with this story, please click here.
Some statically typed languages are introducing inferred types which you might find interesting (although I think you'd need to be dilligent in replacing their use once you're done experimenting). C# is an example, I believe in 3.0 the "var" keyword now means to use an inferred type.




Member since:
2006-07-30
I feel that both, static and dynamic typing, can be a pain if they're forced on you. That's a problem that I encountered in C++ for example:
I'm writing some sort of function and don't yet know what sort of input it's going to take but I need some sort of temp variable. Problem: I need to declare the variable AND it's type at the same time - all squeezed into one tiny statement. Yes, I know there are templates but they're just a pain in the a**!
On the other hand, sometimes you WANT to give type information. As a comment, to increase performance and, last but not least, for polymorphism types are imho essential.
But they should be dynamic so that you could e.g. first use something as a vector with vector addition and multiplication and then use it as a list like this:
my a, b
a=(1, 2, 3)
b=(-1, 1, 0)
(a, b) are vectors
a+=b // a is now (0, 3, 3)
a/=3 // a is now (0, 1, 1)
(a, b) are lists
a+=b // a is now (0, 1, 1, -1, 1, 0)
That'd be sweet!