Then perhaps Bob should have it use functional Scala, where my experience is that if it compiles and looks like what you expect, it's almost certainly correct.

Sure, but bob is very unlikely to do that unless his AI tool of choice suggests it.