{"id":357179,"date":"2024-05-20T23:45:24","date_gmt":"2024-05-20T23:45:24","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=357179"},"modified":"-0001-11-30T00:00:00","modified_gmt":"2024-05-20T23:45:24","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=357179","title":{"rendered":"<span>\u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0422\u0438\u043f\u044b \u0414\u0430\u043d\u043d\u044b\u0445<\/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<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w780q1\/getpro\/habr\/upload_files\/3d6\/dbc\/dfc\/3d6dbcdfc621b9a0ac91d2f3367d8803.jpg\" width=\"1024\" height=\"512\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3d6\/dbc\/dfc\/3d6dbcdfc621b9a0ac91d2f3367d8803.jpg\" data-blurred=\"true\"\/><\/figure>\n<p>\u0427\u0442\u043e \u0436\u0435 \u0442\u0430\u043a\u043e\u0435 \u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0422\u0438\u043f\u044b \u0414\u0430\u043d\u043d\u044b\u0445(Algebraic Data Types(ADT))? \u041e\u0431\u044b\u0447\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u0442\u0435\u043e\u0440\u0438\u0438 \u0442\u0438\u043f\u043e\u0432 \u0438 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u0441 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u043c \u043d\u0430 Haskell. \u041d\u043e \u043d\u0430 <em>\u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435<\/em> \u0432\u0441\u0451 \u043d\u0435 \u0442\u0430\u043a \u0441\u043b\u043e\u0436\u043d\u043e.<\/p>\n<h2>\u0422\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445<\/h2>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c\u0441\u044f \u0441 \u0442\u0438\u043f\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435.<\/p>\n<p><strong>\u0422\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445<\/strong>\u00a0&#8212; \u044d\u0442\u043e \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0438\u043c\u0435\u043d\u043d\u043e\u0432\u0430\u043d\u043e\u0439 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0421\u0430\u043c\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445\u00a0<code>bit<\/code>. \u0415\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f: {0, 1}.<\/p>\n<p>\u0422\u0438\u043f\u00a0<code>bool<\/code>\u00a0= {true, false}.<\/p>\n<p>\u0422\u0438\u043f\u00a0<code>byte<\/code>\u00a0= {0,1,..,255} \u0438\u043b\u0438 {-128, -127,\u2026, 127} \u0438\u043b\u0438 {ASCII Table}<\/p>\n<p>\u041e\u0431\u044b\u0447\u043d\u043e \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u044f\u0437\u044b\u043a\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u201c\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u0445\u201d \u0442\u0438\u043f\u043e\u0432:\u00a0<em>\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439, \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0435, \u0447\u0438\u0441\u043b\u0430 \u0441 \u043f\u043b\u0430\u0432\u0430\u044e\u0449\u0435\u0439 \u0437\u0430\u043f\u044f\u0442\u043e\u0439, \u0441\u0442\u0440\u043e\u043a\u043e\u0432\u044b\u0435 \u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438\/\u0441\u0441\u044b\u043b\u043a\u0438<\/em>.<\/p>\n<p>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u043c, \u0430 \u0435\u0449\u0435 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u0442\u044c \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430. \u0422\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u0442\u043e\u0436\u0435 \u0431\u044b\u0432\u0430\u044e\u0442.<\/p>\n<p><strong>\u0415\u0434\u0438\u043d\u0438\u0447\u043d\u044b\u0439 \u0442\u0438\u043f<\/strong>, \u043e\u043d \u0436\u0435\u00a0<strong>unit<\/strong>, \u043e\u0431\u044b\u0447\u043d\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442\u0441\u044f\u00a0<code>()<\/code>. \u042d\u0442\u043e\u0442 \u0442\u0438\u043f \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043d\u0430 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f.\u00a0<code>unit<\/code>\u00a0\u0438\u043c\u0435\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0437\u0430\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044f, \u0435\u0441\u043b\u0438 \u0434\u0440\u0443\u0433\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0438\u043b\u0438 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f. \u0412 <em>C<\/em> \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043f\u043e\u0445\u043e\u0436\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u00a0<code>void<\/code>.<\/p>\n<p>\u041f\u0443\u0441\u0442\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e. \u0422\u0438\u043f \u0431\u0435\u0437 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u041f\u043e\u0434\u043e\u0431\u043d\u044b\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u00a0<strong>\u043d\u0435\u043d\u0430\u0441\u0435\u043b\u0435\u043d\u043d\u044b\u043c (uninhabited type)<\/strong>. \u041e\u0431\u044b\u0447\u043d\u043e \u043e\u043d \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0435\u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043c\u043e\u0441\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0431\u0440\u043e\u0448\u0435\u043d\u043e \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435, \u0432\u044b\u0445\u043e\u0434 \u0438\u0437 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0446\u0438\u043a\u043b, \u0438 \u0442.\u043f. \u0412 Rust \u044d\u0442\u043e\u00a0<a href=\"https:\/\/doc.rust-lang.org\/reference\/types\/never.html\" rel=\"noopener noreferrer nofollow\">never type<\/a>.<\/p>\n<p>\u041d\u043e \u044d\u0442\u043e\u0433\u043e \u043c\u0430\u043b\u043e. \u041d\u0443\u0436\u043d\u043e \u0431\u043e\u043b\u044c\u0448\u0435. \u041c\u044b \u0445\u043e\u0442\u0438\u043c \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u0442\u044c \u0438 \u043a\u043e\u043c\u0431\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b.<\/p>\n<h2>\u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0442\u0438\u043f<\/h2>\n<p>\u0421\u0434\u0435\u043b\u0430\u0435\u043c \u0438\u0437 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0434\u0440\u0443\u0433\u0438\u0435, \u0441\u043e\u0441\u0442\u0430\u0432\u043d\u044b\u0435 \u0438 \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0435. \u042d\u0442\u043e \u0438 \u0431\u0443\u0434\u0443\u0442 \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445. \u0410 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043e\u043d\u0438 \u0442\u0430\u043a \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043d\u043e\u0432\u044b\u0435 \u0442\u0438\u043f\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442\u0441\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e\u00a0<strong>\u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f<\/strong>\u00a0\u0438\u00a0<strong>\u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f<\/strong>.<\/p>\n<h3>\u0422\u0438\u043f \u041f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f (Product Type)<\/h3>\n<p>C\u0430\u043c\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 &#8212; \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0438\u0442\u044c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435. \u0422\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u0447\u0435\u0440\u0435\u0437\u00a0<code>struct<\/code>,\u00a0<code>class<\/code>,\u00a0<code>tuple<\/code>,\u00a0<code>record<\/code>\u00a0\u0438 \u043f\u0440.<\/p>\n<p>\u0421\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u043e\u0432\u044b\u0439 \u0442\u0438\u043f \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f:<\/p>\n<pre><code class=\"go\">type NewProductType struct { a bool b byte }<\/code><\/pre>\n<p><code>NewProductType<\/code>\u00a0\u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0442\u0438\u043f\u0430\u00a0<code>bool<\/code>\u00a0<strong>\u0418<\/strong>\u00a0\u0442\u0438\u043f\u0430\u00a0<code>byte<\/code>.<\/p>\n<p><code>NewProductType<\/code>\u00a0= {true, false} * {0,1,\u2026,255} = {(true,0),(false,0),(true,1),(false,1),..,(true,255),(false,255)}<\/p>\n<p>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\/\u0442\u0438\u043f <code>NewProductType<\/code> \u0441 \u043c\u043e\u0449\u043d\u043e\u0441\u0442\u044c\u044e 2*256=512.<\/p>\n<p>\u042d\u0442\u043e \u0442\u043e \u0447\u0435\u043c \u043c\u044b \u0435\u0436\u0435\u0434\u043d\u0435\u0432\u043d\u043e \u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0441\u044f, \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u044f \u043d\u043e\u0432\u044b\u0435 \u0442\u0438\u043f\u044b c \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043b\u0430\u0441\u0441\u043e\u0432, \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u0438 \u043f\u0440.<\/p>\n<h3>\u0422\u0438\u043f \u0421\u0443\u043c\u043c\u0430 (Sum Type)<\/h3>\n<p>\u041e\u043d \u0436\u0435\u00a0<em>tagged union<\/em>\u00a0\u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e\u00a0<em>variant<\/em>. \u0412\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044f \u0440\u0435\u0436\u0435 \u0447\u0435\u043c product type \u0438 \u043e\u0431\u044b\u0447\u043d\u043e \u043a\u043e\u0433\u0434\u0430 \u0433\u043e\u0432\u043e\u0440\u044f\u0442 \u043f\u0440\u043e ADT \u0438\u043c\u0435\u044e\u0442 \u0432\u0432\u0438\u0434\u0443 \u0438\u043c\u0435\u043d\u043d\u043e \u0442\u0438\u043f sum type.<\/p>\n<p><strong>Sum Type<\/strong>\u00a0\u2014 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u0434\u043d\u0438\u043c \u0438\u0437 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0422\u0438\u043f\u00a0<code>bool<\/code>. \u0415\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f &#8212; \u044d\u0442\u043e\u00a0<code>True<\/code>\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0<code>False<\/code>\u00a0\u2014 \u0434\u0432\u0430 \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443\u00a0rust, \u0442\u043e \u044d\u0442\u043e\u00a0<code>enum<\/code>.<\/p>\n<p><code>Option<\/code>\u00a0\u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0434\u0432\u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u00a0<code>None<\/code>\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0\u043b\u044e\u0431\u043e\u0439 \u0442\u0438\u043f.<\/p>\n<pre><code class=\"rust\">enum Option&lt;T> {     None,     Some(T), }<\/code><\/pre>\n<p>\u0420\u0430\u0441\u0442\u043e\u0432\u0441\u043a\u0438\u0439 \u043e\u0442\u0432\u0435\u0442 null \u0441\u0441\u044b\u043b\u043a\u0430\u043c.\u00a0<a href=\"https:\/\/doc.rust-lang.org\/book\/ch06-01-defining-an-enum.html#the-option-enum-and-its-advantages-over-null-values\" rel=\"noopener noreferrer nofollow\">The Option Enum and Its Advantages Over Null Values<\/a><\/p>\n<p>\u0415\u0441\u043b\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0443(<code>Err<\/code>)\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0443\u0441\u043f\u0435\u0448\u043d\u043e\u0433\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044f(<code>OK<\/code>), \u0442\u043e\u0433\u0434\u0430 \u043d\u0430\u043c \u043f\u043e\u043c\u043e\u0436\u0435\u0442 enum\u00a0<code>Result<\/code>.<\/p>\n<pre><code class=\"rust\">enum Result&lt;T, E> {    Ok(T),    Err(E), }<\/code><\/pre>\n<h3>Pattern Matching<\/h3>\n<p>\u041e\u0441\u0442\u0430\u043b\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441 \u043e \u0442\u043e\u043c \u043a\u0430\u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u0442\u0438\u043f\u0430. \u0412 \u0438\u0434\u0435\u0430\u043b\u0435 \u043d\u0443\u0436\u0435\u043d pattern matching. \u0413\u0438\u0431\u043a\u0438\u0439 \u0438 \u0443\u0434\u043e\u0431\u043d\u044b\u0439 \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f\u00a0<code>find<\/code>\u00a0\u0438\u0449\u0435\u0442 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u0441\u043b\u0430\u0439\u0441\u0435. \u041d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u0438\u043d\u0434\u0435\u043a\u0441 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0438\u043b\u0438 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0432 \u0441\u043b\u0430\u0439\u0441\u0435 \u043d\u0435\u0442.<\/p>\n<pre><code class=\"rust\">fn find(value: i32, slice: &amp;[i32]) -> Option&lt;usize> {     for (index, &amp;element) in slice.iter().enumerate() {         if element == value {             \/\/ Return a value             return Some(index);         }     }     \/\/ Return no value     None }<\/code><\/pre>\n<p>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e\u00a0<code>match<\/code>, \u0447\u0442\u043e \u0431\u044b \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f:<\/p>\n<pre><code class=\"rust\">fn main() {     let array = [1, 2, 3, 4, 5];          match find(2, &amp;array) {         Some(index) => println!(\"The element 2 is at index {}.\", index),         None => println!(\"The element 2 is not in the array.\")     } }<\/code><\/pre>\n<h3>\u041a\u0430\u043a \u0434\u0435\u043b\u0430 \u0432 Go<\/h3>\n<p>\u0412 Go \u043d\u0435\u0442 sum type \u0432 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0432\u0438\u0434\u0435 \u0438 \u0447\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u043f\u0435\u0447\u0430\u043b\u044c\u043d\u043e \u043d\u0435\u0442 pattern matching. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u0442\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432\u00a0<a href=\"https:\/\/go.dev\/doc\/faq#variant_types\" rel=\"noopener noreferrer nofollow\">faq<\/a>.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043a\u0440\u0430\u0442\u043a\u043e, \u0442\u043e \u043e\u0442\u0432\u0435\u0442 \u0442\u0430\u043a\u043e\u0439: \u0432 go \u0435\u0441\u0442\u044c\u00a0<em>\u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u044b<\/em>\u00a0\u0438\u00a0<em>type switch<\/em>, \u043e\u043d\u0438 \u043d\u0435 \u0442\u0430\u043a\u0438\u0435 \u044d\u043b\u0435\u0433\u0430\u043d\u0442\u043d\u044b\u0435, \u0433\u0438\u0431\u043a\u0438\u0435 \u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0435, \u043d\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043f\u043e\u0442\u0440\u0435\u0431\u043d\u043e\u0441\u0442\u0438 \u043f\u0435\u0440\u0435\u043a\u0440\u044b\u0432\u0430\u044e\u0442.<\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440 \u0438\u0437\u00a0<a href=\"https:\/\/en.wikipedia.org\/wiki\/Algebraic_data_type\" rel=\"noopener noreferrer nofollow\">wiki<\/a>\u00a0&#8212; \u044d\u0442\u043e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e. \u0414\u0435\u0440\u0435\u0432\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u043c, \u043b\u0438\u0441\u0442\u043e\u043c \u0438\u043b\u0438 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043b\u0435\u0432\u044b\u0445\\\u043f\u0440\u0430\u0432\u044b\u0445 \u0434\u0435\u0442\u0435\u0439:<\/p>\n<pre><code class=\"haskell\">data Tree = Empty           | Leaf Int           | Node Tree Tree<\/code><\/pre>\n<p>\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u043e\u0438\u0441\u043a\u0430 \u0433\u043b\u0443\u0431\u0438\u043d\u044b \u0434\u0435\u0440\u0435\u0432\u0430:<\/p>\n<pre><code class=\"haskell\"> depth :: Tree -> Int  depth Empty = 0  depth (Leaf n) = 1  depth (Node l r) = 1 + max (depth l) (depth r)<\/code><\/pre>\n<p><strong>\u0412\u0430\u0440\u0438\u0430\u043d\u0442 \u043d\u0430 Go<\/strong>:<\/p>\n<pre><code class=\"go\">type Tree interface { }  type Empty struct { }  type Leaf struct {     v int }  type Node struct {     left, right Tree }<\/code><\/pre>\n<pre><code class=\"go\">func depth(t Tree) int {     switch nt := t.(type) {     case Empty:         return 0     case Leaf:         return 1     case Node:         return 1 + max(depth(nt.left), depth(nt.right))     default:         log.Fatalf(\"unexpected type %T\", nt)     }     return 0 }<\/code><\/pre>\n<hr\/>\n<p>\u041d\u0430 \u0441\u0435\u0433\u043e\u0434\u043d\u044f \u0432\u0441\u0435. \u0421\u043f\u0430\u0441\u0438\u0431\u043e!<\/p>\n<\/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\/766682\/\"> https:\/\/habr.com\/ru\/articles\/766682\/<\/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<figure class=\"full-width\"><\/figure>\n<p>\u0427\u0442\u043e \u0436\u0435 \u0442\u0430\u043a\u043e\u0435 \u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0422\u0438\u043f\u044b \u0414\u0430\u043d\u043d\u044b\u0445(Algebraic Data Types(ADT))? \u041e\u0431\u044b\u0447\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u0435 \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u0432 \u0442\u0435\u043e\u0440\u0438\u0438 \u0442\u0438\u043f\u043e\u0432 \u0438 \u043e\u0431\u044f\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u0441 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u043c \u043d\u0430 Haskell. \u041d\u043e \u043d\u0430 <em>\u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435<\/em> \u0432\u0441\u0451 \u043d\u0435 \u0442\u0430\u043a \u0441\u043b\u043e\u0436\u043d\u043e.<\/p>\n<h2>\u0422\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445<\/h2>\n<p>\u0421\u043d\u0430\u0447\u0430\u043b\u0430 \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c\u0441\u044f \u0441 \u0442\u0438\u043f\u0430\u043c\u0438 \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 \u043e\u0431\u0449\u0435\u043c \u0441\u043b\u0443\u0447\u0430\u0435.<\/p>\n<p><strong>\u0422\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445<\/strong>\u00a0&#8212; \u044d\u0442\u043e \u0434\u043e\u043f\u0443\u0441\u0442\u0438\u043c\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u0432\u0441\u0435\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0438\u043c\u0435\u043d\u043d\u043e\u0432\u0430\u043d\u043e\u0439 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0421\u0430\u043c\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445\u00a0<code>bit<\/code>. \u0415\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f: {0, 1}.<\/p>\n<p>\u0422\u0438\u043f\u00a0<code>bool<\/code>\u00a0= {true, false}.<\/p>\n<p>\u0422\u0438\u043f\u00a0<code>byte<\/code>\u00a0= {0,1,..,255} \u0438\u043b\u0438 {-128, -127,\u2026, 127} \u0438\u043b\u0438 {ASCII Table}<\/p>\n<p>\u041e\u0431\u044b\u0447\u043d\u043e \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u044f\u0437\u044b\u043a\u0430 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u043e \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u201c\u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u043d\u044b\u0445\u201d \u0442\u0438\u043f\u043e\u0432:\u00a0<em>\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0439, \u0446\u0435\u043b\u043e\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0435, \u0447\u0438\u0441\u043b\u0430 \u0441 \u043f\u043b\u0430\u0432\u0430\u044e\u0449\u0435\u0439 \u0437\u0430\u043f\u044f\u0442\u043e\u0439, \u0441\u0442\u0440\u043e\u043a\u043e\u0432\u044b\u0435 \u0438 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u0438\/\u0441\u0441\u044b\u043b\u043a\u0438<\/em>.<\/p>\n<p>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u043c, \u0430 \u0435\u0449\u0435 \u043c\u043e\u0436\u0435\u0442 \u0441\u043e\u0441\u0442\u043e\u044f\u0442\u044c \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430. \u0422\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u0442\u043e\u0436\u0435 \u0431\u044b\u0432\u0430\u044e\u0442.<\/p>\n<p><strong>\u0415\u0434\u0438\u043d\u0438\u0447\u043d\u044b\u0439 \u0442\u0438\u043f<\/strong>, \u043e\u043d \u0436\u0435\u00a0<strong>unit<\/strong>, \u043e\u0431\u044b\u0447\u043d\u043e \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442\u0441\u044f\u00a0<code>()<\/code>. \u042d\u0442\u043e\u0442 \u0442\u0438\u043f \u0443\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043d\u0430 \u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f.\u00a0<code>unit<\/code>\u00a0\u0438\u043c\u0435\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0437\u0430\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044f, \u0435\u0441\u043b\u0438 \u0434\u0440\u0443\u0433\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043d\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0438\u043b\u0438 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u0435\u0442\u0441\u044f. \u0412 <em>C<\/em> \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043f\u043e\u0445\u043e\u0436\u0443\u044e \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u00a0<code>void<\/code>.<\/p>\n<p>\u041f\u0443\u0441\u0442\u043e\u0435 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e. \u0422\u0438\u043f \u0431\u0435\u0437 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u041f\u043e\u0434\u043e\u0431\u043d\u044b\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u00a0<strong>\u043d\u0435\u043d\u0430\u0441\u0435\u043b\u0435\u043d\u043d\u044b\u043c (uninhabited type)<\/strong>. \u041e\u0431\u044b\u0447\u043d\u043e \u043e\u043d \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0435\u0432\u044b\u0447\u0438\u0441\u043b\u0438\u043c\u043e\u0441\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0431\u0440\u043e\u0448\u0435\u043d\u043e \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435, \u0432\u044b\u0445\u043e\u0434 \u0438\u0437 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0446\u0438\u043a\u043b, \u0438 \u0442.\u043f. \u0412 Rust \u044d\u0442\u043e\u00a0<a href=\"https:\/\/doc.rust-lang.org\/reference\/types\/never.html\" rel=\"noopener noreferrer nofollow\">never type<\/a>.<\/p>\n<p>\u041d\u043e \u044d\u0442\u043e\u0433\u043e \u043c\u0430\u043b\u043e. \u041d\u0443\u0436\u043d\u043e \u0431\u043e\u043b\u044c\u0448\u0435. \u041c\u044b \u0445\u043e\u0442\u0438\u043c \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u044f\u0442\u044c \u0438 \u043a\u043e\u043c\u0431\u0438\u043d\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0442\u0438\u043f\u044b.<\/p>\n<h2>\u0410\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0442\u0438\u043f<\/h2>\n<p>\u0421\u0434\u0435\u043b\u0430\u0435\u043c \u0438\u0437 \u043f\u0440\u043e\u0441\u0442\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0434\u0440\u0443\u0433\u0438\u0435, \u0441\u043e\u0441\u0442\u0430\u0432\u043d\u044b\u0435 \u0438 \u0431\u043e\u043b\u0435\u0435 \u0441\u043b\u043e\u0436\u043d\u044b\u0435. \u042d\u0442\u043e \u0438 \u0431\u0443\u0434\u0443\u0442 \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445. \u0410 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u043e\u043d\u0438 \u0442\u0430\u043a \u043f\u043e\u0442\u043e\u043c\u0443, \u0447\u0442\u043e \u043d\u043e\u0432\u044b\u0435 \u0442\u0438\u043f\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442\u0441\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e\u00a0<strong>\u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f<\/strong>\u00a0\u0438\u00a0<strong>\u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f<\/strong>.<\/p>\n<h3>\u0422\u0438\u043f \u041f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f (Product Type)<\/h3>\n<p>C\u0430\u043c\u044b\u0439 \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u0441\u043f\u043e\u0441\u043e\u0431 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0442\u0438\u043f \u0434\u0430\u043d\u043d\u044b\u0445 \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 &#8212; \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0438\u0442\u044c \u0438\u0445 \u0432\u043c\u0435\u0441\u0442\u0435. \u0422\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043d\u044b \u0447\u0435\u0440\u0435\u0437\u00a0<code>struct<\/code>,\u00a0<code>class<\/code>,\u00a0<code>tuple<\/code>,\u00a0<code>record<\/code>\u00a0\u0438 \u043f\u0440.<\/p>\n<p>\u0421\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u043e\u0432\u044b\u0439 \u0442\u0438\u043f \u043f\u0440\u043e\u0438\u0437\u0432\u0435\u0434\u0435\u043d\u0438\u044f:<\/p>\n<pre><code class=\"go\">type NewProductType struct { a bool b byte }<\/code><\/pre>\n<p><code>NewProductType<\/code>\u00a0\u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u0442\u0438\u043f\u0430\u00a0<code>bool<\/code>\u00a0<strong>\u0418<\/strong>\u00a0\u0442\u0438\u043f\u0430\u00a0<code>byte<\/code>.<\/p>\n<p><code>NewProductType<\/code>\u00a0= {true, false} * {0,1,\u2026,255} = {(true,0),(false,0),(true,1),(false,1),..,(true,255),(false,255)}<\/p>\n<p>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e\/\u0442\u0438\u043f <code>NewProductType<\/code> \u0441 \u043c\u043e\u0449\u043d\u043e\u0441\u0442\u044c\u044e 2*256=512.<\/p>\n<p>\u042d\u0442\u043e \u0442\u043e \u0447\u0435\u043c \u043c\u044b \u0435\u0436\u0435\u0434\u043d\u0435\u0432\u043d\u043e \u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0441\u044f, \u0441\u043e\u0437\u0434\u0430\u0432\u0430\u044f \u043d\u043e\u0432\u044b\u0435 \u0442\u0438\u043f\u044b c \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043a\u043b\u0430\u0441\u0441\u043e\u0432, \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440 \u0438 \u043f\u0440.<\/p>\n<h3>\u0422\u0438\u043f \u0421\u0443\u043c\u043c\u0430 (Sum Type)<\/h3>\n<p>\u041e\u043d \u0436\u0435\u00a0<em>tagged union<\/em>\u00a0\u0438\u043b\u0438 \u043f\u0440\u043e\u0441\u0442\u043e\u00a0<em>variant<\/em>. \u0412\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044f \u0440\u0435\u0436\u0435 \u0447\u0435\u043c product type \u0438 \u043e\u0431\u044b\u0447\u043d\u043e \u043a\u043e\u0433\u0434\u0430 \u0433\u043e\u0432\u043e\u0440\u044f\u0442 \u043f\u0440\u043e ADT \u0438\u043c\u0435\u044e\u0442 \u0432\u0432\u0438\u0434\u0443 \u0438\u043c\u0435\u043d\u043d\u043e \u0442\u0438\u043f sum type.<\/p>\n<p><strong>Sum Type<\/strong>\u00a0\u2014 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u044d\u0442\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u0434\u043d\u0438\u043c \u0438\u0437 \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u043e\u0432.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0422\u0438\u043f\u00a0<code>bool<\/code>. \u0415\u0433\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f &#8212; \u044d\u0442\u043e\u00a0<code>True<\/code>\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0<code>False<\/code>\u00a0\u2014 \u0434\u0432\u0430 \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0445 \u0432\u0430\u0440\u0438\u0430\u043d\u0442\u0430.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443\u00a0rust, \u0442\u043e \u044d\u0442\u043e\u00a0<code>enum<\/code>.<\/p>\n<p><code>Option<\/code>\u00a0\u043c\u043e\u0436\u0435\u0442\u0435 \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u0434\u0432\u0430 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u00a0<code>None<\/code>\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0\u043b\u044e\u0431\u043e\u0439 \u0442\u0438\u043f.<\/p>\n<pre><code class=\"rust\">enum Option&lt;T> {     None,     Some(T), }<\/code><\/pre>\n<p>\u0420\u0430\u0441\u0442\u043e\u0432\u0441\u043a\u0438\u0439 \u043e\u0442\u0432\u0435\u0442 null \u0441\u0441\u044b\u043b\u043a\u0430\u043c.\u00a0<a href=\"https:\/\/doc.rust-lang.org\/book\/ch06-01-defining-an-enum.html#the-option-enum-and-its-advantages-over-null-values\" rel=\"noopener noreferrer nofollow\">The Option Enum and Its Advantages Over Null Values<\/a><\/p>\n<p>\u0415\u0441\u043b\u0438 \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043c\u043e\u0436\u0435\u0442 \u0432\u0435\u0440\u043d\u0443\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0443(<code>Err<\/code>)\u00a0<strong>\u0418\u041b\u0418<\/strong>\u00a0\u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0443\u0441\u043f\u0435\u0448\u043d\u043e\u0433\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0435\u043d\u0438\u044f(<code>OK<\/code>), \u0442\u043e\u0433\u0434\u0430 \u043d\u0430\u043c \u043f\u043e\u043c\u043e\u0436\u0435\u0442 enum\u00a0<code>Result<\/code>.<\/p>\n<pre><code class=\"rust\">enum Result&lt;T, E> {    Ok(T),    Err(E), }<\/code><\/pre>\n<h3>Pattern Matching<\/h3>\n<p>\u041e\u0441\u0442\u0430\u043b\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441 \u043e \u0442\u043e\u043c \u043a\u0430\u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u0442\u0430\u043a\u043e\u0433\u043e \u0442\u0438\u043f\u0430. \u0412 \u0438\u0434\u0435\u0430\u043b\u0435 \u043d\u0443\u0436\u0435\u043d pattern matching. \u0413\u0438\u0431\u043a\u0438\u0439 \u0438 \u0443\u0434\u043e\u0431\u043d\u044b\u0439 \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c.<\/p>\n<h4>\u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440<\/h4>\n<p>\u0424\u0443\u043d\u043a\u0446\u0438\u044f\u00a0<code>find<\/code>\u00a0\u0438\u0449\u0435\u0442 \u0443\u043a\u0430\u0437\u0430\u043d\u043d\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u0441\u043b\u0430\u0439\u0441\u0435. \u041d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u0438\u043d\u0434\u0435\u043a\u0441 \u043d\u0430\u0439\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0438\u043b\u0438 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0432 \u0441\u043b\u0430\u0439\u0441\u0435 \u043d\u0435\u0442.<\/p>\n<pre><code class=\"rust\">fn find(value: i32, slice: &amp;[i32]) -> Option&lt;usize> {     for (index, &amp;element) in slice.iter().enumerate() {         if element == value {             \/\/ Return a value             return Some(index);         }     }     \/\/ Return no value     None }<\/code><\/pre>\n<p>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044e\u00a0<code>match<\/code>, \u0447\u0442\u043e \u0431\u044b \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f:<\/p>\n<pre><code class=\"rust\">fn main() {     let array = [1, 2, 3, 4, 5];          match find(2, &amp;array) {         Some(index) => println!(\"The element 2 is at index {}.\", index),         None => println!(\"The element 2 is not in the array.\")     } }<\/code><\/pre>\n<h3>\u041a\u0430\u043a \u0434\u0435\u043b\u0430 \u0432 Go<\/h3>\n<p>\u0412 Go \u043d\u0435\u0442 sum type \u0432 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0432\u0438\u0434\u0435 \u0438 \u0447\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u043f\u0435\u0447\u0430\u043b\u044c\u043d\u043e \u043d\u0435\u0442 pattern matching. \u041f\u043e\u0434\u0440\u043e\u0431\u043d\u0435\u0435 \u043f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u0442\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0447\u0438\u0442\u0430\u0442\u044c \u0432\u00a0<a href=\"https:\/\/go.dev\/doc\/faq#variant_types\" rel=\"noopener noreferrer nofollow\">faq<\/a>.<\/p>\n<p>\u0415\u0441\u043b\u0438 \u043a\u0440\u0430\u0442\u043a\u043e, \u0442\u043e \u043e\u0442\u0432\u0435\u0442 \u0442\u0430\u043a\u043e\u0439: \u0432 go \u0435\u0441\u0442\u044c\u00a0<em>\u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u044b<\/em>\u00a0\u0438\u00a0<em>type switch<\/em>, \u043e\u043d\u0438 \u043d\u0435 \u0442\u0430\u043a\u0438\u0435 \u044d\u043b\u0435\u0433\u0430\u043d\u0442\u043d\u044b\u0435, \u0433\u0438\u0431\u043a\u0438\u0435 \u0438 \u0431\u0435\u0437\u043e\u043f\u0430\u0441\u043d\u044b\u0435, \u043d\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043f\u043e\u0442\u0440\u0435\u0431\u043d\u043e\u0441\u0442\u0438 \u043f\u0435\u0440\u0435\u043a\u0440\u044b\u0432\u0430\u044e\u0442.<\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440 \u0438\u0437\u00a0<a href=\"https:\/\/en.wikipedia.org\/wiki\/Algebraic_data_type\" rel=\"noopener noreferrer nofollow\">wiki<\/a>\u00a0&#8212; \u044d\u0442\u043e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e. \u0414\u0435\u0440\u0435\u0432\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0443\u0441\u0442\u044b\u043c, \u043b\u0438\u0441\u0442\u043e\u043c \u0438\u043b\u0438 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u043b\u0435\u0432\u044b\u0445\\\u043f\u0440\u0430\u0432\u044b\u0445 \u0434\u0435\u0442\u0435\u0439:<\/p>\n<pre><code class=\"haskell\">data Tree = Empty           | Leaf Int           | Node Tree Tree<\/code><\/pre>\n<p>\u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043f\u043e\u0438\u0441\u043a\u0430 \u0433\u043b\u0443\u0431\u0438\u043d\u044b \u0434\u0435\u0440\u0435\u0432\u0430:<\/p>\n<pre><code class=\"haskell\"> depth :: Tree -> Int  depth Empty = 0  depth (Leaf n) = 1  depth (Node l r) = 1 + max (depth l) (depth r)<\/code><\/pre>\n<p><strong>\u0412\u0430\u0440\u0438\u0430\u043d\u0442 \u043d\u0430 Go<\/strong>:<\/p>\n<pre><code class=\"go\">type Tree interface { }  type Empty struct { }  type Leaf struct {     v int }  type Node struct {     left, right Tree }<\/code><\/pre>\n<pre><code class=\"go\">func depth(t Tree) int {     switch nt := t.(type) {     case Empty:         return 0     case Leaf:         return 1     case Node:         return 1 + max(depth(nt.left), depth(nt.right))     default:         log.Fatalf(\"unexpected type %T\", nt)     }     return 0 }<\/code><\/pre>\n<hr\/>\n<p>\u041d\u0430 \u0441\u0435\u0433\u043e\u0434\u043d\u044f \u0432\u0441\u0435. \u0421\u043f\u0430\u0441\u0438\u0431\u043e!<\/p>\n<\/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\/766682\/\"> https:\/\/habr.com\/ru\/articles\/766682\/<\/a><br \/><\/br><\/br><\/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-357179","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/357179","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=357179"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/357179\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=357179"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=357179"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=357179"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}