{"id":300062,"date":"2020-03-12T21:00:29","date_gmt":"2020-03-12T21:00:29","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=300062"},"modified":"-0001-11-30T00:00:00","modified_gmt":"2020-03-12T21:00:29","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=300062","title":{"rendered":"Typescript: unsound behavior \u0438\u043b\u0438 \u043f\u043e\u0431\u043b\u0430\u0436\u043a\u0438 \u043d\u0430\u0434\u0435\u0436\u043d\u043e\u0441\u0442\u0438"},"content":{"rendered":"\n<div class=\"post__text post__text-html post__text_v1\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/492106\/\">\u0426\u0435\u043b\u044c \u2014 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0433\u0434\u0435 TS \u0434\u0430\u0435\u0442 \u0438\u043b\u043b\u044e\u0437\u0438\u044e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044f \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b.<\/p>\n<p>  \u041c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043e \u0431\u0430\u0433\u0430\u0445, \u0432 TS \u0438\u0445 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e<br \/>  1,500 open bugs and 6,000 closed (\u2018is:issue is:open label:Bug\u2019)<\/p>\n<p>  \u0412\u0441\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u044b \u043f\u0440\u0438:<\/p>\n<ul>\n<li>TS <a href=\"https:\/\/habr.com\/ru\/post\/490970\">strict mode<\/a> \u0432\u043a\u043b\u044e\u0447\u0435\u043d (\u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u044e \u043f\u043e\u043a\u0430 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u043b\u0441\u044f)<\/li>\n<li>\u0411\u0435\u0437 \u044f\u0432\u043d\u044b\u0445 \u00abany\u00bb: \u00abas any\u00bb, \u00abObjects\u00bb, \u00abFunction\u00bb, {[key: string]: unknown}<\/li>\n<li>\u0411\u0435\u0437 \u043d\u0435\u044f\u0432\u043d\u044b\u0445 \u00abany\u00bb: (noImplicitAny): \u043d\u0435 \u0442\u0438\u043f\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0438\u043c\u043f\u043e\u0440\u0442\u044b (pure JS files), \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u043e\u0432<\/li>\n<li>\u0411\u0435\u0437 \u043b\u043e\u0436\u043d\u044b\u0445 \u0434\u043e\u0433\u0430\u0434\u043e\u043a \u043e \u0442\u0438\u043f\u0430\u0445: \u043e\u0442\u0432\u0435\u0442 \u043e\u0442 \u0441\u0435\u0440\u0432\u0435\u0440\u0430, \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0445 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a<\/li>\n<\/ul>\n<p>   \u0421\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435: <\/p>\n<ul>\n<li>\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/li>\n<li>Nominal types, custom types \u2014 \u043a\u043e\u0433\u0434\u0430 \u0432\u0435\u0449\u0438 \u043a\u0430\u0436\u0443\u0442\u0441\u044f \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u043c, \u043d\u043e \u0442\u0430\u043a\u0438\u0435 \u0440\u0430\u0437\u043d\u044b\u0435<\/li>\n<li>Type variance, exact types \u2014 \u043e\u0431 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438<\/li>\n<li>Refinement invalidation \u2014 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043e \u0434\u043e\u0432\u0435\u0440\u0438\u0438<\/li>\n<li>Exceptions \u2014 \u0441\u0442\u043e\u0438\u0442 \u043b\u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u0432\u0430\u0442\u044c\u0441\u044f, \u043a\u043e\u0433\u0434\u0430 \u043d\u0430\u043a\u043e\u0441\u044f\u0447\u0438\u043b?<\/li>\n<li>Unsafe operations \u2014 \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0434\u0435\u0442 \u043d\u0430 \u043f\u043e\u043b\u044c\u0437\u0443<\/li>\n<li>\u0411\u043e\u043d\u0443\u0441\u043d\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0438 \u2014 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0438\u043f\u043e\u0432 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 PR \u0440\u0435\u0432\u044c\u044e<\/li>\n<li>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/li>\n<\/ul>\n<p><a name=\"habracut\"><\/a>  <\/p>\n<h3>\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/h3>\n<p>  \u0421\u043b\u043e\u0436\u043d\u043e \u043b\u0438 \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0434\u043b\u044f \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0434\u0432\u0443\u0445 \u0447\u0438\u0441\u0435\u043b \u043d\u0430 JS? \u0412\u043e\u0437\u044c\u043c\u0435\u043c \u043d\u0430\u0438\u0432\u043d\u0443\u044e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e<\/p>\n<pre><code class=\"javascript\">function sum(a, b) { \treturn a + b; } <\/code><\/pre>\n<p>  \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u043d\u0430\u0448\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u044e `sum(2, 2) === 4`, \u0432\u0441\u0435 \u043a\u0430\u0436\u0435\u0442\u0441\u044f \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442? \u041d\u0435 \u0441\u043e\u0432\u0441\u0435\u043c, \u043a\u043e\u0433\u0434\u0430 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043c\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0437\u0430\u0434\u0443\u043c\u0430\u0442\u044c\u0441\u044f \u043e \u0432\u0441\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0432\u0445\u043e\u0434\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u0445, \u0442\u0430\u043a\u0436\u0435 \u0438 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044f<\/p>\n<pre><code class=\"javascript\">1.1 + 2.7   \/\/ 3.8000000000000003 NaN + 2     \/\/ NaN 99999999999999992 + 99999999999999992 \/\/ 200000000000000000 2n + 2      \/\/ Uncaught TypeError:              \/\/ Cannot mix BigInt and other types, use explicit conversions. {} + true   \/\/ 1 2 + '2'     \/\/ '22' <\/code><\/pre>\n<p>  Soundness \u2014 \u044d\u0442\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u0430 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u043e\u0448\u0438\u0431\u043e\u043a \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b. \u0415\u0441\u043b\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0431\u044b\u043b\u0430 \u043f\u0440\u0438\u043d\u044f\u0442\u0430 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u043c, \u0442\u043e \u043e\u043d\u0430 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u0431\u0443\u0434\u0435\u0442 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430 (safe).<\/p>\n<p>  Safe program \u2014 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043c\u043e\u0436\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0432\u0435\u0447\u043d\u043e \u0431\u0435\u0437 \u043e\u0448\u0438\u0431\u043e\u043a. \u0422.\u0435. \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u0430\u0434\u0430\u0442\u044c \u0438\u043b\u0438 \u0431\u0440\u043e\u0441\u0430\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438.<\/p>\n<p>  Correct program \u2014 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u0434\u043e\u043b\u0436\u043d\u0430 \u0438 \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u043d\u0435 \u0434\u043e\u043b\u0436\u043d\u0430. \u041a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0437\u0430\u0432\u0438\u0441\u0438\u0442 \u043e\u0442 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u0431\u0438\u0437\u043d\u0435\u0441 \u043b\u043e\u0433\u0438\u043a\u0438.<\/p>\n<p>  \u0422\u0438\u043f\u044b \u043c\u043e\u0433\u0443\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432 \u0446\u0435\u043b\u043e\u043c \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430, \u0430 \u0442\u0435\u0441\u0442\u044b \u2014 \u0447\u0442\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0430 \u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u0430 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 (100% \u043f\u043e\u043a\u0440\u044b\u0442\u0438\u0435, \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u00ab\u043c\u0443\u0442\u0430\u043d\u0442\u043e\u0432\u00bb \u043e\u0442 stryker, \u043f\u0440\u043e\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u0435 property based test \u0438 \u043f\u0440\u043e\u0447\u0435\u0435 \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0447\u0442\u043e-\u0442\u043e \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c, \u0430 \u043b\u0438\u0448\u0438 \u0441\u043d\u0438\u0436\u0430\u0435\u0442 \u0440\u0438\u0441\u043a\u0438). \u0425\u043e\u0434\u044f\u0442 \u043b\u0435\u0433\u0435\u043d\u0434\u044b, \u0447\u0442\u043e theorem provers \u043c\u043e\u0433\u0443\u0442 \u0434\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b. <\/p>\n<p>  \u0412\u0430\u0436\u043d\u043e \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u0442\u044c\u0441\u044f \u0441 \u0444\u0438\u043b\u043e\u0441\u043e\u0444\u0438\u0435\u0439 TS, \u043f\u043e\u043d\u044f\u0442\u044c \u0447\u0442\u043e \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f \u0440\u0435\u0448\u0438\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0438, \u0447\u0442\u043e \u0432\u0430\u0436\u043d\u043e, \u0447\u0442\u043e \u0440\u0435\u0448\u0438\u0442\u044c \u043d\u0435 \u043f\u044b\u0442\u0430\u0435\u0442\u0441\u044f.<\/p>\n<p>  <a href=\"https:\/\/www.typescriptlang.org\/docs\/handbook\/type-compatibility.html#a-note-on-soundness\" rel=\"nofollow\">A note on Soundness<\/a><br \/>  TS \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435 \u0443\u0432\u0435\u0440\u0435\u043d \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438. \u041c\u0435\u0441\u0442\u0430 \u0441 unsound behavior \u0431\u044b\u043b\u0438 \u0431\u0435\u0440\u0435\u0436\u043d\u043e \u043f\u0440\u043e\u0434\u0443\u043c\u0430\u043d\u044b.<\/p>\n<p>  <a href=\"https:\/\/github.com\/Microsoft\/TypeScript\/wiki\/TypeScript-Design-Goals\" rel=\"nofollow\">Design goals<\/a><br \/>  \u041d\u0435 \u0446\u0435\u043b\u044c \u0434\u043b\u044f TS \u2014 \u0421\u0434\u0435\u043b\u0430\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0442\u0438\u043f\u043e\u0432 \u0441 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0435\u0439 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438, \u0432\u043c\u0435\u0441\u0442\u043e \u044d\u0442\u043e\u0433\u043e \u0441\u043a\u043e\u043d\u0446\u0435\u043d\u0442\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043d\u0430 \u0431\u0430\u043b\u0430\u043d\u0441\u0435 \u043c\u0435\u0436\u0434\u0443 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c\u044e \u0438 \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c\u044e<\/p>\n<p>  \u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432:<br \/>  \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u2014 \u043d\u0435 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0435 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435, \u0441\u043f\u0438\u0441\u043e\u043a \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u043f\u043e\u043b\u043e\u043d, \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u044f \u043d\u0430\u0448\u0435\u043b \u0432 \u0441\u0442\u0430\u0442\u044c\u044f\u0445, \u0434\u043e\u043a\u043b\u0430\u0434\u0430\u0445, \u0432 TS git issues.<br \/>  \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u2014 \u044d\u0442\u043e TS issue \u043e\u0442\u043a\u0440\u044b\u0442\u044b\u0435 3-4 \u0433\u043e\u0434\u0430 \u043d\u0430\u0437\u0430\u0434, \u0441 \u043a\u0443\u0447\u0435\u0439 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0435\u0432 \u0438 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b\u043c\u0438 \u043f\u043e\u044f\u0441\u043d\u0435\u043d\u0438\u044f\u043c\u0438 \u0430\u0432\u0442\u043e\u0440\u043e\u0432<br \/>  \u0421\u043e\u0432\u0435\u0442 \u2014 \u0418\u041c\u0425\u041e \u0430\u0432\u0442\u043e\u0440\u0430, \u0442\u043e, \u0447\u0442\u043e \u0430\u0432\u0442\u043e\u0440 \u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u0445\u043e\u0440\u043e\u0448\u0438\u043c\u0438 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0430\u043c\u0438<\/p>\n<h3>Structural vs Nominal typing<\/h3>\n<p>  <\/p>\n<h4>Structural vs Nominal typing 1. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  <a href=\"https:\/\/en.wikipedia.org\/wiki\/Structural_type_system\" rel=\"nofollow\">\u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u0430\u044f \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u044f<\/a> \u2014 \u043a\u043e\u0433\u0434\u0430 \u043f\u0440\u0438 \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432 \u043d\u0435 \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0438\u0445 \u0438\u043c\u0435\u043d\u0430 \u0438\u043b\u0438 \u0433\u0434\u0435 \u043e\u043d\u0438 \u0431\u044b\u043b\u0438 \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u044b, \u0430 \u0442\u0438\u043f\u044b \u0441\u0440\u0430\u0432\u043d\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u043f\u043e \u00ab\u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0435\u00bb.<\/p>\n<p>  \u041c\u044b \u0445\u043e\u0442\u0438\u043c \u043e\u0442\u043f\u0440\u0430\u0432\u0438\u0442\u044c \u043f\u0438\u0441\u044c\u043c\u043e `sendEmail` \u043f\u043e \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u043c\u0443 \u0430\u0434\u0440\u0435\u0441\u0443 `ValidatedEmail`, \u0435\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438 \u0430\u0434\u0440\u0435\u0441\u0430 `validateEmail` \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0439 \u0430\u0434\u0440\u0435\u0441 `ValidatedEmail`. \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e TS \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043b\u044e\u0431\u0443\u044e \u0441\u0442\u0440\u043e\u043a\u0443 \u0432 `sendEmail`, \u0442.\u043a. `ValidatedEmail` \u0434\u043b\u044f TS \u043d\u0435 \u043e\u0442\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0442 `string`<\/p>\n<pre><code class=\"javascript\">type ValidatedEmail = string; declare function validateEmail(email: string): ValidatedEmail;  declare function sendEmail(mail: ValidatedEmail): void; sendEmail(validateEmail(&quot;asdf@gmail.com&quot;));  \/\/ Should be error! sendEmail(&quot;asdf@gmail.com&quot;);<\/code><\/pre>\n<p>  <\/p>\n<h4>Structural vs Nominal typing 1. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/202\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/202<\/a><br \/>  \u0412\u0432\u0435\u0441\u0442\u0438 \u043a\u043b\u044e\u0447\u0435\u0432\u043e\u0435 \u0441\u043b\u043e\u0432\u043e `nominal`, \u0447\u0442\u043e\u0431\u044b \u0442\u0438\u043f\u044b \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u043b\u0438\u0441\u044c \u041d\u043e\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u043e. \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u0441\u043c\u043e\u0436\u0435\u043c \u0437\u0430\u043f\u0440\u0435\u0442\u0438\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e `string` \u0433\u0434\u0435 \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f `ValidatedEmail`<\/p>\n<pre><code class=\"javascript\">nominal type ValidatedEmail = string; declare function validateEmail(email: string): ValidatedEmail;  declare function sendEmail(mail: ValidatedEmail): void; sendEmail(validateEmail('asdf@gmail.com'));  \/\/ Error! sendEmail('asdf@gmail.com');<\/code><\/pre>\n<p>  <\/p>\n<h4>Structural vs Nominal typing 1. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043e\u0437\u0434\u0430\u0442\u044c `Opaque` \u0442\u0438\u043f, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043d\u0435\u043a\u0438\u0439 `T` \u0438 \u043f\u0440\u0438\u0434\u0430\u0432\u0430\u0442\u044c \u0435\u043c\u0443 \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u044f \u0441 \u0442\u0438\u043f\u043e\u043c, \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u043c \u0438\u0437 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u043e\u0433\u043e `K`. `K` \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043a\u0430\u043a \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b\u043c \u0441\u0438\u043c\u0432\u043e\u043b\u043e\u043c (`unique symbol`), \u0442\u0430\u043a \u0438 \u0441\u0442\u0440\u043e\u043a\u043e\u0439 (\u0442\u043e\u0433\u0434\u0430 \u043d\u0443\u0436\u043d\u043e \u0431\u0443\u0434\u0435\u0442 \u0441\u043b\u0435\u0434\u0438\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u044d\u0442\u0438 \u0441\u0442\u0440\u043e\u043a\u0438 \u0431\u044b\u043b\u0438 \u0443\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u044b).<\/p>\n<pre><code class=\"javascript\">type Opaque&lt;K extends symbol | string, T&gt;  \t= T &amp; { [X in K]: never };  declare const validatedEmailK: unique symbol; type ValidatedEmail = Opaque&lt;typeof validatedEmailK, string&gt;; \/\/ type ValidatedEmail = Opaque&lt;'ValidatedEmail', string&gt;;  declare function validateEmail(email: string): ValidatedEmail;  declare function sendEmail(mail: ValidatedEmail): void; sendEmail(validateEmail('asdf@gmail.com'));  \/\/ Argument of type '&quot;asdf@gmail.com&quot;' is not assignable \/\/  to parameter of type 'Opaque&lt;unique symbol, string&gt;'. sendEmail('asdf@gmail.com');<\/code><\/pre>\n<p>  <\/p>\n<h4>Structural vs Nominal typing 2. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  \u0423 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043a\u043b\u0430\u0441\u0441 \u0414\u043e\u043b\u043b\u0430\u0440\u0430 \u0438 \u0415\u0432\u0440\u043e, \u0443 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u043a\u043b\u0430\u0441\u0441\u043e\u0432 \u0435\u0441\u0442\u044c \u043c\u0435\u0442\u043e\u0434 `add` \u0434\u043b\u044f \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0414\u043e\u043b\u043b\u0430\u0440\u0430 \u0441 \u0414\u043e\u043b\u043b\u0430\u0440\u043e\u043c \u0438 \u0415\u0432\u0440\u043e \u0441 \u0415\u0432\u0440\u043e. \u0414\u043b\u044f TS \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u043e \u044d\u0442\u0438 \u043a\u043b\u0430\u0441\u0441\u044b \u0440\u0430\u0432\u043d\u044b \u0438 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0441\u043b\u043e\u0436\u0438\u0442\u044c \u0414\u043e\u043b\u043b\u0430\u0440 \u0441 \u0415\u0432\u0440\u043e.<\/p>\n<pre><code class=\"javascript\">export class Dollar {   value: number;    constructor(value: number) {     this.value = value;   }    add(dollar: Dollar): Dollar {     return new Dollar(dollar.value + this.value);   } }  class Euro {   value: number;    constructor(value: number) {     this.value = value;   }    add(euro: Euro): Euro {     return new Euro(euro.value + this.value);   } }  const dollars100 = new Dollar(100); const euro100 = new Euro(100);  \/\/ Correct dollars100.add(dollars100); euro100.add(euro100);  \/\/ Should be error! dollars100.add(euro100);<\/code><\/pre>\n<p>  <\/p>\n<h4>Structural vs Nominal typing 2. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/202\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/202<\/a><br \/>  \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u0432\u0441\u0435 \u0442\u043e\u0436\u0435, \u0441 `nominal`, \u043d\u043e \u0442.\u043a. \u043a\u043b\u0430\u0441\u0441\u044b \u043c\u043e\u0433\u0443\u0442 \u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0438 \u0441\u0442\u0430\u0442\u044c \u041d\u043e\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c\u0438 (\u043e\u0431 \u044d\u0442\u043e\u043c \u0447\u0443\u0442\u044c \u043f\u043e\u0437\u0436\u0435), \u0442\u043e \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0442\u0430\u043a\u043e\u0435 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0431\u043e\u043b\u0435\u0435 \u044f\u0432\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c.<\/p>\n<h4>Structural vs Nominal typing 1. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u0415\u0441\u043b\u0438 \u0443 \u043a\u043b\u0430\u0441\u0441\u0430 \u0435\u0441\u0442\u044c \u043f\u0440\u0438\u0432\u0430\u0442\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 (\u043d\u0430\u0442\u0438\u0432\u043d\u043e\u0435 \u0441 `#` \u0438\u043b\u0438 \u043e\u0442 TS c `private`), \u0442\u043e \u043a\u043b\u0430\u0441\u0441 \u043c\u0430\u0433\u0438\u0447\u0435\u0441\u043a\u0438 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u041d\u043e\u043c\u0438\u043d\u0430\u043b\u044c\u043d\u044b\u043c, \u0438\u043c\u044f \u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u044e\u0431\u044b\u043c. \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f `!` (definite assignment assertion) \u0447\u0442\u043e\u0431\u044b TS \u043d\u0435 \u0440\u0443\u0433\u0430\u043b\u0441\u044f \u043d\u0430 \u043d\u0435 \u043f\u0440\u043e\u0438\u043d\u0438\u0446\u0438\u0430\u043b\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u043f\u043e\u043b\u0435 (strictNullChecks, strictPropertyInitialization \u0444\u043b\u0430\u0433\u0438 \u0432\u043a\u043b\u044e\u0447\u0435\u043d\u044b).<\/p>\n<pre><code class=\"javascript\">class Dollar {   \/\/ #desc!: never;   private desc!: never;   value: number;    constructor(value: number) {     this.value = value;   }    add(dollar: Dollar) {     return new Dollar(dollar.value + this.value);   } }  class Euro {   \/\/ #desc!: never;   private desc!: never;   value: number;    constructor(value: number) {     this.value = value;   }    add(euro: Euro) {     return new Euro(euro.value + this.value);   } }  const dollars100 = new Dollar(100); const euro100 = new Euro(100);  \/\/ Correct dollars100.add(dollars100); euro100.add(euro100);  \/\/ Error: Argument of type 'Euro' is not assignable to parameter of type 'Dollar dollars100.add(euro100); <\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 1. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438, \u0435\u0441\u043b\u0438 \u043a\u0440\u0430\u0442\u043a\u043e \u2014 \u044d\u0442\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c Supertype\/Subtype \u0442\u0443\u0434\u0430, \u0433\u0434\u0430 Type \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u0442\u044c \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044f Shape -&gt; Circle -&gt; Rectangle \u0442\u043e \u043c\u043e\u0436\u043d\u043e \u043b\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0438\u043b\u0438 \u0432\u0435\u0440\u043d\u0443\u0442\u044c Shape\/Rectangle, \u0435\u0441\u043b\u0438 \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f Circle?<\/p>\n<p>  \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/218753\/\">habr<\/a>, <a href=\"https:\/\/stackoverflow.com\/a\/48858344\/5801495\" rel=\"nofollow\">SO<\/a>.<\/p>\n<p>  \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0442\u0438\u043f \u0441 \u043f\u043e\u043b\u0435\u043c \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043b\u0435\u0436\u0438\u0442 \u0447\u0438\u0441\u043b\u043e, \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u0447\u0442\u043e \u043e\u0436\u0438\u0434\u0430\u0435\u0442 \u043f\u043e\u043b\u0435 \u043a\u0430\u043a \u0441\u0442\u0440\u043e\u043a\u0443 \u0438\u043b\u0438 \u0447\u0438\u0441\u043b\u043e, \u0430 \u0432 \u0442\u0435\u043b\u0435 \u043c\u0443\u0442\u0438\u0440\u0443\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043d\u044b\u0439 \u043e\u0431\u044a\u0435\u043a\u0442, \u0438\u0437\u043c\u0435\u043d\u044f\u044f \u043f\u043e\u043b\u0435 \u043d\u0430 \u0441\u0442\u0440\u043e\u043a\u0443. \u0422.\u0435. `{ status: number } as { status: number | string } as { status: string }` \u0432\u043e\u0442 \u0442\u0430\u043a\u043e\u0439 \u0444\u043e\u043a\u0443\u0441 \u043a\u0430\u043a \u043f\u0440\u0435\u0432\u0440\u0430\u0442\u0438\u0442\u044c \u0447\u0438\u0441\u043b\u043e \u0432 \u0441\u0442\u0440\u043e\u043a\u0443, \u0432\u044b\u0437\u0432\u0430\u0432 <s>\u0443\u0434\u0438\u0432\u043b\u0435\u043d\u0438\u0435<\/s> \u043e\u0448\u0438\u0431\u043a\u0443.<\/p>\n<pre><code class=\"javascript\">function changeStatus(arg: { status: number | string }) {   arg.status = &quot;NotFound&quot;; }  const error: { status: number } = { status: 404 }; changeStatus(error);  \/\/ Error: toFixed is not a function console.log(error.status.toFixed());<\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 1. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/Microsoft\/TypeScript\/issues\/10717\" rel=\"nofollow\">github.com\/Microsoft\/TypeScript\/issues\/10717<\/a><br \/>  \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0432\u0432\u0435\u0441\u0442\u0438 `in\/out` \u0447\u0442\u043e\u0431\u044b \u044f\u0432\u043d\u043e \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0438\u0442\u044c \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c\/\u043a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0434\u043b\u044f \u0434\u0436\u0435\u043d\u0435\u0440\u0438\u043a\u043e\u0432.<\/p>\n<pre><code class=\"javascript\">function changeStatus&lt;   out T extends {     status: number | string;   } &gt;(arg: T) {   arg.status = &quot;NotFound&quot;; }  const error: { status: number } = { status: 404 }; \/\/ Error! changeStatus(error);  console.log(error.status.toFixed());<\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 1. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u0415\u0441\u043b\u0438 \u043c\u044b \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u043c \u0441 \u0438\u043c\u043c\u0443\u0442\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u043c\u0438 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438, \u0442\u043e \u043f\u043e\u0434\u043e\u0431\u043d\u043e\u0439 \u043e\u0448\u0438\u0431\u043a\u0438 \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 (strictFunctionTypes \u0444\u043b\u0430\u0433 \u043c\u044b \u0443\u0436\u0435 \u0432\u043a\u043b\u044e\u0447\u0438\u043b\u0438).<\/p>\n<pre><code class=\"javascript\">function changeStatus(arg: Readonly&lt;{ status: number | string }&gt;) {   \/\/ Error: Cannot assign, status is not writable   arg.status = &quot;NotFound&quot;; }  const error: Readonly&lt;{ status: number }&gt; = { status: 404 }; changeStatus(error);  console.log(error.status.toFixed());<\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 1. \u0411\u043e\u043d\u0443\u0441<\/h4>\n<p>  Readonly is assignable to mutable<br \/>  <a href=\"https:\/\/github.com\/Microsoft\/TypeScript\/issues\/13347\" rel=\"nofollow\">github.com\/Microsoft\/TypeScript\/issues\/13347<\/a><br \/>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/pull\/6532#issuecomment-174356151\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/pull\/6532#issuecomment-174356151<\/a><\/p>\n<p>  \u041d\u043e, \u0434\u0430\u0436\u0435, \u0435\u0441\u043b\u0438 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u043b\u0438 Readonly \u0442\u0438\u043f, \u0442\u043e TS \u043d\u0435 \u0437\u0430\u043f\u0440\u0435\u0442\u0438\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u0433\u0434\u0435 \u043e\u0436\u0438\u0434\u0430\u0435\u0442\u0441\u044f \u043d\u0435 Readonly `Readonly&lt;{ readonly status: number }&gt; as { status: number | string } as { status: string }`<\/p>\n<pre><code class=\"javascript\">function changeStatus(arg: { status: number | string }) {   arg.status = &quot;NotFound&quot;; }  const error: Readonly&lt;{ readonly status: number }&gt;    = { status: 404 }; changeStatus(error);  \/\/ Error: toFixed is not a function console.log(error.status.toFixed());<\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 2. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  \u041e\u0431\u044a\u0435\u043a\u0442\u044b \u043c\u043e\u0433\u0443\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043f\u043e\u043b\u044f, \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0435\u0442\u0443 \u0443 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u0438\u043c \u0442\u0438\u043f\u0430\u0445: `{ message: string; status: string } as { message: string }`. \u0418\u0437-\u0437\u0430 \u0447\u0435\u0433\u043e \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b<\/p>\n<pre><code class=\"javascript\">const error: { message: string; status: string } = {   message: &quot;No data&quot;,   status: &quot;NotFound&quot; };  function updateError(arg: { message: string }) {   const defaultError = { message: &quot;Not found&quot;, status: 404 };   const newError: { message: string; status: number }     = { ...defaultError, ...arg };      \/\/ Error: toFixed is not a function   console.log(newError.status.toFixed()); }  updateError(error);<\/code><\/pre>\n<p>  TS \u043f\u043e\u0434\u0443\u043c\u0430\u043b, \u0447\u0442\u043e \u0432 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0441\u043b\u0438\u044f\u043d\u0438\u044f `{ &#8230;{ message: string, status: number }, &#8230;{ message: string }}` status \u0431\u0443\u0434\u0435\u0442 \u0447\u0438\u0441\u043b\u043e.<\/p>\n<p>  \u0412 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438 `{&#8230;{ message: \u00abNot found\u00bb, status: 404 }, &#8230;{ message: \u00abNo data\u00bb, status: \u00abNotFound\u00bb},}` status \u2014 \u0441\u0442\u0440\u0438\u043d\u0433\u0430.<\/p>\n<h4>Type variance 2. \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0430\u0446\u0438\u044f<\/h4>\n<p>  \u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 `Exact` \u0438\u043b\u0438 \u0441\u0445\u043e\u0436\u0435\u0433\u043e \u043f\u043e \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044e \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441\u0430, \u0447\u0442\u043e\u0431\u044b \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u0442\u0438\u043f \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043f\u043e\u043b\u0435\u0439.<\/p>\n<pre><code class=\"javascript\">const error: Exact&lt;{ message: string; }&gt; = {   message: &quot;No data&quot;, };  function updateError(arg: Exact&lt;{ message: string }&gt;) {   const defaultError = {  message: &quot;Not found&quot;, status: 404, };   \/\/ Can spread only Exact type!   const newError = { ...defaultError, ...arg };   console.log(newError.status.toFixed()); }  updateError(error);<\/code><\/pre>\n<p>  <\/p>\n<h4>Type variance 2. \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0430\u0446\u0438\u044f<\/h4>\n<p>  \u041c\u0435\u0440\u0436\u0438\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u044b, \u044f\u0432\u043d\u043e \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u044f\u044f \u043f\u043e\u043b\u044f \u0438\u043b\u0438 \u043e\u0442\u0444\u0438\u043b\u044c\u0442\u0440\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0435 \u043f\u043e\u043b\u044f.<\/p>\n<pre><code class=\"javascript\">const error: { message: string; status: string } = {   message: &quot;No data&quot;,   status: &quot;NotFound&quot; };  function updateError(arg: { message: string }) {   const defaultError = { message: &quot;Not found&quot;, status: 404 };   \/\/ Merge explicitly or filter unknown fields   const newError = { ...defaultError, message: arg.message };   console.log(newError.status.toFixed()); }  updateError(error);<\/code><\/pre>\n<p>  <\/p>\n<h4>Refinement invalidation. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e, \u043a\u0430\u043a \u043c\u044b \u0434\u043e\u043a\u0430\u0437\u0430\u043b\u0438 \u0447\u0442\u043e-\u0442\u043e \u043f\u0440\u043e \u0432\u043d\u0435\u0448\u043d\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u2014 \u0432\u044b\u0437\u044b\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043d\u0435 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e, \u0442.\u043a. \u043d\u0435\u0442 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0439, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043d\u0435 \u043c\u0435\u043d\u044f\u044e\u0442 \u044d\u0442\u043e \u0432\u043d\u0435\u0448\u043d\u0435\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435:<\/p>\n<pre><code class=\"javascript\">export function logAge(name: string, age: number) {   \/\/ 2nd call -  Error: toFixed is not a function   console.log(`${name} will lose ${age.toFixed()}`);   person.age = &quot;PLACEHOLDER&quot;; }  const person: { name: string; age: number | string } = {   name: &quot;Person&quot;,   age: 42 };  if (typeof person.age === &quot;number&quot;) {   logAge(person.name, person.age);   \/\/ refinement should be invalidated   logAge(person.name, person.age); } <\/code><\/pre>\n<p>  <\/p>\n<h4>Refinement invalidation. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/7770#issuecomment-334919251\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/7770#issuecomment-334919251<\/a><br \/>  \u0414\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 `pure` \u0434\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u044d\u0442\u043e \u043a\u0430\u043a \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u0442 \u0434\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0442\u0430\u043a\u0438\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c<\/p>\n<h4>Refinement invalidation. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0438\u043c\u043c\u0443\u0442\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u0435 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u044b \u0434\u0430\u043d\u043d\u044b\u0445, \u0442\u043e\u0433\u0434\u0430 \u0432\u044b\u0437\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0431\u0443\u0434\u0435\u0442 \u0430\u043f\u0440\u0438\u043e\u0440\u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u0435\u043d \u0434\u043b\u044f \u0441\u0434\u0435\u043b\u0430\u043d\u043d\u044b\u0445 \u0440\u0430\u043d\u0435\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043e\u043a.<\/p>\n<h3>\u0411\u043e\u043d\u0443\u0441<\/h3>\n<p>  Flow type \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u0441\u0438\u043b\u044c\u043d\u044b\u0439, \u0447\u0442\u043e \u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0432\u0441\u0435\u0445 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0440\u0430\u043d\u0435\u0435 \u043f\u0440\u043e\u0431\u043b\u0435\u043c, \u043d\u043e \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u0437\u0430\u043f\u0443\u0449\u0435\u043d, \u0447\u0442\u043e \u044f \u0431\u044b \u043d\u0435 \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u043e\u0432\u0430\u043b \u0435\u0433\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c.<\/p>\n<h4>Exceptions. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  TS \u043d\u0438\u043a\u0430\u043a \u043d\u0435 \u043f\u043e\u043c\u043e\u0433\u0430\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 Exceptions, \u043f\u043e \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u044f\u0441\u043d\u043e.<\/p>\n<pre><code class=\"javascript\">import { JokeError } from &quot;..\/helpers&quot;;  function getJoke(isFunny: boolean): string {   if (isFunny) {     throw new JokeError(&quot;No funny joke&quot;);   }   return &quot;Duh&quot;; }  const joke: string = getJoke(true); console.log(joke); <\/code><\/pre>\n<p>  <\/p>\n<h4>Exceptions. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/13219\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/13219<\/a><br \/>  \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0432\u0432\u0435\u0441\u0442\u0438 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0449\u0438\u0439 \u044f\u0432\u043d\u043e \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c Exceptions \u0432 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0439<\/p>\n<pre><code class=\"javascript\">import { JokeError } from '..\/helpers';  function getJoke(isFunny: boolean): string | throws JokeError {   \/*...*\/}  function getJokeSafe(isFunny: boolean): string {   try {     return getJoke(isFunny);   } catch (error) {     if (error instanceof JokeError) {       return &quot;&quot;;     } else {       \/\/ Should infer error correctly, should cast to never       return error as never;     }   } }  console.log(getJokeSafe(true));<\/code><\/pre>\n<p>  <\/p>\n<h4>Exceptions. \u0411\u043e\u043d\u0443\u0441<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/6283\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/6283<\/a><br \/>  \u041f\u043e\u0447\u0435\u043c\u0443-\u0442\u043e \u0432 TS \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 \u0434\u043b\u044f Promise \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0442\u0438\u043f \u043e\u0448\u0438\u0431\u043a\u0438<\/p>\n<pre><code class=\"javascript\">const promise1: Promise&lt;number&gt; = Promise.resolve(42);  const promise: Promise&lt;never&gt; = Promise.reject(new TypeError());  \/\/ typescript\/lib interface PromiseConstructor {   new &lt;T&gt;(     executor: (       resolve: (value?: T | PromiseLike&lt;T&gt;) =&gt; void,       reject: (reason?: any) =&gt; void     ) =&gt; void   ): Promise&lt;T&gt;; }<\/code><\/pre>\n<p>  <\/p>\n<h4>Exceptions. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u0412\u043e\u0437\u044c\u043c\u0435\u043c \u043d\u0435\u043a\u0438\u0439 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 Either, \u043a\u0430\u043a Promise, \u0442\u043e\u043b\u044c\u043a\u043e \u0441 \u043b\u0443\u0447\u0448\u0435\u0439 \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u0435\u0439<\/p>\n<pre><code class=\"javascript\">import { Either, exhaustiveCheck, JokeError } from &quot;..\/helpers&quot;;  function getJoke(isFunny: boolean): Either&lt;JokeError, string&gt; {   if (isFunny) {     return Either.left(new JokeError(&quot;No funny joke&quot;));   }   return Either.right(&quot;Duh&quot;); }  getJoke(true)   \/\/ (parameter) error: JokeError   .mapLeft(error =&gt; {     if (error instanceof JokeError) {       console.log(&quot;JokeError&quot;);     } else {       exhaustiveCheck(error);     }   })   \/\/ (parameter) joke: string   .mapRight(joke =&gt; console.log(joke)); <\/code><\/pre>\n<p>  <\/p>\n<h4>Unsafe operations. \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430<\/h4>\n<p>  \u0415\u0441\u043b\u0438 \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043a\u043e\u0440\u0442\u0435\u0436 \u0444\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0433\u043e \u0440\u0430\u0437\u043c\u0435\u0440\u0430, \u0442\u043e TS \u043c\u043e\u0436\u0435\u0442 \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u043f\u043e \u0437\u0430\u043f\u0440\u043e\u0448\u0435\u043d\u043d\u043e\u043c\u0443 \u0438\u043d\u0434\u0435\u043a\u0441\u0443 \u0447\u0442\u043e-\u0442\u043e \u0435\u0441\u0442\u044c. \u0414\u043b\u044f \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u043f\u043e\u0434\u043e\u0431\u043d\u043e\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043d\u0435 \u0431\u0443\u0434\u0435\u0442 \u0438 TS \u0431\u0443\u0434\u0435\u0442 \u043d\u0430\u043c \u0434\u043e\u0432\u0435\u0440\u044f\u0442\u044c<\/p>\n<pre><code class=\"javascript\">\/\/ ReadOnly fixed size tuple export const constNumbers: readonly [1, 2, 3]    = [1, 2, 3] as const;  \/\/ Error: Object is possibly 'undefined'. console.log(constNumbers[100].toFixed());  const dynamicNumbers: number[] = [1, 2, 3]; console.log(dynamicNumbers[100].toFixed()); <\/code><\/pre>\n<p>  <\/p>\n<h4>Unsafe operations. \u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435<\/h4>\n<p>  <a href=\"https:\/\/github.com\/microsoft\/TypeScript\/issues\/13778\" rel=\"nofollow\">github.com\/microsoft\/TypeScript\/issues\/13778<\/a><br \/>  \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442\u0441\u044f \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c `undefined` \u043a \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u043c\u0443 \u0442\u0438\u043f\u0443 `T` \u0434\u043b\u044f \u0434\u043e\u0441\u0442\u0443\u043f\u0430 \u043f\u043e \u0438\u043d\u0434\u0435\u043a\u0441\u0443 \u043a \u043c\u0430\u0441\u0441\u0438\u0432\u0443. \u041d\u043e \u0432 \u0442\u0430\u043a\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u0438 \u0434\u043e\u0441\u0442\u0443\u043f\u0435 \u043f\u043e \u043b\u044e\u0431\u043e\u043c\u0443 \u0438\u043d\u0434\u0435\u043a\u0441\u0443 \u043f\u0440\u0438\u0434\u0435\u0442\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c `?` \u0438\u043b\u0438 \u0434\u0435\u043b\u0430\u0442\u044c \u044f\u0432\u043d\u044b\u0435 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0438.<\/p>\n<pre><code class=\"javascript\">\/\/ interface Array&lt;T&gt; { \/\/   [n: number]: T | undefined; \/\/ }  const dynamicNumbers: number[] = [1, 2, 3]; \/\/ Error: Object is possibly 'undefined'. console.log(dynamicNumbers[100].toFixed());  \/\/ Optional chaining `?` console.log(dynamicNumbers[100]?.toFixed());  \/\/ type refinement if (typeof dynamicNumbers[100] === 'number') {   console.log(dynamicNumbers[100].toFixed()); }<\/code><\/pre>\n<p>  <\/p>\n<h4>Unsafe operations. \u0421\u043e\u0432\u0435\u0442<\/h4>\n<p>  \u0427\u0442\u043e\u0431\u044b \u043d\u0435 \u043f\u043b\u043e\u0434\u0438\u0442\u044c \u0441\u0443\u0449\u043d\u043e\u0441\u0442\u0435\u0439 \u0441\u0432\u0435\u0440\u0445 \u043d\u0430\u0434\u043e\u0431\u043d\u043e\u0441\u0442\u0438 \u0432\u043e\u0437\u044c\u043c\u0435\u043c \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u044b\u0439 \u0440\u0430\u043d\u0435\u0435 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440 `Either` \u0438 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043f\u043e \u0440\u0430\u0431\u043e\u0442\u0435 \u0441 \u0438\u043d\u0434\u0435\u043a\u0441\u043e\u043c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c `Either&lt;null, T&gt;`.<\/p>\n<pre><code class=\"javascript\">import { Either } from &quot;..\/helpers&quot;;  function safeIndex&lt;T&gt;(   array: T[],   index: number, ): Either&lt;null, T&gt; {   if (index in array) {     return Either.right(array[index]);   }   return Either.left(null); }  const dynamicNumbers: number[] = [1, 2, 3];  safeIndex(dynamicNumbers, 100)   .mapLeft(() =&gt; console.log(&quot;Nothing&quot;))   .mapRight(el =&gt; el + 2)   .mapRight(el =&gt; console.log(el.toFixed())); <\/code><\/pre>\n<p>  <\/p>\n<h4>\u0411\u043e\u043d\u0443\u0441. \u041f\u0435\u0440\u0435\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0439<\/h4>\n<p>  \u0415\u0441\u043b\u0438 \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043f\u0430\u0440\u0443 \u0441\u0442\u0440\u043e\u043a \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0441\u0442\u0440\u043e\u043a\u0443 \u0438\u043b\u0438 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043f\u0430\u0440\u0443 \u0447\u0438\u0441\u0435\u043b \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0447\u0438\u0441\u043b\u043e \u2014 \u0442\u043e \u0432 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u044d\u0442\u0438 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0431\u0443\u0434\u0443\u0442 \u0441\u043c\u0435\u0440\u0436\u0435\u043d\u044b, \u0430 \u0438\u0445 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0443\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442, \u0430 \u043d\u0430 TS.<\/p>\n<p>  P.S. \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u0442\u0435 \u043d\u0430 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u0443 \u0447\u0435\u0440\u0435\u0437 generic \u0438 conditional types:<\/p>\n<pre><code class=\"javascript\">function add(a: string, b: string): string; function add(a: number, b: number): number; function add(a: string | number,              b: string | number, ): string | number {   return `${a} + ${b}`; }  const sum: number = add(2, 2); \/\/ Error: toFixed is not a function sum.toFixed();<\/code><\/pre>\n<h4>\u0411\u043e\u043d\u0443\u0441. Type guard<\/h4>\n<p>  TS \u0434\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442\u0443, \u0447\u0442\u043e `isSuperUser` \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043a\u0442\u043e `SuperUser` \u0438 \u0435\u0441\u043b\u0438 \u0431\u0443\u0434\u0435\u0442 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d `Vasya`, \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u043f\u043e\u0434\u0441\u043a\u0430\u0437\u043e\u043a \u043d\u0435 \u0431\u0443\u0434\u0435\u0442.<\/p>\n<p>  P.S. \u0441\u0442\u043e\u0438\u0442 \u0434\u0443\u043c\u0430\u0442\u044c \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0437\u043b\u0438\u0447\u0430\u0442\u044c \u0442\u0438\u043f\u044b \u0443\u0436\u0435 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 \u0438\u0445 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u2014 tagged union<\/p>\n<pre><code class=\"javascript\">type SimpleUser = { name: string }; type SuperUser = {    name: string;    isAdmin: true;    permissions: string[]  }; type Vasya = { name: string; isAdmin: true; isGod: true }; type User = SimpleUser | SuperUser | Vasya;  function isSuperUser(user: User): user is SuperUser {   return &quot;isAdmin&quot; in user &amp;&amp; user.isAdmin; }  function doSomethings(user: User) {   \/\/ Error: Cannot read property 'join' of undefined   if (isSuperUser(user)) {     console.log(user.permissions.join(&quot;,&quot;));   } }<\/code><\/pre>\n<p>  <\/p>\n<h3>\u0412\u044b\u0432\u043e\u0434\u044b \u043f\u043e \u0441\u043e\u0432\u0435\u0442\u0430\u043c<\/h3>\n<p>  <b> \u2014 Nominal types<\/b>: Opaque type, private fields<br \/>  <b> \u2014 Type variance<\/b>: Exact types, DeepReadonly type<br \/>  <b> \u2014 Exceptions<\/b>: Either monad<br \/>  <b> \u2014 Refinement invalidation<\/b>: Pure functions<br \/>  <b> \u2014 Unsafe operations (index access)<\/b>: Either\/Maybe monads<\/p>\n<p>  \u0418\u043c\u043c\u0443\u0442\u0430\u0431\u0435\u043b\u044c\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435, \u0447\u0438\u0441\u0442\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043c\u043e\u043d\u0430\u0434\u044b\u2026 \u041f\u043e\u0437\u0434\u0440\u0430\u0432\u043b\u044f\u044e, \u043c\u044b \u0434\u043e\u043a\u0430\u0437\u0430\u043b\u0438, \u0447\u0442\u043e \u0424\u041f \u2014 \u044d\u0442\u043e \u043a\u0440\u0443\u0442\u043e!<\/p>\n<h3>\u0412\u044b\u0432\u043e\u0434\u044b<\/h3>\n<p>  <\/p>\n<ul>\n<li>TS \u0445\u043e\u0447\u0435\u0442 \u043d\u0430\u0439\u0442\u0438 \u0431\u0430\u043b\u0430\u043d\u0441 \u043c\u0435\u0436\u0434\u0443 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u0438 \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0441\u0442\u044c\u044e<\/li>\n<li>\u0422\u0435\u0441\u0442\u044b \u043c\u043e\u0433\u0443\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c \u0438 \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0442\u0435\u0441\u0442\u043e\u0432\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445.<\/li>\n<li>\u0422\u0438\u043f\u044b \u043c\u043e\u0433\u0443\u0442 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043e\u0431\u0449\u0443\u044e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u044c \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b.<\/li>\n<li>\u041c\u0443\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u2014 \u043f\u043b\u043e\u0445\u043e, \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u043d\u044c\u043a\u043e?<\/li>\n<\/ul>\n<p>  \u041a\u0430\u043a \u0414\u0417 \u0440\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u043e\u0432\u0430\u043b \u0431\u044b \u043f\u043e\u0438\u0433\u0440\u0430\u0442\u044c\u0441\u044f \u0441 Flow \u0438\u0441\u043f\u0440\u0430\u0432\u0438\u0432 \u043f\u0440\u043e\u0441\u0442\u0443\u044e \u043e\u0448\u0438\u0431\u043a\u0443:<\/p>\n<pre><code class=\"javascript\">\/\/ https:\/\/flow.org\/try\/ declare function log(arg: { name: string, surname?: string }): void; const person: { name: string } =  { name: 'Negasi' }; \/\/ Error log(person);<\/code><\/pre>\n<p>  \u041a\u043e\u0434 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432, \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0438 \u0440\u0430\u0437\u0431\u043e\u0440 \u0437\u0430\u0434\u0430\u0447\u0438, \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u0435 \u0441\u0441\u044b\u043b\u043a\u0438 \u0432 <a href=\"https:\/\/github.com\/Buggytheclown\/my-profile\/tree\/master\/ts-type-soundness\" rel=\"nofollow\">\u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0438<\/a>.<\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/492106\/\"> https:\/\/habr.com\/ru\/post\/492106\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html post__text_v1\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/492106\/\">\u0426\u0435\u043b\u044c \u2014 \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0433\u0434\u0435 TS \u0434\u0430\u0435\u0442 \u0438\u043b\u043b\u044e\u0437\u0438\u044e \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e\u0441\u0442\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044f \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b.<\/p>\n<p>  \u041c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c \u043e \u0431\u0430\u0433\u0430\u0445, \u0432 TS \u0438\u0445 \u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e<br \/>  1,500 open bugs and 6,000 closed (\u2018is:issue is:open label:Bug\u2019)<\/p>\n<p>  \u0412\u0441\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0435\u043d\u044b \u043f\u0440\u0438:<\/p>\n<ul>\n<li>TS <a href=\"https:\/\/habr.com\/ru\/post\/490970\">strict mode<\/a> \u0432\u043a\u043b\u044e\u0447\u0435\u043d (\u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u044e \u043f\u043e\u043a\u0430 \u0440\u0430\u0437\u0431\u0438\u0440\u0430\u043b\u0441\u044f)<\/li>\n<li>\u0411\u0435\u0437 \u044f\u0432\u043d\u044b\u0445 \u00abany\u00bb: \u00abas any\u00bb, \u00abObjects\u00bb, \u00abFunction\u00bb, {[key: string]: unknown}<\/li>\n<li>\u0411\u0435\u0437 \u043d\u0435\u044f\u0432\u043d\u044b\u0445 \u00abany\u00bb: (noImplicitAny): \u043d\u0435 \u0442\u0438\u043f\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0435 \u0438\u043c\u043f\u043e\u0440\u0442\u044b (pure JS files), \u043d\u0435\u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u044b\u0439 \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u043e\u0432<\/li>\n<li>\u0411\u0435\u0437 \u043b\u043e\u0436\u043d\u044b\u0445 \u0434\u043e\u0433\u0430\u0434\u043e\u043a \u043e \u0442\u0438\u043f\u0430\u0445: \u043e\u0442\u0432\u0435\u0442 \u043e\u0442 \u0441\u0435\u0440\u0432\u0435\u0440\u0430, \u0442\u0438\u043f\u0438\u0437\u0430\u0446\u0438\u044f \u0441\u0442\u043e\u0440\u043e\u043d\u043d\u0438\u0445 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a<\/li>\n<\/ul>\n<p>   \u0421\u043e\u0434\u0435\u0440\u0436\u0430\u043d\u0438\u0435: <\/p>\n<ul>\n<li>\u0412\u0432\u0435\u0434\u0435\u043d\u0438\u0435<\/li>\n<li>Nominal types, custom types \u2014 \u043a\u043e\u0433\u0434\u0430 \u0432\u0435\u0449\u0438 \u043a\u0430\u0436\u0443\u0442\u0441\u044f \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u043c, \u043d\u043e \u0442\u0430\u043a\u0438\u0435 \u0440\u0430\u0437\u043d\u044b\u0435<\/li>\n<li>Type variance, exact types \u2014 \u043e\u0431 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438<\/li>\n<li>Refinement invalidation \u2014 \u043f\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043c \u043e \u0434\u043e\u0432\u0435\u0440\u0438\u0438<\/li>\n<li>Exceptions \u2014 \u0441\u0442\u043e\u0438\u0442 \u043b\u0438 \u043f\u0440\u0438\u0437\u043d\u0430\u0432\u0430\u0442\u044c\u0441\u044f, \u043a\u043e\u0433\u0434\u0430 \u043d\u0430\u043a\u043e\u0441\u044f\u0447\u0438\u043b?<\/li>\n<li>Unsafe operations \u2014 \u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0434\u0435\u0442 \u043d\u0430 \u043f\u043e\u043b\u044c\u0437\u0443<\/li>\n<li>\u0411\u043e\u043d\u0443\u0441\u043d\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0438 \u2014 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0438\u043f\u043e\u0432 \u043d\u0430 \u044d\u0442\u0430\u043f\u0435 PR \u0440\u0435\u0432\u044c\u044e<\/li>\n<li>\u0417\u0430\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435<\/li>\n<\/ul>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-300062","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/300062","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=300062"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/300062\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=300062"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=300062"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=300062"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}