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

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.