quote: Original post by SabreMan
Do you often cite the first thing that is randomly spewed out of a web search?
Hang on.
quote: Original post by Me
Putting aside whether this is a load of bullshit or not, does it support my view that:
My point was that I had learned that this was what was meant by type safety, and I was trying to show that my view hadn''t appeared out of thin air. Whether I''d been misinformed or not.
quote: Original post by Sabreman
Have you made any effort whatsoever to verify the trustworthiness of the source?
It would seem that I am far too trusting of what I read in books and on the internet. But I don''t have much experience in research. I don''t quite know how I could go about verifying the source. You have made it clear that you think a number of popular views are bullshit. So I probably shouldn''t put all my faith in common opinion. In that case I need to have enough knowledge to be able to work out whether the conclusions are accurate in the first place, and as of yet, I don''t. And since I''ve got other studying priorities on the go at the moment, I''ll just content myself to discussing about something which I might be misinformed about, because at least it''s pointing it out.
quote: From Tunes
Strong type systems allow to catch a lot of common programming mistakes (typos, thinkos, lack of propagation of program modifications) that usually require a lot of debugging time to catch. Static type systems particularly allow to catch them quickly, as early as compile-time, without having to even worry about them. Type inference allows for such bug-catching to have no associated development costs, as long as the typesystem is powerful enough to express the considered program without the need for abuse or contorsions
Okay.