[zeckalpha]

Yes, it is more complicated. However, it is doing more: type checking, which is useful when the program needs to be changed, and potential for future optimizations, as mentioned in the article.