One of the downfalls of dynamic typing is the inability to know types before runtime. But it seems to me like given the complete source code, there should be some (possibly not developed yet) way to test each situation in the code so there's less of a chance of runtime crashing. When is this not possible?One of the downfalls of dynamic typing is the i