4 ms·
Yeah, a lot of people's only experience with static types is C or Java. (A programming-language-theory PhD student friend-of-mine was first exposed to C while w
by jes5199 14y ago
Yeah, a lot of people's only experience with static types is C or Java. (A programming-language-theory PhD student friend-of-mine was first exposed to C while writing her dissertation. "This isn't a type system at all!" was the diagnosis)
Also, sometimes in Haskell it's so hard to write a function that mostly-works (because they type system sees your mistake but you don't) that you can't get enough of your half-baked idea down so that you can see it clearly enough to figure out how it's supposed to really work correctly
Also, I've seen plenty of programs that provably have no bugs, but still grow to exhaust all system memory or occasionally take several hours to return from a function call for no apparent reason. And those are a major pain to diagnose.
- papsosouid 14y ago>Also, I've seen plenty of programs that provably have no bugs, but still grow to exhaust all system memory or occasionally take several hours to return from a function call for no apparent reason I think you mean programs that type checked, not programs that provably had no bugs.
- jes5199 14y agoWhat if those programs were guaranteed to do the right thing, if only that had enough time or space to finish? Maybe they're still "correct". Or, to put it another way: our existing type systems don't make code "provably correct", and when people say that it does (like the commenter above), they're trying to talk you into something.
- papsosouid 14y ago>our existing type systems don't make code "provably correct" That is what I am telling you. >and when people say that it does (like the commenter above) They said no such thing.
- jes5199 14y agoYes, you're telling me something that I was already trying to demonstrate with my example.
- papsosouid 14y agoI can't speak to your motive, all I can do is read what you posted. What you posted was wrong, and I explained that.
- jes5199 14y agoWhat I posted was obviously self-contradictory, which is not the same as wrong.
- papsosouid 14y agoWhat you posted was wrong, like I said. There are programs that have proofs demonstrating they are free of bugs. You have not seen them do either of the things you claim to have seen. You were stating something false.