But by the definition above, doesn't every language qualify as statically/strongly typed? Couldn't we have used tcl, or fortran or basic in the example above and come to the exact same conclusion? Doesn't the term "statically/strongly typed" loose its meaning if *every* language meets the criteria? Can you give us an example of a language that's not statically/strongly typed? | [reply] |
C. It's statically and weakly typed. The weak part comes from the fact that you can convert from one type to another with no problem. If you only have one type, it cannot be converted to another type, and is thus a strongly typed system. Personally, I think the static/dynamic difference is a bunch of crap. Every language has a set of static types. The big problem is that people think that strings and numbers are necessarily different types when languages like Perl obviously demonstrate that they're not.
| [reply] |
The weak part comes from the fact that you can convert from one type to another with no problem.
But I thought you were claiming that "Assignment is also polymorphic". Why doesn't that apply for C as well?
| [reply] |