5 ms·

>What I don't like about them is that most incarnations of them force your program to be type-correct all the time. I think that they require your program to b

by thesz 16y ago

>What I don't like about them is that most incarnations of them force your program to be type-correct all the time. I think that they require your program to be correct at the time of checking. >compiler kept complaining until I had fixed or commented out some other (currently not impacted) part of code Looks much like Visual Studio. Am I right?

lelele 16y ago
> I think that they require your program to be correct at the time of checking. I don't understand: static typing requires all the source code - and I stress "all the source code" here, which encompasses code not reachable too, rather than the just the code you are working on - to be type correct, otherwise your program will neither compile nor run. > Looks much like Visual Studio. Am I right? Yes, but aren't all static typed languages the same? I've found that to be the case with C++, Java, Haskell.