{"id":350467,"date":"2023-07-19T09:00:13","date_gmt":"2023-07-19T09:00:13","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=350467"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=350467","title":{"rendered":"<span>\u0420\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c Type inference \u043d\u0430 Rust \u2014 \u0427\u0430\u0441\u0442\u044c #1: Unification<\/span>"},"content":{"rendered":"<div><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b \u043f\u0438\u0448\u0435\u0442\u0435 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u043e \u0432\u044b \u043d\u0430\u0432\u0435\u0440\u043d\u043e\u0435 \u0441\u043b\u044b\u0448\u0430\u043b\u0438 \u043e <strong>type inference<\/strong>. \u0412 \u044d\u0442\u043e\u043c \u0446\u0438\u043a\u043b\u0435 \u0441\u0442\u0430\u0442\u0435\u0439, \u0431\u0435\u0437 \u043b\u0438\u0448\u043d\u0435\u0439 \u0442\u0435\u043e\u0440\u0438\u0438, \u043c\u044b \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u0441\u0432\u043e\u0439 \u043d\u0430 Rust.<\/p>\n<h2>\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 type inference?<\/h2>\n<p><strong>Type inference<\/strong> \u0432 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u0432 &#8212; \u044d\u0442\u043e \u0441\u0442\u0430\u0434\u0438\u044f \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0442\u0438\u043f\u044b \u0434\u043b\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439. Type inference \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c \u043f\u0440\u0438\u0441\u0443\u0449 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u044f\u0437\u044b\u043a\u0430\u043c, \u043d\u043e \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u0433\u0440\u0443\u043f\u043f\u044b \u044f\u0437\u044b\u043a\u043e\u0432 \u0442\u043e\u0436\u0435 \u043c\u043e\u0433\u0443\u0442 \u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c.<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/dd6\/1fc\/c28\/dd61fcc28e5c144b316e8a2f7d1e72e5.png\" width=\"1800\" height=\"900\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/dd6\/1fc\/c28\/dd61fcc28e5c144b316e8a2f7d1e72e5.png\"\/><\/figure>\n<h2>\u0420\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c<\/h2>\n<p><strong><em>\u0414\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440<\/em><\/strong><em>: \u0417\u0434\u0435\u0441\u044c \u0431\u0443\u0434\u0435\u0442 \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0442\u0435\u043e\u0440\u0438\u0438 \u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c <\/em><strong><em>\u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u044b<\/em><\/strong><em>.<\/em><\/p>\n<p>\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c \u043a\u0430\u043a \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437 \u0442\u0438\u043f\u043e\u0432, \u043d\u0430\u0448\u0435\u043c\u0443 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043d\u0443\u0436\u043d\u043e \u0441\u043f\u0430\u0440\u0441\u0438\u0442\u044c \u043d\u0430\u0448 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a. \u0418 \u0438\u043c\u0435\u043d\u043d\u043e \u0432 <strong>\u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435<\/strong> \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u043e \u043c\u0438\u043d\u0438\u043c\u043e\u043c\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u043d\u044f\u0442\u0438\u044f AST \u0438 HIR \u0438 \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c type inference \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445 <strong>\u043a\u043e\u0434\u0430<\/strong>, \u0430 \u043d\u0435 <strong>\u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432<\/strong>.<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/31b\/570\/569\/31b570569081543a684b25449ba2ac6f.png\" width=\"1800\" height=\"900\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/31b\/570\/569\/31b570569081543a684b25449ba2ac6f.png\"\/><\/figure>\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043a\u043e\u0434 \u043d\u0430 \u0433\u0438\u043f\u043e\u0442\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<pre><code class=\"go\">func inc(a) {   return a + 1; }<\/code><\/pre>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a \u0432 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0442\u0438\u043f\u044b \u043d\u0435 \u0443\u043a\u0430\u0437\u0430\u043d\u044b, \u043d\u0430\u043c \u043f\u0440\u0438\u0434\u0435\u0442\u0441\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0442\u044c \u0438\u0445 \u0441\u0430\u043c\u0438\u043c. \u041f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u044d\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<pre><code class=\"go\">func inc(a: ?1) -> ?2 {   return a + 1; }<\/code><\/pre>\n<p><strong><em>\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0442\u0438\u043f\u0430<\/em><\/strong><em>\u00a0\u2014 \u0432\u00a0\u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0442 \u0442\u0438\u043f, \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043c\u044b \u0435\u0449\u0435 \u043d\u0435\u00a0\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b\u0438.<\/em><\/p>\n<p>\u0414\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u0438 \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u0447\u0442\u043e, \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>+<\/code> \u044d\u0442\u043e: <code>(int, int) -> int<\/code>. \u0422\u043e\u0433\u0434\u0430, \u0438\u0437 <code>a + 1<\/code> \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e \u0442\u0438\u043f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 <code>a<\/code> \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c <code>int<\/code> \u0438 \u0442\u0438\u043f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f <code>1<\/code> \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c <code>int<\/code>. \u0410 \u0442\u0430\u043a \u043a\u0430\u043a <code>a + 1<\/code> \u0440\u0430\u0432\u043d\u043e <code>int<\/code> \u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u044b\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>inc<\/code>, \u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u044d\u0442\u043e int. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e\u0431 \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f\u0445 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438 \u0438\u043b\u0438 <strong>type constraint-\u044b<\/strong>.<\/p>\n<pre><code>?1 = int int = int ?2 = int<\/code><\/pre>\n<p><strong><em>Type constraint <\/em><\/strong><em>&#8212; \u043f\u0440\u043e\u0449\u0435 \u0433\u043e\u0432\u043e\u0440\u044f, \u044d\u0442\u043e \u0441\u043f\u043e\u0441\u043e\u0431 \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f\u0445 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438.<\/em> <\/p>\n<p>\u0417\u0434\u0435\u0441\u044c \u043c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e, \u043d\u043e \u043c\u043e\u0433\u043b\u0438 \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0437\u043d\u0430\u043a\u0438 \u043d\u0435\u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f \u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (\u0447\u0442\u043e \u043c\u044b \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0435 \u0431\u0443\u0434\u0435\u043c).<\/p>\n<p><em>\u0422\u0435\u043f\u0435\u0440\u044c \u043a\u043e\u0433\u0434\u0430 \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0442\u0438\u0445 \u0441\u0430\u043c\u044b\u0445 \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0443\u0437\u043d\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432, \u044d\u0442\u043e \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f<\/em> &#8212; <strong>unification<\/strong> (<strong>\u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f<\/strong>). \u0421\u0443\u0442\u044c \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e\u0431\u044b \u0438\u0437 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u043e\u043c type constraint-\u043e\u0432 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0441\u0430\u043c\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/d23\/92c\/d6c\/d2392cd6c58f865405e2ec13af7793ad.png\" width=\"1800\" height=\"900\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d23\/92c\/d6c\/d2392cd6c58f865405e2ec13af7793ad.png\"\/><\/figure>\n<p>\u0423 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u0435\u0439 \u043c\u043e\u0433 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0443\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0435\u0442 \u0435\u0441\u043b\u0438 \u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f \u043d\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u044f? \u041e\u0442\u0432\u0435\u0442 \u043f\u0440\u043e\u0441\u0442 &#8212; \u043e\u0448\u0438\u0431\u043a\u0430 <strong>mismatched types<\/strong>. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/5d8\/92d\/343\/5d892d343af178cdfa8973d1a1e18dc0.png\" width=\"1800\" height=\"900\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5d8\/92d\/343\/5d892d343af178cdfa8973d1a1e18dc0.png\"\/><\/figure>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a <code>String<\/code> \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0440\u0430\u0432\u0435\u043d <code>int<\/code>, type constraint \u043d\u0435 \u0441\u043e\u0431\u043b\u044e\u0434\u0435\u043d \u0438 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 <strong>\u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u0439<\/strong>. \u0422\u043e\u0433\u0434\u0430 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0443 <strong>mismatched types<\/strong>:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/677\/23b\/7b0\/67723b7b0e822c7a510aecccf97c160c.png\" alt=\"\u041f\u0440\u0438\u043c\u0435\u0440 \u043e\u0448\u0438\u0431\u043a\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 - rustc\" title=\"\u041f\u0440\u0438\u043c\u0435\u0440 \u043e\u0448\u0438\u0431\u043a\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 - rustc\" width=\"1570\" height=\"799\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/677\/23b\/7b0\/67723b7b0e822c7a510aecccf97c160c.png\"\/><\/p>\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 \u043e\u0448\u0438\u0431\u043a\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 &#8212; rustc<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u043e\u0437\u044c\u043c\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0435\u0435:<\/p>\n<pre><code class=\"go\">func generate_nums(count) {   var a = [];   for (var i = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430, \u043a\u0430\u043a \u0432 \u043f\u0440\u043e\u0448\u043b\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0440\u0430\u0437\u043c\u0435\u0442\u0438\u043c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432 \u0434\u043b\u044f \u0438\u043c\u0435\u043d \u0438 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438:<\/p>\n<pre><code class=\"go\">func generate_nums(count: ?1) -> ?2 {   var a: ?3 = [];   for (var i: ?4 = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043c\u0435\u0441\u0442\u043e \u0433\u0434\u0435 \u043c\u044b \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u043c <code>a<\/code> &#8212; \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u043f\u0443\u0441\u0442\u043e\u0439 \u043c\u0430\u0441\u0441\u0438\u0432. \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e \u0442\u0438\u043f\u0430, \u0434\u043b\u044f \u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0442\u044c \u0442\u0438\u043f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u0430\u0441\u0441\u0438\u0432\u0430:<\/p>\n<pre><code>?3 = Array&lt;?5><\/code><\/pre>\n<p>\u0418\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435: <\/p>\n<pre><code class=\"go\">for (var i: ?4 = 0; i &lt; count; i++) {<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u043c, \u0447\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>++<\/code>: <code>(int) -> int<\/code> \u0438 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>&lt;<\/code>: <code>(int, int) -> bool<\/code>. \u0422\u0430\u043a, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c 3 \u043d\u043e\u0432\u044b\u0445 constraint-\u0430:<\/p>\n<pre><code>?4 = int ?4 = ?1 ?4 = int<\/code><\/pre>\n<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u043c:<\/p>\n<pre><code class=\"go\">a.insert(i);<\/code><\/pre>\n<p>\u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u043c\u0435\u0442\u043e\u0434 insert \u0443 \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d \u043a\u0430\u043a-\u0442\u043e \u0442\u0430\u043a: <code>List&lt;T>.insert(element: T)<\/code>. \u0422\u043e\u0433\u0434\u0430 \u0434\u043b\u044f \u0434\u0436\u0435\u043d\u0435\u0440\u0438\u043a\u0430 T \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430 \u0435\u0449\u0435 \u043e\u0434\u043d\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0442\u0438\u043f\u0430:<\/p>\n<pre><code>?3 = Array&lt;?6> \/\/ a ?6 = ?4 \/\/ i<\/code><\/pre>\n<p>\u0418 \u0441\u0430\u043c\u043e\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435:<\/p>\n<pre><code class=\"go\">func generate_nums(count: ?1) -> ?2 {   var a: ?3 = [];   ...   return a; }<\/code><\/pre>\n<p>\u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u044d\u0442\u043e <code>a<\/code>, \u0437\u043d\u0430\u0447\u0438\u0442:<\/p>\n<pre><code>?3 = ?2<\/code><\/pre>\n<p>\u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439:<\/p>\n<pre><code>?3 = Array&lt;?5> ?4 = int ?4 = ?1 ?4 = int ?3 = Array&lt;?6> ?6 = ?4 ?3 = ?2<\/code><\/pre>\n<p>\u0418 \u0441\u043d\u043e\u0432\u0430, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 <strong>\u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438<\/strong>, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0440\u0435\u0448\u0438\u0442\u044c \u0434\u0430\u043d\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c:<\/p>\n<pre><code>?1 = int ?2 = Array&lt;int> ?3 = Array&lt;int> ?4 = int ?5 = int ?6 = int<\/code><\/pre>\n<p>\u041f\u043e\u0434\u0441\u0442\u0430\u0432\u0438\u0432 \u044d\u0442\u0438 \u0442\u0438\u043f\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 type inference:<\/p>\n<pre><code class=\"go\">func generate_nums(count: int) -> int {   var a: List&lt;int> = [];   for (var i: int = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0443 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u044f\u0432\u0438\u043b\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u044d\u0442\u043e\u0442 \u0437\u0430\u0433\u0430\u0434\u043e\u0447\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0435\u0448\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438\u0437 type constraint-\u043e\u0432? \u0421\u0435\u0439\u0447\u0430\u0441 \u043c\u044b \u044d\u0442\u043e \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c!<\/p>\n<h2>Unification algorithm (\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438)<\/h2>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432 \u0432 \u043d\u0430\u0448\u0435\u043c \u044f\u0437\u044b\u043a\u0435:<\/p>\n<pre><code class=\"rust\">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)] enum Type {     Constructor(TypeConstructor),     Variable(TypeVariable), }  #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)] struct TypeConstructor {     name: String,     generics: Vec&lt;Arc&lt;Type>>, }  #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] struct TypeVariable(usize);<\/code><\/pre>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c:<\/p>\n<ul>\n<li>\n<p><code>int<\/code> \u044d\u0442\u043e <code>TypeConstructor { name: \"int\", generics: Vec::new() }<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>List&lt;int><\/code> \u044d\u0442\u043e <code>TypeConstructor { name: \"List\", generics: vec![ TypeConstructor { name: \"int\", generics: vec![] } ] }<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>?1<\/code> \u044d\u0442\u043e <code>TypeVariable(1)<\/code>. <\/p>\n<\/li>\n<\/ul>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438:<\/p>\n<pre><code class=\"rust\">fn unify(left: Arc&lt;Type>, right: Arc&lt;Type>,          substitutions: &amp;mut HashMap&lt;TypeVariable, Arc&lt;Type>>) {   match (left.as_ref(), right.as_ref()) {<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u0430 \u0442\u0438\u043f\u0430 \u044d\u0442\u043e type constructor-\u044b, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0442\u043e, \u0447\u0442\u043e \u043e\u043d\u0438 \u0440\u0430\u0432\u043d\u044b \u0438 <strong>\u0443\u043d\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043c<\/strong> \u0438\u0445 generic-\u0438:<\/p>\n<pre><code class=\"rust\">     (           Type::Constructor(TypeConstructor {               name: name1,               generics: generics1,           }),           Type::Constructor(TypeConstructor {               name: name2,               generics: generics2,           }),       ) => {           assert_eq!(name1, name2);           assert_eq!(generics1.len(), generics2.len());            for (left, right) in zip(generics1, generics2) {               unify(left.clone(), right.clone(), substitutions);           }       }<\/code><\/pre>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0438\u0437:<\/p>\n<pre><code>Array&lt;int> = Array&lt;?1><\/code><\/pre>\n<p>\u0421\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e:<\/p>\n<pre><code>int = ?1<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u0436\u0435 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0434\u0432\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 type constructor-\u0430, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u0443 \u043d\u0430\u0441 type mismatch:<\/p>\n<pre><code>Array&lt;?2> != Option&lt;?3><\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b \u044d\u0442\u043e \u0440\u0430\u0432\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u0432\u0441\u0435 \u0445\u043e\u0440\u043e\u0448\u043e \u0438 \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u043c:<\/p>\n<pre><code class=\"rust\">  (Type::Variable(TypeVariable(i)),     Type::Variable(TypeVariable(j))) if i == j => {}<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u0436\u0435 \u043d\u0435\u0442, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0432 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0435 \u0438, \u0447\u0442\u043e \u0432\u0430\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u043d\u0435 \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u043b\u0438 \u043c\u044b <strong>\u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0442\u0438\u043f<\/strong>.<\/p>\n<pre><code class=\"rust\">  (_, Type::Variable(v @ TypeVariable(..))) => {       if let Some(substitution) = substitutions.get(&amp;v) {           unify(left, substitution.clone(), substitutions);           return;       }        assert!(!v.occurs_in(left.clone(), substitutions));       substitutions.insert(*v, left);   }   (Type::Variable(v @ TypeVariable(..)), _) => {       if let Some(substitution) = substitutions.get(&amp;v) {           unify(right, substitution.clone(), substitutions);           return;       }        assert!(!v.occurs_in(right.clone(), substitutions));       substitutions.insert(*v, right);   }<\/code><\/pre>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440, \u0441\u043b\u0443\u0447\u0430\u044f \u043a\u043e\u0433\u0434\u0430 \u043c\u044b \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0442\u0438\u043f \u0432 Rust-\u0435:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w1560\/getpro\/habr\/upload_files\/87e\/d42\/ce6\/87ed42ce6f68fbc5a37c39063d8f2de1.png\" alt=\"\u041e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 - rustc\" title=\"\u041e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 - rustc\" width=\"1282\" height=\"271\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/87e\/d42\/ce6\/87ed42ce6f68fbc5a37c39063d8f2de1.png\"\/><\/p>\n<div><figcaption>\u041e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 &#8212; rustc<\/figcaption><\/div>\n<\/figure>\n<p>\u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 generic \u0432 push &#8212; <code>T<\/code>, \u0435\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0440\u0430\u0432\u043d\u043e \u0442\u0438\u043f\u0443 <code>a.to_vec()<\/code>, \u0442\u043e \u0435\u0441\u0442\u044c <code>Vec&lt;T><\/code>. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c <code>T = Vec&lt;T><\/code>. \u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e type constraint-\u0430 \u044d\u0442\u043e: <code>Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;....>>>>>>><\/code>. \u041a\u043e\u043d\u0435\u0447\u043d\u043e \u0435\u0441\u0442\u044c \u044f\u0437\u044b\u043a\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u044d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442, \u043d\u043e \u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u0438 \u0432\u043e \u0438\u0437\u0431\u0435\u0436\u0430\u043d\u0438\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c, \u0442\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u043c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c. <\/p>\n<p>\u0420\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c <code>occurs_in<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0438 \u0442\u0438\u043f \u0432 generic \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u0445 \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u0435\u0441\u043b\u0438 \u0442\u043e\u0442 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440, \u0438\u043b\u0438 \u0440\u0430\u0432\u0435\u043d \u0435\u043c\u0443 \u0435\u0441\u043b\u0438 \u043e\u043d \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f:<\/p>\n<pre><code class=\"rust\">impl TypeVariable {     fn occurs_in(&amp;self, ty: Arc&lt;Type>,                   substitutions: &amp;HashMap&lt;TypeVariable, Arc&lt;Type>>) -> bool {         match ty.as_ref() {             Type::Variable(v @ TypeVariable(i)) => {                 if let Some(substitution) = substitutions.get(&amp;v) {                     if substitution.as_ref() != &amp;Type::Variable(*v) {                         return self.occurs_in(substitution.clone(), substitutions);                     }                 }                  self.0 == *i             }             Type::Constructor(TypeConstructor { generics, .. }) => {                 for generic in generics {                     if self.occurs_in(generic.clone(), substitutions) {                         return true;                     }                 }                  false             }         }     } }<\/code><\/pre>\n<p>\u0422\u0430\u043a\u0436\u0435 \u0441\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442\u0441\u044f, \u043f\u043e \u043d\u0430\u0448\u0435\u043c\u0443 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u0430, \u0447\u0442\u043e\u0431\u044b \u0438\u0445 \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u0443\u0431\u0440\u0430\u0442\u044c, \u0442\u043e \u0435\u0441\u0442\u044c \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<pre><code>?1 = ?2 ?2 = ?3 ?3 = int  substitute(?1) = substitute(?2) = substitute(?3) = int<\/code><\/pre>\n<pre><code class=\"rust\">impl Type {     fn substitute(&amp;self, substitutions: &amp;HashMap&lt;TypeVariable, Arc&lt;Type>>) -> Arc&lt;Type> {         match self {             Type::Constructor(TypeConstructor { name, generics }) => {                 Arc::new(Type::Constructor(TypeConstructor {                     name: name.clone(),                     generics: generics                         .iter()                         .map(|t| t.substitute(substitutions))                         .collect(),                 }))             }             Type::Variable(TypeVariable(i)) => {                 if let Some(t) = substitutions.get(&amp;TypeVariable(*i)) {                     t.substitute(substitutions)                 } else {                     Arc::new(self.clone())                 }             }         }     } }<\/code><\/pre>\n<p>\u041c\u044b \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b\u0438, \u043c\u044b \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438! \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u0435\u0433\u043e \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435! \u041f\u043e\u043c\u043d\u0438\u0442\u0435 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440?<\/p>\n<pre><code>?3 = Array&lt;?5> ?4 = int ?4 = ?1 ?4 = int ?3 = Array&lt;?6> ?6 = ?4 ?3 = ?2<\/code><\/pre>\n<p>\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c, \u043a\u0430\u043a \u0435\u0433\u043e \u0441\u0438\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0434\u0432\u0430 \u043c\u0430\u043a\u0440\u043e\u0441\u0430:<\/p>\n<p>\u041f\u0435\u0440\u0432\u044b\u0439 \u043c\u0430\u043a\u0440\u043e\u0441, \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e \u0442\u0438\u043f\u0430:<\/p>\n<pre><code class=\"rust\">macro_rules! tvar {     ($i:literal) => {         Arc::new(Type::Variable(TypeVariable($i)))     }; }<\/code><\/pre>\n<p>\u0412\u0442\u043e\u0440\u043e\u0439 \u043c\u0430\u043a\u0440\u043e\u0441, \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0442\u0438\u043f\u0430:<\/p>\n<pre><code class=\"rust\">macro_rules! tconst {     ($name:literal,$($generic:expr)*) => {         Arc::new(Type::Constructor(TypeConstructor {             name: $name.to_owned(),             generics: vec![$($generic),*],         }))     };     ($name:literal) => { tconst!($name,) }; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u043e\u0441\u0438\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u043c \u043d\u0430\u0448 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u043d\u0430 \u043d\u0430\u0448\u0435\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438:<\/p>\n<pre><code class=\"rust\">fn main() {     let mut substitutions = HashMap::new();      unify(tvar!(3), tconst!(\"Array\", tvar!(5)), &amp;mut substitutions);     unify(tvar!(4), tconst!(\"int\"), &amp;mut substitutions);     unify(tvar!(4), tvar!(1), &amp;mut substitutions);     unify(tvar!(4), tconst!(\"int\"), &amp;mut substitutions);     unify(tvar!(3), tconst!(\"Array\", tvar!(6)), &amp;mut substitutions);     unify(tvar!(6), tvar!(4), &amp;mut substitutions);     unify(tvar!(3), tvar!(2), &amp;mut substitutions);      for i in 1..=6 {         println!(             \"{}: {:?}\",             i,             Type::Variable(TypeVariable(i)).substitute(&amp;substitutions)         );     } }<\/code><\/pre>\n<p>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u044b\u0432\u043e\u0434:<\/p>\n<pre><code>1: Constructor(TypeConstructor { name: \"int\", generics: [] }) 2: Constructor(TypeConstructor { name: \"Array\", generics: [Constructor(TypeConstructor { name: \"int\", generics: [] })] }) 3: Constructor(TypeConstructor { name: \"Array\", generics: [Constructor(TypeConstructor { name: \"int\", generics: [] })] }) 4: Constructor(TypeConstructor { name: \"int\", generics: [] }) 5: Constructor(TypeConstructor { name: \"int\", generics: [] }) 6: Constructor(TypeConstructor { name: \"int\", generics: [] })<\/code><\/pre>\n<p>\u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0435, \u043c\u044b \u043d\u0430\u0447\u043d\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c \u0441\u0432\u043e\u0439 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u0438\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0438 \u043d\u0430\u0447\u043d\u0435\u043c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0442\u044c \u0442\u0438\u043f\u044b \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0442\u0430\u043a\u0438\u0445 \u043a\u0430\u043a \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u044b \u0438\u043b\u0438 \u043c\u0430\u0441\u0441\u0438\u0432\u044b!<\/p>\n<\/div>\n<\/div>\n<\/div>\n<p> <!----> <!----><\/div>\n<p> <!----> <!----><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\/articles\/748978\/\"> https:\/\/habr.com\/ru\/articles\/748978\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0415\u0441\u043b\u0438 \u0432\u044b \u043f\u0438\u0448\u0435\u0442\u0435 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0442\u043e \u0432\u044b \u043d\u0430\u0432\u0435\u0440\u043d\u043e\u0435 \u0441\u043b\u044b\u0448\u0430\u043b\u0438 \u043e <strong>type inference<\/strong>. \u0412 \u044d\u0442\u043e\u043c \u0446\u0438\u043a\u043b\u0435 \u0441\u0442\u0430\u0442\u0435\u0439, \u0431\u0435\u0437 \u043b\u0438\u0448\u043d\u0435\u0439 \u0442\u0435\u043e\u0440\u0438\u0438, \u043c\u044b \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043a\u0430\u043a \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0438 \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u0441\u0432\u043e\u0439 \u043d\u0430 Rust.<\/p>\n<h2>\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 type inference?<\/h2>\n<p><strong>Type inference<\/strong> \u0432 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u043e\u0432 &#8212; \u044d\u0442\u043e \u0441\u0442\u0430\u0434\u0438\u044f \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0442\u0438\u043f\u044b \u0434\u043b\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439. Type inference \u0432 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u043c \u043f\u0440\u0438\u0441\u0443\u0449 \u0444\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u043c \u044f\u0437\u044b\u043a\u0430\u043c, \u043d\u043e \u0438 \u0434\u0440\u0443\u0433\u0438\u0435 \u0433\u0440\u0443\u043f\u043f\u044b \u044f\u0437\u044b\u043a\u043e\u0432 \u0442\u043e\u0436\u0435 \u043c\u043e\u0433\u0443\u0442 \u0435\u0433\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u044b\u0432\u0430\u0442\u044c.<\/p>\n<figure class=\"full-width\"><\/figure>\n<h2>\u0420\u0430\u0437\u0431\u0438\u0440\u0430\u0435\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c<\/h2>\n<p><strong><em>\u0414\u0438\u0441\u043a\u043b\u0435\u0439\u043c\u0435\u0440<\/em><\/strong><em>: \u0417\u0434\u0435\u0441\u044c \u0431\u0443\u0434\u0435\u0442 \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0442\u0435\u043e\u0440\u0438\u0438 \u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0442\u0435\u0440\u043c\u0438\u043d\u044b \u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c <\/em><strong><em>\u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u044b<\/em><\/strong><em>.<\/em><\/p>\n<p>\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c \u043a\u0430\u043a \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u044c \u0430\u043d\u0430\u043b\u0438\u0437 \u0442\u0438\u043f\u043e\u0432, \u043d\u0430\u0448\u0435\u043c\u0443 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0443 \u043d\u0443\u0436\u043d\u043e \u0441\u043f\u0430\u0440\u0441\u0438\u0442\u044c \u043d\u0430\u0448 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a. \u0418 \u0438\u043c\u0435\u043d\u043d\u043e \u0432 <strong>\u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435<\/strong> \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u043e \u043c\u0438\u043d\u0438\u043c\u043e\u043c\u0443 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u043e\u043d\u044f\u0442\u0438\u044f AST \u0438 HIR \u0438 \u0431\u0443\u0434\u0435\u043c \u0440\u0430\u0441\u0441\u043c\u0430\u0442\u0440\u0438\u0432\u0430\u0442\u044c type inference \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0430\u0445 <strong>\u043a\u043e\u0434\u0430<\/strong>, \u0430 \u043d\u0435 <strong>\u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432<\/strong>.<\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043c, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043a\u043e\u0434 \u043d\u0430 \u0433\u0438\u043f\u043e\u0442\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u0445\u043e\u0442\u0438\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0432\u044b\u0432\u043e\u0434 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<pre><code class=\"go\">func inc(a) {   return a + 1; }<\/code><\/pre>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a \u0432 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0442\u0438\u043f\u044b \u043d\u0435 \u0443\u043a\u0430\u0437\u0430\u043d\u044b, \u043d\u0430\u043c \u043f\u0440\u0438\u0434\u0435\u0442\u0441\u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0442\u044c \u0438\u0445 \u0441\u0430\u043c\u0438\u043c. \u041f\u0435\u0440\u0432\u043e\u0435, \u0447\u0442\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u044d\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<pre><code class=\"go\">func inc(a: ?1) -> ?2 {   return a + 1; }<\/code><\/pre>\n<p><strong><em>\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0442\u0438\u043f\u0430<\/em><\/strong><em>\u00a0\u2014 \u0432\u00a0\u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u044e\u0442 \u0442\u0438\u043f, \u043a\u043e\u0442\u043e\u0440\u043e\u0439 \u043c\u044b \u0435\u0449\u0435 \u043d\u0435\u00a0\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043b\u0438.<\/em><\/p>\n<p>\u0414\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u0438 \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u043e\u0441\u0442\u0438 \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u0447\u0442\u043e, \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>+<\/code> \u044d\u0442\u043e: <code>(int, int) -> int<\/code>. \u0422\u043e\u0433\u0434\u0430, \u0438\u0437 <code>a + 1<\/code> \u0441\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e \u0442\u0438\u043f \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430 <code>a<\/code> \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c <code>int<\/code> \u0438 \u0442\u0438\u043f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f <code>1<\/code> \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0431\u044b\u0442\u044c <code>int<\/code>. \u0410 \u0442\u0430\u043a \u043a\u0430\u043a <code>a + 1<\/code> \u0440\u0430\u0432\u043d\u043e <code>int<\/code> \u0438 \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u044b\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u0438 <code>inc<\/code>, \u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u044d\u0442\u043e int. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e\u0431 \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f\u0445 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438 \u0438\u043b\u0438 <strong>type constraint-\u044b<\/strong>.<\/p>\n<pre><code>?1 = int int = int ?2 = int<\/code><\/pre>\n<p><strong><em>Type constraint <\/em><\/strong><em>&#8212; \u043f\u0440\u043e\u0449\u0435 \u0433\u043e\u0432\u043e\u0440\u044f, \u044d\u0442\u043e \u0441\u043f\u043e\u0441\u043e\u0431 \u0437\u0430\u043f\u0438\u0441\u044b\u0432\u0430\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043e \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f\u0445 \u043c\u0435\u0436\u0434\u0443 \u0442\u0438\u043f\u0430\u043c\u0438.<\/em> <\/p>\n<p>\u0417\u0434\u0435\u0441\u044c \u043c\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e, \u043d\u043e \u043c\u043e\u0433\u043b\u0438 \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0437\u043d\u0430\u043a\u0438 \u043d\u0435\u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u0430, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0434\u043b\u044f \u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (\u0447\u0442\u043e \u043c\u044b \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0435 \u0431\u0443\u0434\u0435\u043c).<\/p>\n<p><em>\u0422\u0435\u043f\u0435\u0440\u044c \u043a\u043e\u0433\u0434\u0430 \u043c\u044b \u0438\u043c\u0435\u0435\u043c \u0441\u043f\u0438\u0441\u043e\u043a \u044d\u0442\u0438\u0445 \u0441\u0430\u043c\u044b\u0445 \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0443\u0437\u043d\u0430\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432, \u044d\u0442\u043e \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f<\/em> &#8212; <strong>unification<\/strong> (<strong>\u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f<\/strong>). \u0421\u0443\u0442\u044c \u0432 \u0442\u043e\u043c, \u0447\u0442\u043e\u0431\u044b \u0438\u0437 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u044f\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u043e\u043c type constraint-\u043e\u0432 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0441\u0430\u043c\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432:<\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0423 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u0435\u0439 \u043c\u043e\u0433 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u0443\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0437\u043e\u0439\u0434\u0435\u0442 \u0435\u0441\u043b\u0438 \u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f \u043d\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u044f? \u041e\u0442\u0432\u0435\u0442 \u043f\u0440\u043e\u0441\u0442 &#8212; \u043e\u0448\u0438\u0431\u043a\u0430 <strong>mismatched types<\/strong>. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<figure class=\"full-width\"><\/figure>\n<p>\u0422\u0430\u043a \u043a\u0430\u043a <code>String<\/code> \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0440\u0430\u0432\u0435\u043d <code>int<\/code>, type constraint \u043d\u0435 \u0441\u043e\u0431\u043b\u044e\u0434\u0435\u043d \u0438 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 <strong>\u043d\u0435 \u0438\u043c\u0435\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u0439<\/strong>. \u0422\u043e\u0433\u0434\u0430 \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0443\u0432\u0438\u0434\u0435\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0443 <strong>mismatched types<\/strong>:<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041f\u0440\u0438\u043c\u0435\u0440 \u043e\u0448\u0438\u0431\u043a\u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 &#8212; rustc<\/figcaption><\/div>\n<\/figure>\n<p>\u0412\u043e\u0437\u044c\u043c\u0435\u043c \u043f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0435\u0435:<\/p>\n<pre><code class=\"go\">func generate_nums(count) {   var a = [];   for (var i = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430, \u043a\u0430\u043a \u0432 \u043f\u0440\u043e\u0448\u043b\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u0440\u0430\u0437\u043c\u0435\u0442\u0438\u043c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432 \u0434\u043b\u044f \u0438\u043c\u0435\u043d \u0438 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438:<\/p>\n<pre><code class=\"go\">func generate_nums(count: ?1) -> ?2 {   var a: ?3 = [];   for (var i: ?4 = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043c\u0435\u0441\u0442\u043e \u0433\u0434\u0435 \u043c\u044b \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u0435\u043c <code>a<\/code> &#8212; \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u043f\u0443\u0441\u0442\u043e\u0439 \u043c\u0430\u0441\u0441\u0438\u0432. \u041c\u044b \u043c\u043e\u0436\u0435\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e \u0442\u0438\u043f\u0430, \u0434\u043b\u044f \u0442\u043e\u0433\u043e \u0447\u0442\u043e\u0431\u044b \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0442\u044c \u0442\u0438\u043f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u043c\u0430\u0441\u0441\u0438\u0432\u0430:<\/p>\n<pre><code>?3 = Array&lt;?5><\/code><\/pre>\n<p>\u0418\u0434\u0435\u043c \u0434\u0430\u043b\u044c\u0448\u0435: <\/p>\n<pre><code class=\"go\">for (var i: ?4 = 0; i &lt; count; i++) {<\/code><\/pre>\n<p>\u041f\u0440\u0435\u0434\u043f\u043e\u043b\u043e\u0436\u0438\u043c, \u0447\u0442\u043e \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>++<\/code>: <code>(int) -> int<\/code> \u0438 \u0441\u0438\u0433\u043d\u0430\u0442\u0443\u0440\u0430 \u0443 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 <code>&lt;<\/code>: <code>(int, int) -> bool<\/code>. \u0422\u0430\u043a, \u0447\u0442\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c 3 \u043d\u043e\u0432\u044b\u0445 constraint-\u0430:<\/p>\n<pre><code>?4 = int ?4 = ?1 ?4 = int<\/code><\/pre>\n<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0438\u043c:<\/p>\n<pre><code class=\"go\">a.insert(i);<\/code><\/pre>\n<p>\u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c \u043c\u0435\u0442\u043e\u0434 insert \u0443 \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d \u043a\u0430\u043a-\u0442\u043e \u0442\u0430\u043a: <code>List&lt;T>.insert(element: T)<\/code>. \u0422\u043e\u0433\u0434\u0430 \u0434\u043b\u044f \u0434\u0436\u0435\u043d\u0435\u0440\u0438\u043a\u0430 T \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u0430 \u0435\u0449\u0435 \u043e\u0434\u043d\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f \u0442\u0438\u043f\u0430:<\/p>\n<pre><code>?3 = Array&lt;?6> \/\/ a ?6 = ?4 \/\/ i<\/code><\/pre>\n<p>\u0418 \u0441\u0430\u043c\u043e\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0435:<\/p>\n<pre><code class=\"go\">func generate_nums(count: ?1) -> ?2 {   var a: ?3 = [];   ...   return a; }<\/code><\/pre>\n<p>\u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u044d\u0442\u043e <code>a<\/code>, \u0437\u043d\u0430\u0447\u0438\u0442:<\/p>\n<pre><code>?3 = ?2<\/code><\/pre>\n<p>\u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439:<\/p>\n<pre><code>?3 = Array&lt;?5> ?4 = int ?4 = ?1 ?4 = int ?3 = Array&lt;?6> ?6 = ?4 ?3 = ?2<\/code><\/pre>\n<p>\u0418 \u0441\u043d\u043e\u0432\u0430, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 <strong>\u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438<\/strong>, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u0440\u0435\u0448\u0438\u0442\u044c \u0434\u0430\u043d\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c:<\/p>\n<pre><code>?1 = int ?2 = Array&lt;int> ?3 = Array&lt;int> ?4 = int ?5 = int ?6 = int<\/code><\/pre>\n<p>\u041f\u043e\u0434\u0441\u0442\u0430\u0432\u0438\u0432 \u044d\u0442\u0438 \u0442\u0438\u043f\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 type inference:<\/p>\n<pre><code class=\"go\">func generate_nums(count: int) -> int {   var a: List&lt;int> = [];   for (var i: int = 0; i &lt; count; i++) {     a.insert(i);   }   return a; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0443 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044f \u043f\u043e\u044f\u0432\u0438\u043b\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441, \u043a\u0430\u043a \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u044d\u0442\u043e\u0442 \u0437\u0430\u0433\u0430\u0434\u043e\u0447\u043d\u044b\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0435\u0448\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438\u0437 type constraint-\u043e\u0432? \u0421\u0435\u0439\u0447\u0430\u0441 \u043c\u044b \u044d\u0442\u043e \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c!<\/p>\n<h2>Unification algorithm (\u0410\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438)<\/h2>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u043e\u0432 \u0432 \u043d\u0430\u0448\u0435\u043c \u044f\u0437\u044b\u043a\u0435:<\/p>\n<pre><code class=\"rust\">#[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)] enum Type {     Constructor(TypeConstructor),     Variable(TypeVariable), }  #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)] struct TypeConstructor {     name: String,     generics: Vec&lt;Arc&lt;Type>>, }  #[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)] struct TypeVariable(usize);<\/code><\/pre>\n<p>\u0422\u043e \u0435\u0441\u0442\u044c:<\/p>\n<ul>\n<li>\n<p><code>int<\/code> \u044d\u0442\u043e <code>TypeConstructor { name: \"int\", generics: Vec::new() }<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>List&lt;int><\/code> \u044d\u0442\u043e <code>TypeConstructor { name: \"List\", generics: vec![ TypeConstructor { name: \"int\", generics: vec![] } ] }<\/code>.<\/p>\n<\/li>\n<li>\n<p><code>?1<\/code> \u044d\u0442\u043e <code>TypeVariable(1)<\/code>. <\/p>\n<\/li>\n<\/ul>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u043a \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438:<\/p>\n<pre><code class=\"rust\">fn unify(left: Arc&lt;Type>, right: Arc&lt;Type>,          substitutions: &amp;mut HashMap&lt;TypeVariable, Arc&lt;Type>>) {   match (left.as_ref(), right.as_ref()) {<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u0430 \u0442\u0438\u043f\u0430 \u044d\u0442\u043e type constructor-\u044b, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0442\u043e, \u0447\u0442\u043e \u043e\u043d\u0438 \u0440\u0430\u0432\u043d\u044b \u0438 <strong>\u0443\u043d\u0438\u0444\u0438\u0446\u0438\u0440\u0443\u0435\u043c<\/strong> \u0438\u0445 generic-\u0438:<\/p>\n<pre><code class=\"rust\">     (           Type::Constructor(TypeConstructor {               name: name1,               generics: generics1,           }),           Type::Constructor(TypeConstructor {               name: name2,               generics: generics2,           }),       ) => {           assert_eq!(name1, name2);           assert_eq!(generics1.len(), generics2.len());            for (left, right) in zip(generics1, generics2) {               unify(left.clone(), right.clone(), substitutions);           }       }<\/code><\/pre>\n<p>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440 \u0438\u0437:<\/p>\n<pre><code>Array&lt;int> = Array&lt;?1><\/code><\/pre>\n<p>\u0421\u043b\u0435\u0434\u0443\u0435\u0442, \u0447\u0442\u043e:<\/p>\n<pre><code>int = ?1<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u0436\u0435 \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0434\u0432\u0430 \u0440\u0430\u0437\u043d\u044b\u0445 type constructor-\u0430, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u0443 \u043d\u0430\u0441 type mismatch:<\/p>\n<pre><code>Array&lt;?2> != Option&lt;?3><\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u043e\u0431\u0435 \u0441\u0442\u043e\u0440\u043e\u043d\u044b \u044d\u0442\u043e \u0440\u0430\u0432\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u0442\u0438\u043f\u043e\u0432, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u0432\u0441\u0435 \u0445\u043e\u0440\u043e\u0448\u043e \u0438 \u043c\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0434\u0435\u043b\u0430\u0435\u043c:<\/p>\n<pre><code class=\"rust\">  (Type::Variable(TypeVariable(i)),     Type::Variable(TypeVariable(j))) if i == j => {}<\/code><\/pre>\n<p>\u0415\u0441\u043b\u0438 \u0436\u0435 \u043d\u0435\u0442, \u0442\u043e \u0442\u043e\u0433\u0434\u0430 \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0432 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0435 \u0438, \u0447\u0442\u043e \u0432\u0430\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u043d\u0435 \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u043b\u0438 \u043c\u044b <strong>\u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0442\u0438\u043f<\/strong>.<\/p>\n<pre><code class=\"rust\">  (_, Type::Variable(v @ TypeVariable(..))) => {       if let Some(substitution) = substitutions.get(&amp;v) {           unify(left, substitution.clone(), substitutions);           return;       }        assert!(!v.occurs_in(left.clone(), substitutions));       substitutions.insert(*v, left);   }   (Type::Variable(v @ TypeVariable(..)), _) => {       if let Some(substitution) = substitutions.get(&amp;v) {           unify(right, substitution.clone(), substitutions);           return;       }        assert!(!v.occurs_in(right.clone(), substitutions));       substitutions.insert(*v, right);   }<\/code><\/pre>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440, \u0441\u043b\u0443\u0447\u0430\u044f \u043a\u043e\u0433\u0434\u0430 \u043c\u044b \u043f\u044b\u0442\u0430\u0435\u043c\u0441\u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0442\u0438\u043f \u0432 Rust-\u0435:<\/p>\n<figure class=\"full-width\">\n<div><figcaption>\u041e\u0448\u0438\u0431\u043a\u0430 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Rust-\u0430 &#8212; rustc<\/figcaption><\/div>\n<\/figure>\n<p>\u0412 \u0434\u0430\u043d\u043d\u043e\u043c \u043f\u0440\u0438\u043c\u0435\u0440\u0435 generic \u0432 push &#8212; <code>T<\/code>, \u0435\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0440\u0430\u0432\u043d\u043e \u0442\u0438\u043f\u0443 <code>a.to_vec()<\/code>, \u0442\u043e \u0435\u0441\u0442\u044c <code>Vec&lt;T><\/code>. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c <code>T = Vec&lt;T><\/code>. \u0415\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0434\u043b\u044f \u0434\u0430\u043d\u043d\u043e\u0433\u043e type constraint-\u0430 \u044d\u0442\u043e: <code>Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;Vec&lt;....>>>>>>><\/code>. \u041a\u043e\u043d\u0435\u0447\u043d\u043e \u0435\u0441\u0442\u044c \u044f\u0437\u044b\u043a\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u044d\u0442\u043e \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442, \u043d\u043e \u0432 \u0434\u0430\u043d\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0434\u043b\u044f \u043f\u0440\u043e\u0441\u0442\u043e\u0442\u044b \u0438 \u0432\u043e \u0438\u0437\u0431\u0435\u0436\u0430\u043d\u0438\u0438 \u043f\u0440\u043e\u0431\u043b\u0435\u043c, \u0442\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u043c\u044b \u043d\u0435 \u0431\u0443\u0434\u0435\u043c \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c. <\/p>\n<p>\u0420\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c <code>occurs_in<\/code>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442 \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0438 \u0442\u0438\u043f \u0432 generic \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u0430\u0445 \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u0435\u0441\u043b\u0438 \u0442\u043e\u0442 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440, \u0438\u043b\u0438 \u0440\u0430\u0432\u0435\u043d \u0435\u043c\u0443 \u0435\u0441\u043b\u0438 \u043e\u043d \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f:<\/p>\n<pre><code class=\"rust\">impl TypeVariable {     fn occurs_in(&amp;self, ty: Arc&lt;Type>,                   substitutions: &amp;HashMap&lt;TypeVariable, Arc&lt;Type>>) -> bool {         match ty.as_ref() {             Type::Variable(v @ TypeVariable(i)) => {                 if let Some(substitution) = substitutions.get(&amp;v) {                     if substitution.as_ref() != &amp;Type::Variable(*v) {                         return self.occurs_in(substitution.clone(), substitutions);                     }                 }                  self.0 == *i             }             Type::Constructor(TypeConstructor { generics, .. }) => {                 for generic in generics {                     if self.occurs_in(generic.clone(), substitutions) {                         return true;                     }                 }                  false             }         }     } }<\/code><\/pre>\n<p>\u0422\u0430\u043a\u0436\u0435 \u0441\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044e, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442\u0441\u044f, \u043f\u043e \u043d\u0430\u0448\u0435\u043c\u0443 \u0445\u0440\u0430\u043d\u0438\u043b\u0438\u0449\u0443 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445 \u0442\u0438\u043f\u0430, \u0447\u0442\u043e\u0431\u044b \u0438\u0445 \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u0443\u0431\u0440\u0430\u0442\u044c, \u0442\u043e \u0435\u0441\u0442\u044c \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440:<\/p>\n<pre><code>?1 = ?2 ?2 = ?3 ?3 = int  substitute(?1) = substitute(?2) = substitute(?3) = int<\/code><\/pre>\n<pre><code class=\"rust\">impl Type {     fn substitute(&amp;self, substitutions: &amp;HashMap&lt;TypeVariable, Arc&lt;Type>>) -> Arc&lt;Type> {         match self {             Type::Constructor(TypeConstructor { name, generics }) => {                 Arc::new(Type::Constructor(TypeConstructor {                     name: name.clone(),                     generics: generics                         .iter()                         .map(|t| t.substitute(substitutions))                         .collect(),                 }))             }             Type::Variable(TypeVariable(i)) => {                 if let Some(t) = substitutions.get(&amp;TypeVariable(*i)) {                     t.substitute(substitutions)                 } else {                     Arc::new(self.clone())                 }             }         }     } }<\/code><\/pre>\n<p>\u041c\u044b \u044d\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b\u0438, \u043c\u044b \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438! \u041f\u0440\u043e\u0432\u0435\u0440\u0438\u043c \u0435\u0433\u043e \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435! \u041f\u043e\u043c\u043d\u0438\u0442\u0435 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440?<\/p>\n<pre><code>?3 = Array&lt;?5> ?4 = int ?4 = ?1 ?4 = int ?3 = Array&lt;?6> ?6 = ?4 ?3 = ?2<\/code><\/pre>\n<p>\u041f\u0435\u0440\u0435\u0434 \u0442\u0435\u043c, \u043a\u0430\u043a \u0435\u0433\u043e \u0441\u0438\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0434\u0432\u0430 \u043c\u0430\u043a\u0440\u043e\u0441\u0430:<\/p>\n<p>\u041f\u0435\u0440\u0432\u044b\u0439 \u043c\u0430\u043a\u0440\u043e\u0441, \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e \u0442\u0438\u043f\u0430:<\/p>\n<pre><code class=\"rust\">macro_rules! tvar {     ($i:literal) => {         Arc::new(Type::Variable(TypeVariable($i)))     }; }<\/code><\/pre>\n<p>\u0412\u0442\u043e\u0440\u043e\u0439 \u043c\u0430\u043a\u0440\u043e\u0441, \u0431\u0443\u0434\u0435\u0442 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440 \u0442\u0438\u043f\u0430:<\/p>\n<pre><code class=\"rust\">macro_rules! tconst {     ($name:literal,$($generic:expr)*) => {         Arc::new(Type::Constructor(TypeConstructor {             name: $name.to_owned(),             generics: vec![$($generic),*],         }))     };     ($name:literal) => { tconst!($name,) }; }<\/code><\/pre>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u043e\u0441\u0438\u043c\u0443\u043b\u0438\u0440\u0443\u0435\u043c \u043d\u0430\u0448 \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0438\u0439 \u043f\u0440\u0438\u043c\u0435\u0440 \u043d\u0430 \u043d\u0430\u0448\u0435\u0439 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0430 \u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438:<\/p>\n<pre><code class=\"rust\">fn main() {     let mut substitutions = HashMap::new();<\/code><\/pre>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\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-350467","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/350467","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=350467"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/350467\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=350467"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=350467"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=350467"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}