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