Description: In the article is considered limitations of the classical Type System and it influence to the reliability of the Software-Intensive System.