3 ms·
> Most bugs are logic errors. Are they? IME most bugs are type errors. Or rather, IME most bugs are logic errors only because I've excluded the possibility of
by yakshaving_jgt 5mo ago
> Most bugs are logic errors.
Are they? IME most bugs are type errors.
Or rather, IME most bugs are logic errors only because I've excluded the possibility of type errors by using a sophisticated type system.
- munksbeer 5mo agoMost of my bugs are logic errors. I write Java. Your comment seems to imply that moving to Rust or Haskell would make a correct program if it compiles.
- yakshaving_jgt 5mo agoI don't think porting your program to Haskell would make your program correct. I think porting your program to Haskell would make all of your bugs logic errors, rather than only most of them.