{"id":295176,"date":"2019-11-25T21:00:12","date_gmt":"2019-11-25T21:00:12","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=295176"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=295176","title":{"rendered":"\u0422\u0435\u043e\u0440\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f: \u0412\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c"},"content":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/477448\/\">\n<p>\u0417\u0434\u0440\u0430\u0432\u0441\u0442\u0432\u0443\u0439\u0442\u0435, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u0414\u043c\u0438\u0442\u0440\u0438\u0439 \u041a\u0430\u0440\u043b\u043e\u0432\u0441\u043a\u0438\u0439 \u0438 \u044f\u2026 \u0445\u043e\u0447\u0443 \u043f\u043e\u0432\u0435\u0434\u0430\u0442\u044c \u0432\u0430\u043c \u043e \u0444\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e\u0439 \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0441\u0442\u0438 \u0441\u0438\u0441\u0442\u0435\u043c \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0437\u0430\u0447\u0430\u0441\u0442\u0443\u044e \u0438\u043b\u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u044e\u0442 \u0438\u043b\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u044e\u0442 \u043d\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u0438\u0437\u043c\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u0432\u0438\u0434\u0443 \u044d\u0432\u043e\u043b\u044e\u0446\u0438\u043e\u043d\u043d\u043e\u0433\u043e \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u044f \u0438\u043c\u0435\u0435\u0442 \u043c\u043d\u043e\u0433\u043e \u0430\u0442\u0430\u0432\u0438\u0437\u043c\u043e\u0432. \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432\u044b \u0434\u0443\u043c\u0430\u0435\u0442\u0435, \u0447\u0442\u043e \u0437\u043d\u0430\u0435\u0442\u0435, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 &#171;\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c&#187;, \u043f\u043e\u0441\u0442\u0430\u0440\u0430\u0439\u0442\u0435\u0441\u044c \u0432\u0437\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u0442\u0438\u043a\u0443 \u0441\u0432\u0435\u0436\u0438\u043c \u0432\u0437\u0433\u043b\u044f\u0434\u043e\u043c. \u041d\u0430\u0447\u043d\u0451\u043c \u043c\u044b \u0441 \u0441\u0430\u043c\u044b\u0445 \u043e\u0441\u043d\u043e\u0432, \u0442\u0430\u043a \u0447\u0442\u043e \u0434\u0430\u0436\u0435 \u043d\u043e\u0432\u0438\u0447\u043e\u043a \u0432\u0441\u0451 \u043f\u043e\u0439\u043c\u0451\u0442. \u0410 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u043c \u0431\u0435\u0437 \u0432\u043e\u0434\u044b, \u0447\u0442\u043e\u0431\u044b \u0434\u0430\u0436\u0435 \u043f\u0440\u043e\u0444\u0438 \u0431\u044b\u043b\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u0434\u043b\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0432\u043e\u0438\u0445 \u0437\u043d\u0430\u043d\u0438\u0439. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u043a\u043e\u0434\u0430 \u0431\u0443\u0434\u0443\u0442 \u043d\u0430 \u043f\u0441\u0435\u0432\u0434\u043e\u044f\u0437\u044b\u043a\u0435 \u043f\u043e\u0445\u043e\u0436\u0435\u043c \u043d\u0430 TypeScript. \u041f\u043e\u0442\u043e\u043c \u0431\u0443\u0434\u0443\u0442 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u044b \u043f\u043e\u0434\u0445\u043e\u0434\u044b \u0443\u0436\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432. \u0410 \u0435\u0441\u043b\u0438 \u0436\u0435 \u0432\u044b \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0435 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a, \u0442\u043e \u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u0432\u0430\u043c \u043d\u0435 \u043d\u0430\u0441\u0442\u0443\u043f\u0438\u0442\u044c \u043d\u0430 \u0447\u0443\u0436\u0438\u0435 \u0433\u0440\u0430\u0431\u043b\u0438.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/uz\/yw\/ly\/uzywlybdb47qium0-khvukslzwc.png\" alt=\"\u0430 \u0432\u0434\u0440\u0443\u0433 \u0442\u0430\u043c \u043b\u0438\u0441?\"><\/p>\n<p><a name=\"habracut\"><\/a>  <\/p>\n<h1 id=\"argumenty-i-parametry\">\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b \u0438 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b<\/h1>\n<p>  <\/p>\n<p><strong>\u041f\u0430\u0440\u0430\u043c\u0435\u0442\u0440<\/strong> \u2014 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043c\u044b \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c. \u041e\u043f\u0438\u0441\u044b\u0432\u0430\u044f \u0442\u0438\u043f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043c\u044b \u0437\u0430\u0434\u0430\u0451\u043c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0436\u043d\u043e \u043d\u0430\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c. \u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432 :<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">\/\/ \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 function log( id : string | number ) {}  \/\/ \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u0430 class Logger {     constructor( readonly id : Natural ) {} }  \/\/ \u0448\u0430\u0431\u043b\u043e\u043d\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 class Node&lt; Id extends Number &gt; {     id : Id }<\/code><\/pre>\n<p>  <\/p>\n<p><strong>\u0410\u0440\u0433\u0443\u043c\u0435\u043d\u0442<\/strong> \u2014 \u044d\u0442\u043e \u0442\u043e, \u0447\u0442\u043e \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u043c. \u0412 \u043c\u043e\u043c\u0435\u043d\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u043c\u0435\u0435\u0442 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0442\u0438\u043f. \u0422\u0435\u043c \u043d\u0435 \u043c\u0435\u043d\u0435\u0435, \u043f\u0440\u0438 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0442\u0438\u043f \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u0435\u043d \u0438\u0437-\u0437\u0430 \u0447\u0435\u0433\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043e\u043f\u0435\u0440\u0438\u0440\u0443\u0435\u0442 \u043e\u043f\u044f\u0442\u044c \u0436\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f\u043c\u0438 \u043d\u0430 \u0442\u0438\u043f. \u041d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">log( 123 ) \/\/ \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0442\u0438\u043f new Logger( promptStringOrNumber( 'Enter id' ) ) \/\/ \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0442\u0438\u043f \u0438\u0437\u0432\u0435\u0441\u0442\u0435\u043d \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0440\u0430\u043d\u0442\u0430\u0439\u043c\u0435 new Node( 'root' ) \/\/ \u044f\u0432\u043d\u043e \u043d\u0435\u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u044b\u0439 \u0442\u0438\u043f, \u043e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"podtipy\">\u041f\u043e\u0434\u0442\u0438\u043f\u044b<\/h1>\n<p>  <\/p>\n<p>\u0422\u0438\u043f\u044b \u043c\u043e\u0433\u0443\u0442 \u043c\u043e\u0433\u0443\u0442 \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044e. <em>\u041f\u043e\u0434\u0442\u0438\u043f<\/em> \u2014 \u044d\u0442\u043e \u0447\u0430\u0441\u0442\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 <em>\u043d\u0430\u0434\u0442\u0438\u043f\u0430<\/em>. \u041f\u043e\u0434\u0442\u0438\u043f \u043c\u043e\u0436\u0435\u0442 \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u043f\u0443\u0442\u0451\u043c <strong>\u0441\u0443\u0436\u0435\u043d\u0438\u044f<\/strong> \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043d\u0430\u0434\u0442\u0438\u043f\u0430. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0442\u0438\u043f Natural \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c Integer \u0438 Positive. \u0418 \u0432\u0441\u0435 \u0442\u0440\u043e\u0435 \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u0430\u043c\u0438 Real. \u0410 \u0442\u0438\u043f Prime \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c \u0432\u0441\u0435\u0445 \u0432\u044b\u0448\u0435\u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445. \u0412 \u0442\u043e \u0436\u0435 \u0432\u0440\u0435\u043c\u044f \u0442\u0438\u043f\u044b Positive \u0438 Integer \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u044e\u0449\u0438\u043c\u0438\u0441\u044f, \u043d\u043e \u043d\u0438 \u043e\u0434\u0438\u043d \u0438\u0437 \u043d\u0438\u0445 \u043d\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0443\u0436\u0435\u043d\u0438\u0435\u043c \u0434\u0440\u0443\u0433\u043e\u0433\u043e.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/ca8\/220\/c10\/ca8220c10205146b59dc7f9b4a479c4b.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u0414\u0440\u0443\u0433\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u043e\u0431\u0440\u0430\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0434\u0442\u0438\u043f \u2014 <strong>\u0440\u0430\u0441\u0448\u0438\u0440\u0438\u0442\u044c<\/strong> \u0435\u0433\u043e, \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0438\u0432 \u0441 \u0434\u0440\u0443\u0433\u0438\u043c \u043e\u0440\u0442\u043e\u0433\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u0435\u043c\u0443 \u0442\u0438\u043f\u043e\u043c. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0435\u0441\u0442\u044c &#171;\u0446\u0432\u0435\u0442\u043d\u0430\u044f \u0444\u0438\u0433\u0443\u0440\u0430&#187; \u0438\u043c\u0435\u044e\u0449\u0430\u044f \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e &#171;\u0446\u0432\u0435\u0442&#187;, \u0430 \u0435\u0441\u0442\u044c &#171;\u043a\u0432\u0430\u0434\u0440\u0430\u0442&#187; \u0438\u043c\u0435\u044e\u0449\u0438\u0439 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u043e &#171;\u0432\u044b\u0441\u043e\u0442\u0430&#187;. \u041e\u0431\u044a\u0435\u0434\u0438\u043d\u0438\u0432 \u044d\u0442\u0438 \u0442\u0438\u043f\u044b \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043c &#171;\u0446\u0432\u0435\u0442\u043d\u043e\u0439 \u043a\u0432\u0430\u0434\u0440\u0430\u0442&#187;. \u0410 \u0434\u043e\u0431\u0430\u0432\u0438\u0432 &#171;\u043a\u0440\u0443\u0433&#187; \u0441 \u0435\u0433\u043e &#171;\u0440\u0430\u0434\u0438\u0443\u0441\u043e\u043c&#187; \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c &#171;\u0446\u0432\u0435\u0442\u043d\u043e\u0439 \u0446\u0438\u043b\u0438\u043d\u0434\u0440&#187;.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/484\/181\/21d\/48418121d846dc7aa19d4cd7472638c6.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<h1 id=\"ierarhii\">\u0418\u0435\u0440\u0430\u0440\u0445\u0438\u0438<\/h1>\n<p>  <\/p>\n<p>\u0414\u043b\u044f \u0434\u0430\u043b\u044c\u043d\u0435\u0439\u0448\u0435\u0433\u043e \u043f\u043e\u0432\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430\u043c \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u0430\u044f \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044f \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u0445 \u0438 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u0430\u044f \u0435\u0439 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044f \u043a\u043b\u0435\u0442\u043e\u043a.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">abstract class Animal {} abstract class Pet extends Animal {} class Cat extends Pet {} class Dog extends Pet {} class Fox extends Animal {}  class AnimalCage { content : Animal } class PetCage extends AnimalCage { content : Pet } class CatCage extends PetCage { content : Cat } class DogCage extends PetCage { content : Dog } class FoxCage extends AnimalCage { content : Fox }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0412\u0441\u0451, \u0447\u0442\u043e \u043d\u0438\u0436\u0435 \u043d\u0430 \u0440\u0438\u0441\u0443\u043d\u043a\u0435 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u0443\u0436\u0435\u043d\u0438\u0435\u043c \u0442\u0438\u043f\u0430 \u0432\u044b\u0448\u0435. \u041a\u043b\u0435\u0442\u043a\u0430 \u0441 \u043f\u0438\u0442\u043e\u043c\u0446\u0435\u043c \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043b\u0438\u0448\u044c \u0434\u043e\u043c\u0430\u0448\u043d\u0438\u0445 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u0445, \u043d\u043e \u043d\u0435 \u0434\u0438\u043a\u0438\u0445. \u041a\u043b\u0435\u0442\u043a\u0430 \u0441 \u0441\u043e\u0431\u0430\u043a\u043e\u0439 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043b\u0438\u0448\u044c \u0441\u043e\u0431\u0430\u043a.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/397\/a01\/046\/397a01046371d0316d2231db9771de24.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<h1 id=\"kovariantnost\">\u041a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/h1>\n<p>  <\/p>\n<p>\u0421\u0430\u043c\u043e\u0435 \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u0438 \u043f\u043e\u043d\u044f\u0442\u043d\u043e\u0435 \u2014 \u044d\u0442\u043e <strong>\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430\u0434\u0442\u0438\u043f\u0430<\/strong> \u0438\u043b\u0438 \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c. \u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c\u0443 \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0442\u0438\u043f\u0443. \u0422\u043e \u0435\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043a\u0430\u043a \u0441\u0430\u043c \u044d\u0442\u043e\u0442 \u0442\u0438\u043f, \u0442\u0430\u043a \u0438 \u043b\u044e\u0431\u043e\u0439 \u0435\u0433\u043e \u043f\u043e\u0434\u0442\u0438\u043f, \u043d\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043d\u0430\u0434\u0442\u0438\u043f\u044b \u0438\u043b\u0438 \u0438\u043d\u044b\u0435 \u0442\u0438\u043f\u044b.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function touchPet( cage : PetCage ) : void {     log( `touch ${cage.content}` ) }  touchPet( new AnimalCage ) \/\/ forbid touchPet( new PetCage ) \/\/ allow touchPet( new CatCage ) \/\/ allow touchPet( new DogCage ) \/\/ allow touchPet( new FoxCage ) \/\/ forbid<\/code><\/pre>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/a68\/94b\/667\/a6894b667d46336844466ff63a972011.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u043c\u0435\u043d\u044f\u0435\u043c \u0432 \u043a\u043b\u0435\u0442\u043a\u0435, \u0442\u043e \u0441\u043f\u043e\u043a\u043e\u0439\u043d\u043e \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043a\u043e\u0448\u043a\u043e\u0439, \u0442\u0430\u043a \u043a\u0430\u043a \u043e\u043d\u0430 \u2014 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435, \u0447\u0435\u043c \u0447\u0430\u0441\u0442\u043d\u044b\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u043a\u043b\u0435\u0442\u043a\u0438 \u0441 \u043f\u0438\u0442\u043e\u043c\u0446\u0435\u043c.<\/p>\n<p>  <\/p>\n<h1 id=\"kontravariantnost\">\u041a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/h1>\n<p>  <\/p>\n<p>\u0427\u0443\u0442\u044c \u0441\u043b\u043e\u0436\u043d\u0435\u0435 \u043f\u043e\u043d\u044f\u0442\u044c <strong>\u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u0434\u0442\u0438\u043f\u0430<\/strong> \u0438\u043b\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c. \u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c\u0443 \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0442\u0438\u043f\u0443. \u0422\u043e \u0435\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043a\u0430\u043a \u0441\u0430\u043c \u044d\u0442\u043e\u0442 \u0442\u0438\u043f, \u0442\u0430\u043a \u0438 \u043b\u044e\u0431\u043e\u0439 \u0435\u0433\u043e \u043d\u0430\u0434\u0442\u0438\u043f, \u043d\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043f\u043e\u0434\u0442\u0438\u043f\u044b \u0438\u043b\u0438 \u0438\u043d\u044b\u0435 \u0442\u0438\u043f\u044b.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function pushPet( cage : PetCage ) : void {     const Pet = random() &gt; .5 ? Cat : Dog     cage.content = new Pet }  pushPet( new AnimalCage ) \/\/ allow pushPet( new PetCage ) \/\/ allow pushPet( new CatCage ) \/\/ forbid pushPet( new DogCage ) \/\/ forbid pushPet( new FoxCage ) \/\/ forbid<\/code><\/pre>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/e9b\/a03\/b2d\/e9ba03b2d3e4f0b82a6f3d9a4f85c05f.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043a\u043e\u0448\u043a\u043e\u0439, \u0442\u0430\u043a \u043a\u0430\u043a \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0437\u0430\u0441\u0443\u043d\u0443\u0442\u044c \u0442\u0443\u0434\u0430 \u0441\u043e\u0431\u0430\u043a\u0443, \u0447\u0442\u043e \u043d\u0435 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u043e. \u0410 \u0432\u043e\u0442 \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043b\u044e\u0431\u044b\u043c \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c \u043c\u043e\u0436\u043d\u043e \u0441\u043c\u0435\u043b\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c, \u0442\u0430\u043a \u043a\u0430\u043a \u0438 \u043a\u043e\u0448\u043a\u0443 \u0438 \u0441\u043e\u0431\u0430\u043a\u0443 \u0432\u043f\u043e\u043b\u043d\u0435 \u043c\u043e\u0436\u043d\u043e \u0442\u0443\u0434\u0430 \u043f\u043e\u043c\u0435\u0449\u0430\u0442\u044c.<\/p>\n<p>  <\/p>\n<h1 id=\"invariantnost\">\u0418\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/h1>\n<p>  <\/p>\n<p><strong>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043f\u043e\u0434\u0442\u0438\u043f\u0430 \u0438 \u043d\u0430\u0434\u0442\u0438\u043f\u0430<\/strong> \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e. \u0422\u0430\u043a\u043e\u0439 \u0441\u043b\u0443\u0447\u0430\u0439 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c\u044e. \u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0435\u043d \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c\u0443 \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0442\u0438\u043f\u0443. \u0422\u043e \u0435\u0441\u0442\u044c \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u044b\u0439 \u0442\u0438\u043f \u0438 \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u0431\u043e\u043b\u044c\u0448\u0435.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function replacePet( cage : PetCage ) : void {     touchPet( cage )     pushPet( cage ) }  replacePet( new AnimalCage ) \/\/ forbid replacePet( new PetCage ) \/\/ allow replacePet( new CatCage ) \/\/ forbid replacePet( new DogCage ) \/\/ forbid replacePet( new FoxCage ) \/\/ forbid<\/code><\/pre>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/3c3\/bec\/d6d\/3c3becd6de5faa045963dc7c45774d19.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f <code>replacePet<\/code> \u043d\u0430\u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0443 \u0442\u0435\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043e\u043d\u0430 \u0432\u043d\u0443\u0442\u0440\u0438 \u0441\u0435\u0431\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442: \u0443 <code>touchPet<\/code> \u043e\u043d\u0430 \u0432\u0437\u044f\u043b\u0430 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430 \u043d\u0430\u0434\u0442\u0438\u043f, \u0430 \u0443 <code>pushPet<\/code> \u2014 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430 \u043f\u043e\u0434\u0442\u0438\u043f. \u0415\u0441\u043b\u0438 \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0434\u0438\u043c \u0435\u0439 \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043b\u044e\u0431\u044b\u043c \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c, \u0442\u043e \u043e\u043d\u0430 \u043d\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0435\u0451 \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e touchPet, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0435 \u0443\u043c\u0435\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 \u043b\u0438\u0441\u0430\u043c\u0438 (\u0434\u0438\u043a\u043e\u0435 \u0436\u0438\u0432\u043e\u0442\u043d\u043e\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u043e\u0442\u043a\u0443\u0441\u0438\u0442 \u043f\u0430\u043b\u0435\u0446). \u0410 \u0435\u0441\u043b\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0434\u0438\u043c \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043a\u043e\u0448\u043a\u043e\u0439, \u0442\u043e \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f \u0432\u044b\u0437\u0432\u0430\u0442\u044c \u0443\u0436\u0435 <code>pushPet<\/code>.<\/p>\n<p>  <\/p>\n<h1 id=\"bivariantnost\">\u0411\u0438\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/h1>\n<p>  <\/p>\n<p>\u041d\u0435\u043b\u044c\u0437\u044f \u043d\u0435 \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u0442\u044c \u0438 \u044d\u043a\u0437\u043e\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 <strong>\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439<\/strong> \u2014 \u0431\u0438\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c. \u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0439 \u0442\u0438\u043f \u044f\u0432\u043b\u044f\u044e\u0449\u0438\u0439\u0441\u044f \u043d\u0430\u0434\u0442\u0438\u043f\u043e\u043c \u0438\u043b\u0438 \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function enshurePet( cage : PetCage ) : void {     if( cage.content instanceof Pet ) return     pushPet( cage ) }  replacePet( new AnimalCage ) \/\/ allow replacePet( new PetCage ) \/\/ allow replacePet( new CatCage ) \/\/ allow replacePet( new DogCage ) \/\/ allow replacePet( new FoxCage ) \/\/ forbid<\/code><\/pre>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/8b8\/b85\/66f\/8b8b8566f8c6db9cd3959f1152202957.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u0412 \u043d\u0435\u0451 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c. \u0422\u043e\u0433\u0434\u0430 \u043e\u043d\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442, \u0447\u0442\u043e \u0432 \u043a\u043b\u0435\u0442\u043a\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u0438\u0442\u043e\u043c\u0435\u0446, \u0438\u043d\u0430\u0447\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442 \u0432\u043d\u0443\u0442\u0440\u044c \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u043e\u0433\u043e \u043f\u0438\u0442\u043e\u043c\u0446\u0430. \u0410 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0438, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043a\u043e\u0448\u043a\u043e\u0439, \u0442\u043e\u0433\u0434\u0430 \u043e\u043d\u0430 \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0441\u0434\u0435\u043b\u0430\u0435\u0442.<\/p>\n<p>  <\/p>\n<h1 id=\"obobscheniya\">\u041e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f<\/h1>\n<p>  <\/p>\n<p>\u041d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u0447\u0438\u0442\u0430\u044e\u0442, \u0447\u0442\u043e \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u043a\u0430\u043a-\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u0430 \u0441 \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438. \u0417\u0430\u0447\u0430\u0441\u0442\u0443\u044e \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u0440\u043e \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0447\u0430\u0441\u0442\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u044e\u0442 \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u043e\u0432. \u041e\u0434\u043d\u0430\u043a\u043e, \u0432\u043e \u0432\u0441\u0451\u043c \u043f\u043e\u0432\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0438 \u0443 \u043d\u0430\u0441 \u0434\u043e \u0441\u0438\u0445 \u043f\u043e\u0440 \u043d\u0435 \u0431\u044b\u043b\u043e \u043d\u0438 \u0435\u0434\u0438\u043d\u043e\u0433\u043e \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u2014 \u0441\u043f\u043b\u043e\u0448\u044c \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u043a\u043b\u0430\u0441\u0441\u044b:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">class AnimalCage { content : Animal } class PetCage extends AnimalCage { content : Pet } class CatCage extends PetCage { content : Cat } class DogCage extends PetCage { content : Dog } class FoxCage extends AnimalCage { content : Fox }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0421\u0434\u0435\u043b\u0430\u043d\u043e \u044d\u0442\u043e \u0431\u044b\u043b\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u043d\u0438\u043a\u0430\u043a \u0441 \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f\u043c\u0438 \u043d\u0435 \u0441\u0432\u044f\u0437\u0430\u043d\u044b. \u041e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u043d\u0443\u0436\u043d\u044b \u043b\u0438\u0448\u044c, \u0447\u0442\u043e\u0431\u044b \u0443\u043c\u0435\u043d\u044c\u0448\u0438\u0442\u044c \u043a\u043e\u043f\u0438\u043f\u0430\u0441\u0442\u0443. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u043e\u0434 \u0432\u044b\u0448\u0435 \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u0435:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">class Cage&lt;Animal&gt; { content : Animal }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0418 \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u043b\u044e\u0431\u044b\u0445 \u043a\u043b\u0435\u0442\u043e\u043a:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">const animalCage = new Cage&lt;Animal&gt;() const petCage = new Cage&lt;Pet&gt;() const catCage = new Cage&lt;Cat&gt;() const dogCage = new Cage&lt;Dog&gt;() const foxCage = new Cage&lt;Fox&gt;()<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"deklaraciya-ogranicheniy\">\u0414\u0435\u043a\u043b\u0430\u0440\u0430\u0446\u0438\u044f \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0439<\/h1>\n<p>  <\/p>\n<p>\u041e\u0431\u0440\u0430\u0442\u0438\u0442\u0435 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u0435, \u0447\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0443 \u0432\u0441\u0435\u0445 \u0447\u0435\u0442\u044b\u0440\u0451\u0445 \u0440\u0430\u043d\u0435\u0435 \u043f\u0440\u0438\u0432\u0435\u0434\u0451\u043d\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u044b\u0435:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">( cage : PetCage )=&gt; void<\/code><\/pre>\n<p>  <\/p>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c \u0442\u0430\u043a\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043d\u0435 \u043e\u0431\u043b\u0430\u0434\u0430\u0435\u0442 \u043f\u043e\u043b\u043d\u043e\u0442\u043e\u0439 \u2014 \u043f\u043e \u043d\u0435\u043c\u0443 \u043d\u0435\u043b\u044c\u0437\u044f \u0441\u043a\u0430\u0437\u0430\u0442\u044c \u0447\u0442\u043e \u0432 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043c\u043e\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c. \u041d\u0443 \u0440\u0430\u0437\u0432\u0435 \u0447\u0442\u043e \u043e\u0434\u043d\u043e\u0437\u043d\u0430\u0447\u043d\u043e \u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043b\u0438\u0441\u043e\u0439 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u0432 \u043d\u0435\u0451 \u0442\u043e\u0447\u043d\u043e \u043d\u0435 \u0441\u0442\u043e\u0438\u0442.<\/p>\n<p>  <\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0432 \u0441\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u0435\u0441\u0442\u044c \u0441\u0440\u0435\u0434\u0441\u0442\u0432\u0430 \u0434\u043b\u044f \u044f\u0432\u043d\u043e\u0433\u043e \u0443\u043a\u0430\u0437\u0430\u043d\u0438\u044f \u043a\u0430\u043a\u0438\u0435 \u0443 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0438\u043f\u044b. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b <a href=\"https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/language-reference\/keywords\/in-generic-modifier\">in<\/a> \u0438 <a href=\"https:\/\/docs.microsoft.com\/en-us\/dotnet\/csharp\/language-reference\/keywords\/out-generic-modifier\">out<\/a> \u0432 C#:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">interface ICageIn&lt;in T&gt; { T content { set; } } \/\/ contravariant generic parameter interface ICageOut&lt;out T&gt; { T content { get; } } \/\/ covariant generic parameter interface ICageInOut&lt;T&gt; { T content { get; set; } } \/\/ invariant generic parameter<\/code><\/pre>\n<p>  <\/p>\n<p>\u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u0432 C# \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430 \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u043e\u0432 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0437\u0430\u0432\u043e\u0434\u0438\u0442\u044c \u043f\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u043c\u0443 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0443. \u041a\u0440\u043e\u043c\u0435 \u0442\u043e\u0433\u043e, \u043d\u0430\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u044f \u043f\u043e\u043d\u044f\u043b, \u0431\u0438\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432 C# \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435\u0432\u044b\u0440\u0430\u0437\u0438\u043c\u0430.<\/p>\n<p>  <\/p>\n<h1 id=\"vyhodnye-parametry\">\u0412\u044b\u0445\u043e\u0434\u043d\u044b\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b<\/h1>\n<p>  <\/p>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u0438 \u043c\u043e\u0433\u0443\u0442 \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c, \u043d\u043e \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u0412 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0438 \u043d\u0435 \u043e\u0434\u043d\u043e. \u0412 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u0430 \u0432\u043e\u0437\u044c\u043c\u0451\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0443\u044e \u043a\u043b\u0435\u0442\u043a\u0443 \u0441 \u043f\u0438\u0442\u043e\u043c\u0446\u0435\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0449\u0443\u044e \u0434\u0432\u0443\u0445 \u043f\u0438\u0442\u043e\u043c\u0446\u0435\u0432.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function getPets( input : PetCage ) : [ Pet , Pet ] {     return [ input.content , new Cat ] }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0422\u0430\u043a\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0435\u0439 \u043f\u043e\u043c\u0438\u043c\u043e \u043e\u0434\u043d\u043e\u0433\u043e \u0432\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430, \u0435\u0449\u0451 \u0438 \u0434\u0432\u0430 \u0432\u044b\u0445\u043e\u0434\u043d\u044b\u0445. <\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function getPets( input : PetCage , output1 : PetCage , output2 : PetCage ) : void {     output1.content = input.content     output2.content = new Cat }<\/code><\/pre>\n<p>  <\/p>\n<p>\u0412\u043d\u0435\u0448\u043d\u0438\u0439 \u043a\u043e\u0434 \u0432\u044b\u0434\u0435\u043b\u044f\u0435\u0442 \u043d\u0430 \u0441\u0442\u0435\u043a\u0435 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u0443\u044e \u043f\u0430\u043c\u044f\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u043e\u043b\u043e\u0436\u0438\u043b\u0430 \u0432 \u043d\u0435\u0451 \u0432\u0441\u0451, \u0447\u0442\u043e \u0445\u043e\u0447\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c. \u0410 \u043f\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u0438, \u0432\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439 \u043a\u043e\u0434 \u0443\u0436\u0435 \u0441\u043c\u043e\u0436\u0435\u0442 \u0432\u043e\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u044d\u0442\u0438\u043c\u0438 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0430\u043c\u0438 \u0432 \u0441\u0432\u043e\u0438\u0445 \u0446\u0435\u043b\u044f\u0445.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/2c3\/292\/0b5\/2c32920b5a5aeb4ed22923ac97de9267.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u0418\u0437 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u044d\u0442\u0438\u0445 \u0434\u0432\u0443\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0435\u0439 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0432\u0441\u0435\u0433\u0434\u0430 \u043a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u043c\u0443 \u0432\u044b\u0445\u043e\u0434\u043d\u043e\u043c\u0443 \u0442\u0438\u043f\u0443. \u0418\u0431\u043e \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432 \u043d\u0438\u0445 \u043f\u0438\u0441\u0430\u0442\u044c, \u043d\u043e \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0438\u0437 \u043d\u0438\u0445 \u0447\u0438\u0442\u0430\u0442\u044c.<\/p>\n<p>  <\/p>\n<h1 id=\"metody-obektov\">\u041c\u0435\u0442\u043e\u0434\u044b \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432<\/h1>\n<p>  <\/p>\n<p>\u041c\u0435\u0442\u043e\u0434\u044b \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u2014 \u044d\u0442\u043e \u0442\u0430\u043a\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0442 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c \u043d\u0430 \u043e\u0431\u044a\u0435\u043a\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043d\u0435\u044f\u0432\u043d\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430. \u0422\u043e \u0435\u0441\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0434\u0432\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u044b.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">class PetCage {       pushPet() : void {         const Pet = random() &gt; .5 ? Cat : Dog         this.content = new Pet     }  }<\/code><\/pre>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function pushPet( this : PetCage ) : void {     const Pet = random() &gt; .5 ? Cat : Dog     this.content = new Pet }<\/code><\/pre>\n<p>  <\/p>\n<p>\u041e\u0434\u043d\u0430\u043a\u043e, \u0432\u0430\u0436\u043d\u043e \u043e\u0442\u043c\u0435\u0442\u0438\u0442\u044c, \u0447\u0442\u043e \u043c\u0435\u0442\u043e\u0434, \u0432 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 \u043e\u0442 \u043e\u0431\u044b\u0447\u043d\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u0436\u0435 \u0438 \u0447\u043b\u0435\u043d\u043e\u043c \u043a\u043b\u0430\u0441\u0441\u0430, \u0447\u0442\u043e \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435\u043c \u0442\u0438\u043f\u0430. \u041f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u044d\u0442\u043e \u043a \u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043f\u043e\u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430\u0434\u0442\u0438\u043f\u0430, \u0434\u043b\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0432\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0445 \u044d\u0442\u043e\u0442 \u043c\u0435\u0442\u043e\u0434:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function fillPetCage( cage : PetCage ) {     cage.pushPet() }<\/code><\/pre>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/post_images\/44e\/f44\/c67\/44ef44c670ebef55ab1d8f248da44b11.png\" alt=\"image\"><\/p>\n<p>  <\/p>\n<p>\u041c\u044b \u043d\u0435 \u043c\u043e\u0436\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0442\u044c \u0432 \u043d\u0435\u0451 \u0442\u0430\u043a\u043e\u0439 \u043d\u0430\u0434\u0442\u0438\u043f, \u0433\u0434\u0435 \u043c\u0435\u0442\u043e\u0434 <code>pushPet<\/code> \u0435\u0449\u0451 \u043d\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0451\u043d. \u042d\u0442\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \u0441\u043b\u0443\u0447\u0430\u0439 \u0441 \u0438\u043d\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u0442\u0435\u043c, \u0447\u0442\u043e \u0435\u0441\u0442\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u0438 \u0441\u043d\u0438\u0437\u0443 \u0438 \u0441\u0432\u0435\u0440\u0445\u0443. \u041e\u0434\u043d\u0430\u043a\u043e, \u043c\u0435\u0441\u0442\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043c\u0435\u0442\u043e\u0434\u0430 <code>pushPet<\/code> \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0432\u044b\u0448\u0435 \u043f\u043e \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0438. \u0418 \u0438\u043c\u0435\u043d\u043d\u043e \u0442\u0430\u043c \u0431\u0443\u0434\u0435\u0442 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435 \u043d\u0430\u0434\u0442\u0438\u043f\u0430.<\/p>\n<p>  <\/p>\n<h1 id=\"princip-podstanovki--barbary-liskov-lsp\">\u041f\u0440\u0438\u043d\u0446\u0438\u043f \u041f\u043e\u0434\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438 \u0411\u0430\u0440\u0431\u0430\u0440\u044b \u041b\u0438\u0441\u043a\u043e\u0432 (LSP)<\/h1>\n<p>  <\/p>\n<blockquote><p>\u0424\u0443\u043d\u043a\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442 \u0431\u0430\u0437\u043e\u0432\u044b\u0439 \u0442\u0438\u043f, \u0434\u043e\u043b\u0436\u043d\u044b \u0438\u043c\u0435\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u0434\u0442\u0438\u043f\u044b \u0431\u0430\u0437\u043e\u0432\u043e\u0433\u043e \u0442\u0438\u043f\u0430, \u043d\u0435 \u0437\u043d\u0430\u044f \u043e\u0431 \u044d\u0442\u043e\u043c \u0438 \u043d\u0435 \u043d\u0430\u0440\u0443\u0448\u0430\u044f \u043a\u043e\u0440\u0440\u0435\u043a\u0442\u043d\u043e\u0441\u0442\u044c \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b.<\/p><\/blockquote>\n<p>\u0414\u043b\u044f \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0445 (\u0432 \u0442\u043e\u043c \u0447\u0438\u0441\u043b\u0435 \u043d\u0435 \u0441\u0441\u044b\u043b\u0430\u044e\u0449\u0438\u0445\u0441\u044f \u043d\u0430 \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0435) \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u044d\u0442\u043e\u0442 \u043f\u0440\u0438\u043d\u0446\u0438\u043f \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438, \u0442\u0430\u043a \u043a\u0430\u043a \u043d\u0435\u043e\u0442\u043a\u0443\u0434\u0430 \u0432\u0437\u044f\u0442\u044c\u0441\u044f \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044e \u043f\u043e\u0434\u0442\u0438\u043f\u0430.<\/p>\n<p>  <\/p>\n<p>\u0421 \u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u043c\u0438 \u0436\u0435 \u0432\u0441\u0451 \u0441\u043b\u043e\u0436\u043d\u0435\u0435, \u0442\u0430\u043a \u043a\u0430\u043a \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0435 \u0434\u0432\u0435 \u0441\u0438\u0442\u0443\u0430\u0446\u0438\u0438 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u043c\u0438 \u0434\u043b\u044f \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0430 LSP:<\/p>\n<p>  <\/p>\n<ol>\n<li>\u0423 \u043a\u043b\u0430\u0441\u0441\u0430 <code>A<\/code> \u0435\u0441\u0442\u044c \u043f\u043e\u0434\u043a\u043b\u0430\u0441\u0441 <code>B<\/code>, \u0433\u0434\u0435 \u043f\u043e\u043b\u0435 <code>B::foo<\/code> \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043f\u043e\u0434\u0442\u0438\u043f\u043e\u043c <code>A::foo<\/code>.<\/li>\n<li>\u0423 \u043a\u043b\u0430\u0441\u0441\u0430 <code>A<\/code> \u0435\u0441\u0442\u044c \u043c\u0435\u0442\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u043e\u0436\u0435\u0442 \u0438\u0437\u043c\u0435\u043d\u0438\u0442\u044c \u043f\u043e\u043b\u0435 <code>A::foo<\/code>.<\/li>\n<\/ol>\n<p>  <\/p>\n<p>\u0421\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043e\u0441\u0442\u0430\u0451\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u0442\u0440\u0438 \u043f\u0443\u0442\u0438:<\/p>\n<p>  <\/p>\n<ol>\n<li>\u0417\u0430\u043f\u0440\u0435\u0442\u0438\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c \u043f\u0440\u0438 \u043d\u0430\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u043d\u0438\u0438 \u0441\u0443\u0436\u0430\u0442\u044c \u0442\u0438\u043f\u044b \u0441\u0432\u043e\u0438\u0445 \u043f\u043e\u043b\u0435\u0439. \u041d\u043e \u0442\u043e\u0433\u0434\u0430 \u0432 \u043a\u043b\u0435\u0442\u043a\u0443 \u0434\u043b\u044f \u043a\u043e\u0442\u0430 \u0432\u044b \u0441\u043c\u043e\u0436\u0435\u0442\u0435 \u0437\u0430\u0441\u043e\u0432\u044b\u0432\u0430\u0442\u044c \u0438 \u0441\u043b\u043e\u043d\u0430.<\/li>\n<li>\u0420\u0443\u043a\u043e\u0432\u043e\u0434\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043d\u0435 LSP, \u0430 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c\u044e \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 \u043a\u0430\u0436\u0434\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0432 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438. \u041d\u043e \u0442\u043e\u0433\u0434\u0430 \u043f\u0440\u0438\u0434\u0451\u0442\u0441\u044f \u043c\u043d\u043e\u0433\u043e \u0434\u0443\u043c\u0430\u0442\u044c \u0438 \u043e\u0431\u044a\u044f\u0441\u043d\u044f\u0442\u044c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u0433\u0434\u0435 \u043a\u0430\u043a\u0438\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0438\u043f\u044b.<\/li>\n<li>\u041f\u043b\u044e\u043d\u0443\u0442\u044c \u043d\u0430 \u0432\u0441\u0451 \u0438 \u0443\u0439\u0442\u0438 \u0432 <del>\u043c\u043e\u043d\u0430\u0441\u0442\u044b\u0440\u044c<\/del> \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435, \u0433\u0434\u0435 \u0432\u0441\u0435 \u043e\u0431\u044a\u0435\u043a\u0442\u044b \u043d\u0435\u0438\u0437\u043c\u0435\u043d\u044f\u0435\u043c\u044b\u0435, \u0430 \u0437\u043d\u0430\u0447\u0438\u0442 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0438\u0445 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u0435 \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0442\u0438\u043f\u0443.<\/li>\n<\/ol>\n<p>  <\/p>\n<h1 id=\"typescript\">TypeScript<\/h1>\n<p>  <\/p>\n<p>\u0412 \u0442\u0430\u0439\u043f\u0441\u043a\u0440\u0438\u043f\u0442\u0435 \u043b\u043e\u0433\u0438\u043a\u0430 \u043f\u0440\u043e\u0441\u0442\u0430\u044f: \u0432\u0441\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0441\u0447\u0438\u0442\u0430\u044e\u0442\u0441\u044f \u043a\u043e\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u043c\u0438 (\u0447\u0442\u043e \u043d\u0435 \u0432\u0435\u0440\u043d\u043e), \u0430 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u2014 \u043a\u043e\u043d\u0442\u0440\u0430\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u044b\u043c\u0438 (\u0447\u0442\u043e \u0432\u0435\u0440\u043d\u043e). \u0420\u0430\u043d\u0435\u0435 \u0431\u044b\u043b\u043e \u043f\u043e\u043a\u0430\u0437\u0430\u043d\u043e, \u0447\u0442\u043e \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043c\u043e\u0433\u0443\u0442 \u0438\u043c\u0435\u0442\u044c \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043b\u044e\u0431\u0443\u044e \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0432 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u043e\u0441\u0442\u0438 \u043e\u0442 \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u044d\u0442\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u0441 \u044d\u0442\u0438\u043c\u0438 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430\u043c\u0438 \u0434\u0435\u043b\u0430\u0435\u0442. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442\u0441\u044f \u0442\u0430\u043a\u0438\u0435 \u0432\u043e\u0442 \u043a\u0430\u0437\u0443\u0441\u044b:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">abstract class Animal { is! : 'cat' | 'dog' | 'fox' } abstract class Pet extends Animal { is! : 'cat' | 'dog' }  class Cat extends Pet { is! : 'cat' } class Dog extends Pet { is! : 'dog' } class Fox extends Animal { is! : 'fox' }  class Cage&lt;Animal&gt; { content! : Animal }  function pushPet( cage : Cage&lt;Pet&gt; ) : void {     const Pet = Math.random() &gt; .5 ? Cat : Dog     cage.content = new Pet }  pushPet( new Cage&lt;Animal&gt;() ) \/\/ forbid to push Pet to Animal Cage :-( pushPet( new Cage&lt;Cat&gt;() ) \/\/ allow to push Dog to Cat Cage :-(<\/code><\/pre>\n<p>  <\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u0440\u0435\u0448\u0438\u0442\u044c \u044d\u0442\u0443 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u043e\u043c\u043e\u0433\u0430\u0442\u044c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043d\u0435\u0442\u0440\u0438\u0432\u0438\u0430\u043b\u044c\u043d\u044b\u043c \u043a\u043e\u0434\u043e\u043c:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function pushPet&lt;     PetCage extends Cage&lt;Animal&gt; &gt;(     cage: Cage&lt;Pet&gt; extends PetCage ? PetCage : never ): void {     const Pet = Math.random() &gt; .5 ? Cat : Dog     cage.content = new Pet }  pushPet( new Cage&lt;Animal&gt;() ) \/\/ allow :-) pushPet( new Cage&lt;Pet&gt;() ) \/\/ allow :-) pushPet( new Cage&lt;Cat&gt;() ) \/\/ forbid :-) pushPet( new Cage&lt;Dog&gt;() ) \/\/ forbid :-) pushPet( new Cage&lt;Fox&gt;() ) \/\/ forbid :-)<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"flowjs\">FlowJS<\/h1>\n<p>  <\/p>\n<p>FlowJS \u0438\u043c\u0435\u0435\u0442 \u0431\u043e\u043b\u0435\u0435 \u043f\u0440\u043e\u0434\u0432\u0438\u043d\u0443\u0442\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0442\u0438\u043f\u043e\u0432. \u0412 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u0432 <a href=\"https:\/\/flow.org\/en\/docs\/types\/generics\/#toc-variance-sigils\">\u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0438 \u0442\u0438\u043f\u0430 \u043c\u043e\u0436\u043d\u043e \u0443\u043a\u0430\u0437\u0430\u0442\u044c \u0435\u0433\u043e \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c<\/a> \u0434\u043b\u044f \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432 \u0438 \u0434\u043b\u044f \u043f\u043e\u043b\u0435\u0439 \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432. \u041d\u0430 \u043d\u0430\u0448\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0441 \u043a\u043b\u0435\u0442\u043a\u0430\u043c\u0438 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u044d\u0442\u043e \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\"> class Animal {} class Pet extends Animal {}  class Cat extends Pet {} class Dog extends Pet {} class Fox extends Animal {}  class Cage&lt; Animal &gt; { content : Animal }  function touchPet( cage : { +content : Pet } ) : void {     console.log( `touch ${typeof cage.content}` ) }  function pushPet( cage: { -content: Pet } ): void {     const Pet = Number((0: any)) &gt; .5 ? Cat : Dog     cage.content = new Pet }  function replacePet( cage : { content : Pet } ) : void {     touchPet( cage )     pushPet( cage ) }  touchPet( new Cage&lt;Animal&gt; ) \/\/ forbid :-) touchPet( new Cage&lt;Pet&gt; ) \/\/ allow :-) touchPet( new Cage&lt;Cat&gt; ) \/\/ allow :-) touchPet( new Cage&lt;Dog&gt; ) \/\/ allow :-) touchPet( new Cage&lt;Fox&gt; ) \/\/ forbid :-)  pushPet( new Cage&lt;Animal&gt; ) \/\/ allow :-) pushPet( new Cage&lt;Pet&gt; ) \/\/ allow :-) pushPet( new Cage&lt;Cat&gt; ) \/\/ forbid :-) pushPet( new Cage&lt;Dog&gt; ) \/\/ forbid :-) pushPet( new Cage&lt;Fox&gt; ) \/\/ forbid :-)  replacePet( new Cage&lt;Animal&gt; ) \/\/ forbid :-) replacePet( new Cage&lt;Pet&gt; ) \/\/ allow :-) replacePet( new Cage&lt;Cat&gt; ) \/\/ forbid :-) replacePet( new Cage&lt;Dog&gt; ) \/\/ forbid :-) replacePet( new Cage&lt;Fox&gt;) \/\/ forbid :-)<\/code><\/pre>\n<p>  <\/p>\n<p>\u0411\u0438\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u0442\u0443\u0442 \u043d\u0435\u0432\u044b\u0440\u0430\u0437\u0438\u043c\u0430. \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u043c\u043d\u0435 \u043d\u0435 \u0443\u0434\u0430\u043b\u043e\u0441\u044c \u043d\u0430\u0439\u0442\u0438 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u0431\u043e\u043b\u0435\u0435 \u0443\u0434\u043e\u0431\u043d\u043e \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c \u043d\u0435 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044f \u0442\u0438\u043f\u044b \u0432\u0441\u0435\u0445 \u043f\u043e\u043b\u0435\u0439 \u044f\u0432\u043d\u043e. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043a\u0430\u043a-\u0442\u043e \u0442\u0430\u043a:<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">function pushPet( cage: Contra&lt; Cage&lt;Pet&gt; , 'content' &gt; ): void {     const Pet = Number((0: any)) &gt; .5 ? Cat : Dog     cage.content = new Pet }<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"c-sharp\">C Sharp<\/h1>\n<p>  <\/p>\n<p>C# \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043b\u0441\u044f \u0431\u0435\u0437 \u043a\u0430\u043a\u043e\u0433\u043e-\u043b\u0438\u0431\u043e \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u044f \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u0438. \u041e\u0434\u043d\u0430\u043a\u043e, \u0432\u043f\u043e\u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0438 \u0432 \u043d\u0451\u043c \u0431\u044b\u043b\u0438 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u044b in \u0438 out \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u0447\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u0438\u043b\u043e \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0442\u0438\u043f\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0435\u043c\u044b\u0445 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432. \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0438 \u043c\u043e\u0434\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b \u043e\u043f\u044f\u0442\u044c \u0436\u0435 \u043d\u0435 \u043e\u0447\u0435\u043d\u044c \u0443\u0434\u043e\u0431\u043d\u043e.<\/p>\n<p>  <\/p>\n<pre><code class=\"plaintext\">using System;  abstract class Animal {} abstract class Pet : Animal {} class Cat : Pet {} class Dog : Pet {} class Fox : Animal {}  interface ICageIn&lt;in T&gt; { T content { set; } } interface ICageOut&lt;out T&gt; { T content { get; } } interface ICageInOut&lt;T&gt; { T content { get; set; } }  class Cage&lt;T&gt; : ICageIn&lt;T&gt;, ICageOut&lt;T&gt;, ICageInOut&lt;T&gt; { public T content { get; set; } }  public class Program {      static void touchPet( ICageOut&lt;Pet&gt; cage ) {         Console.WriteLine( cage.content );     }      static void pushPet( ICageIn&lt;Pet&gt; cage ) {         cage.content = new Dog();     }      static void replacePet( ICageInOut&lt;Pet&gt; cage ) {         touchPet( cage as ICageOut&lt;Pet&gt; );         pushPet( cage as ICageIn&lt;Pet&gt; );     }      void enshurePet( Cage&lt;Pet&gt; cage ) {         if( cage.content is Pet ) return;         pushPet( cage as ICageIn&lt;Pet&gt; );     }      public static void Main() {          var animalCage = new Cage&lt;Animal&gt;();         var petCage = new Cage&lt;Pet&gt;();         var catCage = new Cage&lt;Cat&gt;();         var dogCage = new Cage&lt;Dog&gt;();         var foxCage = new Cage&lt;Fox&gt;();          touchPet( animalCage ); \/\/ forbid :-)         touchPet( petCage ); \/\/ allow :-)         touchPet( catCage ); \/\/ allow :-)         touchPet( dogCage ); \/\/ allow :-)         touchPet( foxCage ); \/\/ forbid :-)          pushPet( animalCage ); \/\/ allow :-)         pushPet( petCage ); \/\/ allow :-)         pushPet( catCage ); \/\/ forbid :-)         pushPet( dogCage ); \/\/ forbid :-)         pushPet( foxCage ); \/\/ forbid :-)          replacePet( animalCage ); \/\/ forbid :-)         replacePet( petCage ); \/\/ allow :-)         replacePet( catCage ); \/\/ forbid :-)         replacePet( dogCage ); \/\/ forbid :-)         replacePet( foxCage ); \/\/ forbid :-)      }  }<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"java\">Java<\/h1>\n<p>  <\/p>\n<p>\u041a Java \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u0438 \u0431\u044b\u043b\u0430 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0430 \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043f\u043e\u0437\u0434\u043d\u043e \u0438 \u043b\u0438\u0448\u044c \u0434\u043b\u044f \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0445 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441\u0430\u043c\u0438-\u0442\u043e \u043f\u043e\u044f\u0432\u0438\u043b\u0438\u0441\u044c \u0441\u0440\u0430\u0432\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u043d\u0435\u0434\u0430\u0432\u043d\u043e. \u0415\u0441\u043b\u0438 \u0436\u0435 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440 \u043d\u0435 \u043e\u0431\u043e\u0431\u0449\u0451\u043d\u043d\u044b\u0439, \u0442\u043e \u0431\u0435\u0434\u0430. <\/p>\n<p>  <\/p>\n<pre><code class=\"java\">abstract class Animal {} abstract class Pet extends Animal {} class Cat extends Pet {} class Dog extends Pet {} class Fox extends Animal {}  class Cage&lt;T&gt; { public T content; }  public class Main {     static void touchPet( Cage&lt;? extends Pet&gt; cage ) {         System.out.println( cage.content );     }      static void pushPet( Cage&lt;? super Pet&gt; cage ) {         cage.content = new Dog();     }      static void replacePet(Cage&lt;Pet&gt; cage ) {         touchPet( cage );         pushPet( cage );     }      void enshurePet( Cage&lt;Pet&gt; cage ) {         if( cage.content instanceof Pet ) return;         pushPet( cage );     }      public static void main(String[] args) {          Cage&lt;Animal&gt; animalCage = new Cage&lt;Animal&gt;();         Cage&lt;Pet&gt; petCage = new Cage&lt;Pet&gt;();         Cage&lt;Cat&gt; catCage = new Cage&lt;Cat&gt;();         Cage&lt;Dog&gt; dogCage = new Cage&lt;Dog&gt;();         Cage&lt;Fox&gt; foxCage = new Cage&lt;Fox&gt;();          touchPet( animalCage ); \/\/ forbid :-)         touchPet( petCage ); \/\/ allow :-)         touchPet( catCage ); \/\/ allow :-)         touchPet( dogCage ); \/\/ allow :-)         touchPet( foxCage ); \/\/ forbid :-)          pushPet( animalCage ); \/\/ allow :-)         pushPet( petCage ); \/\/ allow :-)         pushPet( catCage ); \/\/ forbid :-)         pushPet( dogCage ); \/\/ forbid :-)         pushPet( foxCage ); \/\/ forbid :-)          replacePet( animalCage ); \/\/ forbid :-)         replacePet( petCage ); \/\/ allow :-)         replacePet( catCage ); \/\/ forbid :-)         replacePet( dogCage ); \/\/ forbid :-)         replacePet( foxCage ); \/\/ forbid :-)     } }<\/code><\/pre>\n<p>  <\/p>\n<h1 id=\"epilog\">\u042d\u043f\u0438\u043b\u043e\u0433<\/h1>\n<p>  <\/p>\n<p>\u041d\u0430 \u044d\u0442\u043e\u043c \u043f\u043e\u043a\u0430 \u0432\u0441\u0451. \u041d\u0430\u0434\u0435\u044e\u0441\u044c \u0438\u0437\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0439 \u043c\u0430\u0442\u0435\u0440\u0438\u0430\u043b \u043f\u043e\u043c\u043e\u0433 \u0432\u0430\u043c \u043b\u0443\u0447\u0448\u0435 \u043f\u043e\u043d\u044f\u0442\u044c \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0442\u0438\u043f\u044b, \u0438 \u043a\u0430\u043a \u043e\u043d\u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445. \u0413\u0434\u0435-\u0442\u043e \u043b\u0443\u0447\u0448\u0435, \u0433\u0434\u0435-\u0442\u043e \u0445\u0443\u0436\u0435, \u0433\u0434\u0435-\u0442\u043e \u043d\u0438\u043a\u0430\u043a, \u043d\u043e \u0432 \u0446\u0435\u043b\u043e\u043c \u2014 \u0442\u0430\u043a \u0441\u0435\u0431\u0435. \u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0438\u043c\u0435\u043d\u043d\u043e \u0432\u044b \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442\u0435 \u044f\u0437\u044b\u043a, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0432\u0441\u0451 \u044d\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u0438 \u0443\u0434\u043e\u0431\u043d\u043e, \u0438 \u0442\u0438\u043f\u043e\u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u043e. \u0410 \u043f\u043e\u043a\u0430 \u043f\u0440\u0438\u0441\u043e\u0435\u0434\u0438\u043d\u044f\u0439\u0442\u0435\u0441\u044c \u043a \u043d\u0430\u0448\u0435\u043c\u0443 <a href=\"https:\/\/teleg.run\/lang_idioms\">\u0442\u0435\u043b\u0435\u0433\u0440\u0430\u043c \u0447\u0430\u0442\u0443, \u0433\u0434\u0435 \u043c\u044b \u0438\u043d\u043e\u0433\u0434\u0430 \u043e\u0431\u0441\u0443\u0436\u0434\u0430\u0435\u043c \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u0438 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f<\/a>.<\/p>\n<\/div>\n<p>               <script class=\"js-mediator-script\">!function(e){function t(t,n){if(!(n in e)){for(var r,a=e.document,i=a.scripts,o=i.length;o--;)if(-1!==i[o].src.indexOf(t)){r=i[o];break}if(!r){r=a.createElement(\"script\"),r.type=\"text\/javascript\",r.async=!0,r.defer=!0,r.src=t,r.charset=\"UTF-8\";var d=function(){var e=a.getElementsByTagName(\"script\")[0];e.parentNode.insertBefore(r,e)};\"[object Opera]\"==e.opera?a.addEventListener?a.addEventListener(\"DOMContentLoaded\",d,!1):e.attachEvent(\"onload\",d):d() } } }t(\"\/\/mediator.mail.ru\/script\/2820404\/\",\"_mediator\")}(window);<\/script>      <br \/> \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\/477448\/\"> https:\/\/habr.com\/ru\/post\/477448\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text-html js-mediator-article\" id=\"post-content-body\" data-io-article-url=\"https:\/\/habr.com\/ru\/post\/477448\/\">\n<p>\u0417\u0434\u0440\u0430\u0432\u0441\u0442\u0432\u0443\u0439\u0442\u0435, \u043c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u0414\u043c\u0438\u0442\u0440\u0438\u0439 \u041a\u0430\u0440\u043b\u043e\u0432\u0441\u043a\u0438\u0439 \u0438 \u044f\u2026 \u0445\u043e\u0447\u0443 \u043f\u043e\u0432\u0435\u0434\u0430\u0442\u044c \u0432\u0430\u043c \u043e \u0444\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442\u0430\u043b\u044c\u043d\u043e\u0439 \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u043e\u0441\u0442\u0438 \u0441\u0438\u0441\u0442\u0435\u043c \u0442\u0438\u043f\u043e\u0432, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0437\u0430\u0447\u0430\u0441\u0442\u0443\u044e \u0438\u043b\u0438 \u0432\u043e\u043e\u0431\u0449\u0435 \u043d\u0435 \u043f\u043e\u043d\u0438\u043c\u0430\u044e\u0442 \u0438\u043b\u0438 \u043f\u043e\u043d\u0438\u043c\u0430\u044e\u0442 \u043d\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u044c\u043d\u043e \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u0438\u0437\u043c\u0443 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u0432\u0438\u0434\u0443 \u044d\u0432\u043e\u043b\u044e\u0446\u0438\u043e\u043d\u043d\u043e\u0433\u043e \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u044f \u0438\u043c\u0435\u0435\u0442 \u043c\u043d\u043e\u0433\u043e \u0430\u0442\u0430\u0432\u0438\u0437\u043c\u043e\u0432. \u041f\u043e\u044d\u0442\u043e\u043c\u0443, \u0434\u0430\u0436\u0435 \u0435\u0441\u043b\u0438 \u0432\u044b \u0434\u0443\u043c\u0430\u0435\u0442\u0435, \u0447\u0442\u043e \u0437\u043d\u0430\u0435\u0442\u0435, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 &#171;\u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043d\u043e\u0441\u0442\u044c&#187;, \u043f\u043e\u0441\u0442\u0430\u0440\u0430\u0439\u0442\u0435\u0441\u044c \u0432\u0437\u0433\u043b\u044f\u043d\u0443\u0442\u044c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430\u0442\u0438\u043a\u0443 \u0441\u0432\u0435\u0436\u0438\u043c \u0432\u0437\u0433\u043b\u044f\u0434\u043e\u043c. \u041d\u0430\u0447\u043d\u0451\u043c \u043c\u044b \u0441 \u0441\u0430\u043c\u044b\u0445 \u043e\u0441\u043d\u043e\u0432, \u0442\u0430\u043a \u0447\u0442\u043e \u0434\u0430\u0436\u0435 \u043d\u043e\u0432\u0438\u0447\u043e\u043a \u0432\u0441\u0451 \u043f\u043e\u0439\u043c\u0451\u0442. \u0410 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u043c \u0431\u0435\u0437 \u0432\u043e\u0434\u044b, \u0447\u0442\u043e\u0431\u044b \u0434\u0430\u0436\u0435 \u043f\u0440\u043e\u0444\u0438 \u0431\u044b\u043b\u043e \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u0434\u043b\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441\u0432\u043e\u0438\u0445 \u0437\u043d\u0430\u043d\u0438\u0439. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u043a\u043e\u0434\u0430 \u0431\u0443\u0434\u0443\u0442 \u043d\u0430 \u043f\u0441\u0435\u0432\u0434\u043e\u044f\u0437\u044b\u043a\u0435 \u043f\u043e\u0445\u043e\u0436\u0435\u043c \u043d\u0430 TypeScript. \u041f\u043e\u0442\u043e\u043c \u0431\u0443\u0434\u0443\u0442 \u0440\u0430\u0437\u043e\u0431\u0440\u0430\u043d\u044b \u043f\u043e\u0434\u0445\u043e\u0434\u044b \u0443\u0436\u0435 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432. \u0410 \u0435\u0441\u043b\u0438 \u0436\u0435 \u0432\u044b \u0440\u0430\u0437\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0435 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a, \u0442\u043e \u0434\u0430\u043d\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u043e\u043c\u043e\u0436\u0435\u0442 \u0432\u0430\u043c \u043d\u0435 \u043d\u0430\u0441\u0442\u0443\u043f\u0438\u0442\u044c \u043d\u0430 \u0447\u0443\u0436\u0438\u0435 \u0433\u0440\u0430\u0431\u043b\u0438.<\/p>\n<p>  <\/p>\n<p><img decoding=\"async\" src=\"https:\/\/habrastorage.org\/webt\/uz\/yw\/ly\/uzywlybdb47qium0-khvukslzwc.png\" alt=\"\u0430 \u0432\u0434\u0440\u0443\u0433 \u0442\u0430\u043c \u043b\u0438\u0441?\"><\/p>\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-295176","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/295176","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=295176"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/295176\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=295176"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=295176"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=295176"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}