[theLiminator]

In general though, a strong statically typed language will allow the user to locally reason to a much greater extent.