Hacker News new | past | comments | ask | show | jobs | submit login

> 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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: