Hacker News new | ask | show | jobs
by GFK_of_xmaspast 3973 days ago
I don't know the actual transcription error, but how's it going to find a 5 being made a 6 or something?
1 comments

it wont, but the vast majority of errors with math formulas are along the lines of adding velocities with positions, raising something to the wrong power, using a multiply instead of an add, putting a parenthesis in the wrong spot, performing equations in the wrong order, etc.

all of those can get caught with type checking, but it isn't perfect