[ndriscoll]

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.

[bigfishrunning]

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