{"id":501819,"date":"2026-11-05T16:58:39","date_gmt":"2026-11-05T13:58:39","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=501819"},"modified":"2026-11-05T16:58:39","modified_gmt":"2026-11-05T13:58:39","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=501819","title":{"rendered":"\u041f\u043e\u043b\u044f\u0440\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 Edva"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<h2>\u041f\u043e\u043b\u044f\u0440\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445 (Ramifications) \u0432 \u044f\u0437\u044b\u043a\u0435 \u042d\u0434\u0432\u0430 (Edva): \u0435\u0434\u0438\u043d\u0430\u044f \u0437\u0430\u043c\u0435\u043d\u0430 \u0434\u043b\u044f bool, Option \u0438 Result<\/h2>\n<p>\u0412 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u043e\u043d\u044f\u0442\u0438\u044f \u00ab\u0438\u0441\u0442\u0438\u043d\u0430\/\u043b\u043e\u0436\u044c\u00bb, \u00ab\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0435\u0441\u0442\u044c\/\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043d\u0435\u0442\u00bb \u0438 \u00ab\u0443\u0441\u043f\u0435\u0445\/\u043e\u0448\u0438\u0431\u043a\u0430\u00bb \u0436\u0438\u0432\u0443\u0442 \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u043c\u0438\u0440\u0430\u0445. \u0414\u043b\u044f \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432 <code>bool<\/code> \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 <code>if\/else<\/code>, \u0434\u043b\u044f \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u2014 <code>Option&lt;T&gt;<\/code> (<code>Maybe a<\/code>), \u0434\u043b\u044f \u0442\u0440\u0435\u0442\u044c\u0435\u0433\u043e \u2014 <code>Result&lt;T, E&gt;<\/code> (<code>Either a b<\/code>). \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u043d\u0438\u0445 \u0441\u0432\u043e\u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b (<code>true<\/code>\/<code>false<\/code>, <code>Some<\/code>\/<code>None<\/code>, <code>Ok<\/code>\/<code>Err<\/code>) \u0438 \u0441\u0432\u043e\u0439 \u043d\u0430\u0431\u043e\u0440 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043e\u0432.<\/p>\n<p>\u0421\u0438\u0441\u0442\u0435\u043c\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f <strong>Edva<\/strong>, \u0441\u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0431\u0435\u0437 \u0435\u0434\u0438\u043d\u043e\u0433\u043e \u043a\u043b\u044e\u0447\u0435\u0432\u043e\u0433\u043e \u0441\u043b\u043e\u0432\u0430, \u0441\u0432\u043e\u0434\u0438\u0442 \u0432\u0441\u0435 \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u0438\u0441\u0445\u043e\u0434\u044b \u043a \u0435\u0434\u0438\u043d\u043e\u043c\u0443 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u0443 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0442\u0438\u043f\u043e\u0432 \u2014 <strong>\u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0440\u0430\u0437\u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f\u043c (Algebraic Ramifications, \u0438\u043b\u0438 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u2014 Rams)<\/strong>.<\/p>\n<h4>\u0427\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u043f\u0430\u043c\u044f\u0442\u0438<\/h4>\n<p>\u0412 \u042d\u0434\u0432\u0435 \u043b\u044e\u0431\u043e\u0439 \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0439 \u0438\u0441\u0445\u043e\u0434 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0438\u043f\u043e\u043c \u0441 \u0434\u0432\u0443\u043c\u044f \u043f\u043e\u043b\u044e\u0441\u0430\u043c\u0438: <strong>\u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c (\u043b\u0435\u0432\u044b\u043c)<\/strong> \u0438 <strong>\u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c (\u043f\u0440\u0430\u0432\u044b\u043c)<\/strong>. \u0412 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u0441\u0442\u0438 \u043e\u0442 \u0442\u043e\u0433\u043e, \u043d\u0435\u0441\u0443\u0442 \u043b\u0438 \u043f\u043e\u043b\u044e\u0441\u0430 \u043f\u043e\u043b\u0435\u0437\u043d\u0443\u044e \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0443, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u0447\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b:<\/p>\n<div>\n<div class=\"table\">\n<table>\n<tbody>\n<tr>\n<td>\n<p align=\"left\"><strong>\u0424\u043e\u0440\u043c\u0430 \u0442\u0438\u043f\u0430<\/strong><\/p>\n<\/td>\n<td data-colwidth=\"186\" width=\"186\">\n<p align=\"left\"><strong>\u041f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441<\/strong><\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>\u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441<\/strong><\/p>\n<\/td>\n<td>\n<p align=\"left\"><strong>\u0427\u0442\u043e \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u0432 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u044f\u0437\u044b\u043a\u0430\u0445<\/strong><\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>&lt;&gt;<\/code><\/p>\n<\/td>\n<td data-colwidth=\"186\" width=\"186\">\n<p align=\"left\"><code>&lt;+&gt;<\/code><br \/>\u043f\u0443\u0441\u0442\u043e<\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>&lt;-&gt;<\/code><br \/>\u043f\u0443\u0441\u0442\u043e<\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>bool<\/code> (<code>true<\/code> \/ <code>false<\/code>)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>&lt; T | &gt;<\/code><\/p>\n<\/td>\n<td data-colwidth=\"186\" width=\"186\">\n<p align=\"left\"><code>&lt;+ value +&gt;<\/code><br \/>\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 <code>T<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>&lt;--&gt;<\/code><br \/>\u043f\u0443\u0441\u0442\u043e<\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>Option&lt;T&gt;<\/code> (<code>Some(T)<\/code> \/ <code>None<\/code>)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>&lt; | E &gt;<\/code><\/p>\n<\/td>\n<td data-colwidth=\"186\" width=\"186\">\n<p align=\"left\"><code>&lt;++&gt;<\/code><br \/>\u043f\u0443\u0441\u0442\u043e<\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>&lt;- error -&gt;<\/code><br \/>\u043e\u0448\u0438\u0431\u043a\u0430 \u0442\u0438\u043f\u0430 <code>E<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">\u0421\u0442\u0430\u0442\u0443\u0441 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f (<code>Ok(())<\/code> \/ <code>Err(E)<\/code>)<\/p>\n<\/td>\n<\/tr>\n<tr>\n<td>\n<p align=\"left\"><code>&lt; T | E &gt;<\/code><\/p>\n<\/td>\n<td data-colwidth=\"186\" width=\"186\">\n<p align=\"left\">&lt;+ value -&gt;<br \/>\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 <code>T<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\">&lt;- error +&gt;<br \/>\u043e\u0448\u0438\u0431\u043a\u0430 \u0442\u0438\u043f\u0430 <code>E<\/code><\/p>\n<\/td>\n<td>\n<p align=\"left\"><code>Result&lt;T, E&gt;<\/code> (<code>Ok(T)<\/code> \/ <code>Err(E)<\/code>)<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<p>\u041d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 LLVM IR \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u0430\u043b\u043b\u043e\u043a\u0430\u0446\u0438\u0439 \u0432 \u043a\u0443\u0447\u0435 \u0438\u043b\u0438 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0435\u0433\u043e\u0432 \u2014 \u043e\u043d\u0438 \u0443\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0432 \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u043e\u0435 \u043d\u0435\u043e\u0431\u0451\u0440\u043d\u0443\u0442\u043e\u0435 (unboxed) \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 <code>{ i1, i64 }<\/code> (\u0431\u0438\u0442 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u0438 \u043f\u043b\u044e\u0441 \u043f\u043e\u043b\u0435\u0437\u043d\u0430\u044f \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0430), \u0430 \u0432 \u0441\u043b\u0443\u0447\u0430\u044f\u0445, \u043a\u043e\u0433\u0434\u0430 \u0442\u0438\u043f \u0443\u0436\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043e\u0431\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c, \u043d\u0435 \u043d\u0443\u0436\u0435\u043d \u0434\u0430\u0436\u0435 \u0431\u0438\u0442 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u0438, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u043e\u043b\u044e\u0441 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u043d\u0443\u043b\u0435\u0432\u044b\u043c \u0430\u0434\u0440\u0435\u0441\u043e\u043c, \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0441\u043e\u043a\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0434\u043e <code>{ i64 }<\/code>.<\/p>\n<h3>\u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b \u043f\u043e\u043b\u044e\u0441\u043e\u0432<\/h3>\n<p>\u0414\u043b\u044f \u044f\u0432\u043d\u043e\u0433\u043e \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044c\u043d\u044b\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b:<\/p>\n<ul>\n<li>\n<p><strong>\u041f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441:<\/strong> <code>&lt;+&gt;<\/code>, <code>&lt;+ val +&gt;<\/code>, <code>&lt;++&gt;<\/code>, <code>&lt;+ val -&gt;<\/code> (\u043f\u0443\u0441\u0442\u043e\u0439 \u0443\u0441\u043f\u0435\u0445 \u0438\u043b\u0438 \u0443\u0441\u043f\u0435\u0445 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c <code>val<\/code>).<\/p>\n<\/li>\n<li>\n<p><strong>\u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441: <\/strong><code>&lt;-&gt;<\/code>, <code>&lt;--&gt;<\/code>, <code>&lt;- err -&gt;<\/code>, <code>&lt;- err +&gt;<\/code> (\u043f\u0443\u0441\u0442\u0430\u044f \u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u0438\u043b\u0438 \u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c <code>err<\/code>).<\/p>\n<\/li>\n<\/ul>\n<h4>\u0412\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u0441 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c \u0432\u044b\u0431\u043e\u0440\u0430 \u0438 \u0441\u0442\u0440\u0430\u0436\u0430\u043c\u0438 | \u0438 [&#8230;]<\/h4>\n<p>\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0432 Edva \u043d\u0435\u0442 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u0441\u043b\u043e\u0432 <code>if<\/code>, <code>else<\/code>, <code>match<\/code> \u0438\u043b\u0438 <code>switch<\/code>, \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u0442\u043e\u043a\u043e\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 \u0432\u044b\u0431\u043e\u0440\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/p>\n<p><code>\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 [\u0441\u0442\u0440\u0430\u0436 \u0432\u0435\u0442\u0432\u044c]+<\/code><\/p>\n<p>\u0414\u043b\u044f \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0441\u0442\u0440\u0430\u0436\u0438 \u0432 \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0438\u043b\u0438 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442, \u0430 <code>|<\/code> \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432\u0435\u0442\u043a\u043e\u0439 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e:<\/p>\n<pre><code>  classify = score =&gt;   score [100]    \"perfect\"         [99, 98] \"almost perfect\"         [&gt; 90]   \"distinction\"         [&gt; 50]   \"pass\"         |        \"fail\"<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><span class=\"sc-logo-wrapper\"><\/span><\/a><\/div><\/pre>\n<p>\u041a\u043e\u0433\u0434\u0430 \u0436\u0435 \u0441\u043b\u0435\u0432\u0430 \u043e\u0442 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0431\u043e\u0440\u0430 <code>|<\/code> \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f <strong>\u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0439 \u0442\u0438\u043f (ramification)<\/strong>, \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435:<\/p>\n<ul>\n<li>\n<p><strong>\u043f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0442\u043a\u0430<\/strong> \u043f\u043e\u0441\u043b\u0435 <code>|<\/code> \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 (<code>+<\/code>),<\/p>\n<\/li>\n<li>\n<p><strong>\u0432\u0442\u043e\u0440\u0430\u044f \u0432\u0435\u0442\u043a\u0430<\/strong> \u043f\u043e\u0441\u043b\u0435 <code>|<\/code> \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 (<code>-<\/code>).<\/p>\n<\/li>\n<\/ul>\n<p>\u0415\u0441\u043b\u0438 \u043f\u043e\u043b\u044e\u0441 \u043d\u0435\u0441\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0432\u043d\u0443\u0442\u0440\u0438 \u0432\u0435\u0442\u043a\u0438 \u043a \u043d\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c\u0441\u044f \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u043f\u043b\u0435\u0439\u0441\u0445\u043e\u043b\u0434\u0435\u0440 <code>_<\/code> (\u0438\u043b\u0438 \u0441\u0435\u043a\u0446\u0438\u044e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430):<\/p>\n<pre><code>\/\/ \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 &lt; Int | &gt; (\u0430\u043d\u0430\u043b\u043e\u0433 Option&lt;Int&gt;)res = find_target(10, 7)\/\/ \u041f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0442\u043a\u0430 \u0431\u0435\u0440\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0437 &lt;+ val +&gt;, \u0432\u0442\u043e\u0440\u0430\u044f \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043d\u0430 &lt;--&gt;res | print_int(_) | print $ \"Not found\"<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><span class=\"sc-logo-wrapper icon-only\"><\/span><\/a><\/div><\/pre>\n<p>\u041d\u0438\u043a\u0430\u043a\u0438\u0445 <code>if let Some(x) = res<\/code> \u0438\u043b\u0438 <code>match res { Some(x) =&gt; ..., None =&gt; ... }<\/code>: \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442 \u043d\u0443\u0436\u043d\u0443\u044e \u0432\u0435\u0442\u0432\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f.<\/p>\n<h4>\u0426\u0438\u043a\u043b\u044b \u043a\u0430\u043a \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (&gt;&#8212;)<\/h4>\n<p>\u0412 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043f\u043e\u0438\u0441\u043a \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0432 \u0446\u0438\u043a\u043b\u0435 \u043e\u0431\u044b\u0447\u043d\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043c\u0443\u0442\u0430\u0431\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0444\u043b\u0430\u0433\u0430 <code>found = false<\/code> \u0438\u043b\u0438 \u0434\u043e\u0441\u0440\u043e\u0447\u043d\u043e\u0433\u043e <code>return<\/code> \u0438\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u0412 Edva \u0446\u0438\u043a\u043b\u044b (<code>@<\/code>) \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0445\u043e\u0434\u0430 <code>&gt;--<\/code> \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 <code>&lt; T | &gt;<\/code>:<\/p>\n<pre><code>\/\/ \u0426\u0438\u043a\u043b \u0438\u0449\u0435\u0442 \u0446\u0435\u043b\u044c \u0432 \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0435 0..count \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 &lt; Int | &gt;find_target: Int, Int =&gt; &lt; Int | &gt;find_target = count, target =&gt;   count @ i =&gt;      i [target] --&gt;         \/\/ \u0435\u0441\u043b\u0438 i == target, \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u043c \u0446\u0438\u043a\u043b (break)   &gt;--      target                 \/\/ \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0440\u0438 \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u043d\u0438\u0438 --&gt;<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><span class=\"sc-logo-wrapper icon-only\"><\/span><\/a><\/div><\/pre>\n<p>\u041c\u0435\u0445\u0430\u043d\u0438\u043a\u0430 \u0440\u0430\u0431\u043e\u0442\u044b <code>&gt;--<\/code>:<\/p>\n<ol>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u0446\u0438\u043a\u043b\u0430 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u044f <code>--&gt;<\/code>, \u0431\u043b\u043e\u043a \u043f\u043e\u0441\u043b\u0435 <code>&gt;--<\/code> \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0432 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 <code>&lt;+ target +&gt;<\/code>.<\/p>\n<\/li>\n<li>\n<p>\u0415\u0441\u043b\u0438 \u0446\u0438\u043a\u043b \u043f\u0440\u043e\u0448\u0435\u043b \u0434\u043e \u043a\u043e\u043d\u0446\u0430 \u0431\u0435\u0437 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u0439, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 <code>&lt;--&gt;<\/code>.<\/p>\n<\/li>\n<\/ol>\n<p>\u041f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0442\u0443\u0442 \u0436\u0435 \u0433\u043e\u0442\u043e\u0432 \u043a \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435 \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0432\u044b\u0431\u043e\u0440\u0430 <code>|<\/code> \u0438\u043b\u0438 \u0434\u0430\u043b\u044c\u0448\u0435 \u043f\u043e \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u0443.<\/p>\n<h4>\u041a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u044f \u0438 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u043e\u0448\u0438\u0431\u043e\u043a: $&gt;&gt; \u0438 &#8212;!<\/h4>\n<p>\u041a\u043e\u0433\u0434\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 <code>&lt; T | E &gt;<\/code> \u0438\u043b\u0438 <code>&lt; T | &gt;<\/code>, Edva \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442 \u0434\u0432\u0430 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u0431\u0435\u0437 \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430 \u0432\u0435\u0442\u043e\u043a: \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u043d\u043e\u0435 \u043c\u043e\u043d\u0430\u0434\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u043d\u0438\u0435 \u0438 \u043f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u043e\u0435 \u043f\u0440\u043e\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u043d\u0438\u0435.<\/p>\n<h3>1. \u041c\u043e\u043d\u0430\u0434\u0438\u0447\u0435\u0441\u043a\u0438\u0439 bind ($&gt;&gt;)<\/h3>\n<p>\u041e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 <code>$&gt;&gt;<\/code> \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 \u0447\u0435\u0440\u0435\u0437 \u0446\u0435\u043f\u043e\u0447\u043a\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0430 \u043f\u0440\u0438 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u043e\u0432\u0435\u043d\u0438\u0438 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u043b\u044e\u0441\u0430 (<code>&lt;- err -&gt;<\/code> \u0438\u043b\u0438 <code>&lt;--&gt;<\/code>) \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0437\u0430\u043c\u044b\u043a\u0430\u0435\u0442 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u043d\u0430 \u0432\u044b\u0445\u043e\u0434:<\/p>\n<pre><code>find_user: String =&gt; &lt; User | Error &gt;find_user = id =&gt;   query_db(id) $&gt;&gt; validate $&gt;&gt; (&lt;+ _ +&gt;)\/\/ \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0441 \u043f\u043e\u0434\u0447\u0451\u0440\u043a\u0438\u0432\u0430\u043d\u0438\u0435\u043c \u0432 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u044d\u0442\u043e \u043b\u044f\u043c\u0431\u0434\u0430, \u044d\u043a\u0432\u0438\u0430\u043b\u0435\u043d\u0442\u043d\u043e x =&gt; &lt;+ x +&gt;<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><span class=\"sc-logo-wrapper icon-only\"><\/span><\/a><\/div><\/pre>\n<p>\u0415\u0441\u043b\u0438 <code>query_db<\/code> \u0438\u043b\u0438 <code>validate<\/code> \u0432\u0435\u0440\u043d\u0443\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 \u0441 \u043e\u0448\u0438\u0431\u043a\u043e\u0439, \u0432\u0441\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u043d\u0435\u043c\u0435\u0434\u043b\u0435\u043d\u043d\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0438\u0442\u0441\u044f \u0441 \u044d\u0442\u0438\u043c \u0436\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u043f\u043e\u043b\u044e\u0441\u043e\u043c \u0442\u0438\u043f\u0430 <code>Error<\/code>: <code>&lt;- error -&gt;<\/code>.<\/p>\n<h3>2. \u041f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u0430\u044f \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u043a\u0430 \u0438 \u0440\u0430\u043d\u043d\u0438\u0439 \u0432\u043e\u0437\u0432\u0440\u0430\u0442 (&#8212;!)<\/h3>\n<p>\u0414\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u0433\u0434\u0435 \u043d\u0443\u0436\u043d\u043e \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u043e\u0434\u0440\u044f\u0434, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 <code>--!<\/code>:<\/p>\n<pre><code>load_config: String =&gt; &lt; Config | Error &gt;load_config = path =&gt;   raw = io::read_file(path)--!   cfg = json::parse(raw)--!   &lt;+ cfg +&gt;<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><span class=\"sc-logo-wrapper icon-only\"><\/span><\/a><\/div><\/pre>\n<p>\u0415\u0441\u043b\u0438 <code>io::read_file(path)<\/code> \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 <code>&lt;+ content +&gt;<\/code>, \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 <code>--!<\/code> \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0435\u0442 <code>content<\/code> \u0438 \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0441 <code>raw<\/code>. \u0415\u0441\u043b\u0438 \u0436\u0435 \u0432\u0435\u0440\u043d\u0443\u043b\u0441\u044f <code>&lt;- err -&gt;<\/code>, \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 <code>load_config<\/code> \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f (\u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438 \u0441 \u0442\u0435\u043c, \u043a\u0430\u043a <code>--&gt;<\/code> \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u0442 \u0446\u0438\u043a\u043b), \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0443 \u0432\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0435\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u0435.<\/p>\n<h4>\u0418\u0442\u043e\u0433: \u0435\u0434\u0438\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0432\u043c\u0435\u0441\u0442\u043e \u0437\u043e\u043e\u043f\u0430\u0440\u043a\u0430 \u0442\u0438\u043f\u043e\u0432<\/h4>\n<p>\u0417\u0430 \u0441\u0447\u0435\u0442 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0431\u0443\u043b\u0435\u0432\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438, \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u0441 \u043e\u0448\u0438\u0431\u043a\u0430\u043c\u0438 \u0432 \u0447\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b <code>&lt; ... | ... &gt;<\/code>, Edva \u0438\u0437\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0442 \u0434\u0443\u0431\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u0439:<\/p>\n<ul>\n<li>\n<p>\u0412\u043c\u0435\u0441\u0442\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 <code>bool<\/code>, <code>Option<\/code> \u0438 <code>Result<\/code> \u2014 \u0435\u0434\u0438\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u0443\u0435\u043c\u044b\u0439 \u0442\u0438\u043f <code>{ i1, i64 }<\/code>.<\/p>\n<\/li>\n<li>\n<p>\u0412\u043c\u0435\u0441\u0442\u043e <code>if\/else<\/code>, <code>match<\/code>, <code>.unwrap_or()<\/code> \u0438 <code>if let<\/code> \u2014 \u0435\u0434\u0438\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0432\u044b\u0431\u043e\u0440\u0430 <code>|<\/code> \u0441 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u043c\u0438 \u0432\u0435\u0442\u043a\u0430\u043c\u0438.<\/p>\n<\/li>\n<li>\n<p>\u0412\u043c\u0435\u0441\u0442\u043e \u0440\u0443\u0447\u043d\u044b\u0445 \u0444\u043b\u0430\u0433\u043e\u0432 \u0432\u044b\u0445\u043e\u0434\u0430 \u0438\u0437 \u0446\u0438\u043a\u043b\u043e\u0432 \u2014 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 <code>&gt;--<\/code>, \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0446\u0438\u043a\u043b\u043e\u043c \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0441 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0442\u0438\u043f\u043e\u0432.<\/p>\n<\/li>\n<\/ul>\n<h2>\u0421\u0441\u044b\u043b\u043a\u0438<\/h2>\n<ul>\n<li>\n<p>\u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 Edva <a href=\"https:\/\/github.com\/edva-lang\/edva\" rel=\"noopener nofollow\">https:\/\/github.com\/edva-lang\/edva<\/a><\/p>\n<\/li>\n<li>\n<p>\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f Edva <a href=\"https:\/\/edva-lang.github.io\/\" rel=\"noopener nofollow\">https:\/\/edva-lang.github.io<\/a><\/p>\n<\/li>\n<li>\n<p>\u044d\u043a\u043e\u0441\u0438\u0441\u0442\u0435\u043c\u0430 Edva (\u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0444\u0430\u0439\u043b\u043e\u0432\u043e\u0433\u043e \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440\u0430, \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438 \u0432 WASM) <\/p>\n<\/li>\n<\/ul>\n<\/div>\n<p>\u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/1104020\/\">https:\/\/habr.com\/ru\/articles\/1104020\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u041f\u043e\u043b\u044f\u0440\u043d\u044b\u0435 \u0442\u0438\u043f\u044b \u0434\u0430\u043d\u043d\u044b\u0445 (Ramifications) \u0432 \u044f\u0437\u044b\u043a\u0435 \u042d\u0434\u0432\u0430 (Edva): \u0435\u0434\u0438\u043d\u0430\u044f \u0437\u0430\u043c\u0435\u043d\u0430 \u0434\u043b\u044f bool, Option \u0438 Result\u0412 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u043e\u043d\u044f\u0442\u0438\u044f \u00ab\u0438\u0441\u0442\u0438\u043d\u0430\/\u043b\u043e\u0436\u044c\u00bb, \u00ab\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0435\u0441\u0442\u044c\/\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043d\u0435\u0442\u00bb \u0438 \u00ab\u0443\u0441\u043f\u0435\u0445\/\u043e\u0448\u0438\u0431\u043a\u0430\u00bb \u0436\u0438\u0432\u0443\u0442 \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u043c\u0438\u0440\u0430\u0445. \u0414\u043b\u044f \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432 bool \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 if\/else, \u0434\u043b\u044f \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u2014 Option&lt;T&gt; (Maybe a), \u0434\u043b\u044f \u0442\u0440\u0435\u0442\u044c\u0435\u0433\u043e \u2014 Result&lt;T, E&gt; (Either a b). \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0438\u0437 \u043d\u0438\u0445 \u0441\u0432\u043e\u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b (true\/false, Some\/None, Ok\/Err) \u0438 \u0441\u0432\u043e\u0439 \u043d\u0430\u0431\u043e\u0440 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u043e\u0432.\u0421\u0438\u0441\u0442\u0435\u043c\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f Edva, \u0441\u043f\u0440\u043e\u0435\u043a\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0431\u0435\u0437 \u0435\u0434\u0438\u043d\u043e\u0433\u043e \u043a\u043b\u044e\u0447\u0435\u0432\u043e\u0433\u043e \u0441\u043b\u043e\u0432\u0430, \u0441\u0432\u043e\u0434\u0438\u0442 \u0432\u0441\u0435 \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u0438\u0441\u0445\u043e\u0434\u044b \u043a \u0435\u0434\u0438\u043d\u043e\u043c\u0443 \u043f\u0440\u0438\u043c\u0438\u0442\u0438\u0432\u0443 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0442\u0438\u043f\u043e\u0432 \u2014 \u0430\u043b\u0433\u0435\u0431\u0440\u0430\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u0440\u0430\u0437\u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f\u043c (Algebraic Ramifications, \u0438\u043b\u0438 \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u2014 Rams).\u0427\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0432 \u043f\u0430\u043c\u044f\u0442\u0438\u0412 \u042d\u0434\u0432\u0435 \u043b\u044e\u0431\u043e\u0439 \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0439 \u0438\u0441\u0445\u043e\u0434 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u0438\u043f\u043e\u043c \u0441 \u0434\u0432\u0443\u043c\u044f \u043f\u043e\u043b\u044e\u0441\u0430\u043c\u0438: \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u043c (\u043b\u0435\u0432\u044b\u043c) \u0438 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c (\u043f\u0440\u0430\u0432\u044b\u043c). \u0412 \u0437\u0430\u0432\u0438\u0441\u0438\u043c\u0441\u0442\u0438 \u043e\u0442 \u0442\u043e\u0433\u043e, \u043d\u0435\u0441\u0443\u0442 \u043b\u0438 \u043f\u043e\u043b\u044e\u0441\u0430 \u043f\u043e\u043b\u0435\u0437\u043d\u0443\u044e \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0443, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0440\u043e\u0432\u043d\u043e \u0447\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b:\u0424\u043e\u0440\u043c\u0430 \u0442\u0438\u043f\u0430\u041f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441\u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441\u0427\u0442\u043e \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u0442 \u0432 \u043a\u043b\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u044f\u0437\u044b\u043a\u0430\u0445&lt;&gt;&lt;+&gt;\u043f\u0443\u0441\u0442\u043e&lt;-&gt;\u043f\u0443\u0441\u0442\u043ebool (true \/ false)&lt; T | &gt;&lt;+ value +&gt;\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 T&lt;&#8212;&gt;\u043f\u0443\u0441\u0442\u043eOption&lt;T&gt; (Some(T) \/ None)&lt; | E &gt;&lt;++&gt;\u043f\u0443\u0441\u0442\u043e&lt;- error -&gt;\u043e\u0448\u0438\u0431\u043a\u0430 \u0442\u0438\u043f\u0430 E\u0421\u0442\u0430\u0442\u0443\u0441 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f (Ok(()) \/ Err(E))&lt; T | E &gt;&lt;+ value -&gt;\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0442\u0438\u043f\u0430 T&lt;- error +&gt;\u043e\u0448\u0438\u0431\u043a\u0430 \u0442\u0438\u043f\u0430 EResult&lt;T, E&gt; (Ok(T) \/ Err(E))\u041d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 LLVM IR \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u043d\u0435 \u0442\u0440\u0435\u0431\u0443\u044e\u0442 \u0430\u043b\u043b\u043e\u043a\u0430\u0446\u0438\u0439 \u0432 \u043a\u0443\u0447\u0435 \u0438\u043b\u0438 \u0441\u043b\u043e\u0436\u043d\u044b\u0445 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0442\u0435\u0433\u043e\u0432 \u2014 \u043e\u043d\u0438 \u0443\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u044e\u0442\u0441\u044f \u0432 \u043a\u043e\u043c\u043f\u0430\u043a\u0442\u043d\u043e\u0435 \u043d\u0435\u043e\u0431\u0451\u0440\u043d\u0443\u0442\u043e\u0435 (unboxed) \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 { i1, i64 } (\u0431\u0438\u0442 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u0438 \u043f\u043b\u044e\u0441 \u043f\u043e\u043b\u0435\u0437\u043d\u0430\u044f \u043d\u0430\u0433\u0440\u0443\u0437\u043a\u0430), \u0430 \u0432 \u0441\u043b\u0443\u0447\u0430\u044f\u0445, \u043a\u043e\u0433\u0434\u0430 \u0442\u0438\u043f \u0443\u0436\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u043e\u0431\u043e\u0439 \u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c, \u043d\u0435 \u043d\u0443\u0436\u0435\u043d \u0434\u0430\u0436\u0435 \u0431\u0438\u0442 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u0438, \u043f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0432\u0442\u043e\u0440\u043e\u0439 \u043f\u043e\u043b\u044e\u0441 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u043d\u0443\u043b\u0435\u0432\u044b\u043c \u0430\u0434\u0440\u0435\u0441\u043e\u043c, \u0438 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0441\u043e\u043a\u0440\u0430\u0449\u0430\u0435\u0442\u0441\u044f \u0434\u043e { i64 }.\u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b \u043f\u043e\u043b\u044e\u0441\u043e\u0432\u0414\u043b\u044f \u044f\u0432\u043d\u043e\u0433\u043e \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0433\u043e \u0442\u0438\u043f\u0430 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442\u0441\u044f \u0441\u0438\u043c\u043c\u0435\u0442\u0440\u0438\u0447\u043d\u044b\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044c\u043d\u044b\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u043e\u0440\u044b:\u041f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441: &lt;+&gt;, &lt;+ val +&gt;, &lt;++&gt;, &lt;+ val -&gt; (\u043f\u0443\u0441\u0442\u043e\u0439 \u0443\u0441\u043f\u0435\u0445 \u0438\u043b\u0438 \u0443\u0441\u043f\u0435\u0445 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c val).\u041e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441: &lt;-&gt;, &lt;&#8212;&gt;, &lt;- err -&gt;, &lt;- err +&gt; (\u043f\u0443\u0441\u0442\u0430\u044f \u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u0438\u043b\u0438 \u043d\u0435\u0443\u0434\u0430\u0447\u0430 \u0441\u043e \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c err).\u0412\u0437\u0430\u0438\u043c\u043e\u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0435 \u0441 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c \u0432\u044b\u0431\u043e\u0440\u0430 \u0438 \u0441\u0442\u0440\u0430\u0436\u0430\u043c\u0438 | \u0438 [&#8230;]\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u0432 Edva \u043d\u0435\u0442 \u043a\u043b\u044e\u0447\u0435\u0432\u044b\u0445 \u0441\u043b\u043e\u0432 if, else, match \u0438\u043b\u0438 switch, \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u0442\u043e\u043a\u043e\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u0441\u044f \u043d\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0435 \u0432\u044b\u0431\u043e\u0440\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 [\u0441\u0442\u0440\u0430\u0436 \u0432\u0435\u0442\u0432\u044c]+\u0414\u043b\u044f \u043e\u0431\u044b\u0447\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u0441\u0442\u0440\u0430\u0436\u0438 \u0432 \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u043d\u044b\u0445 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u044e\u0442 \u0440\u0430\u0432\u0435\u043d\u0441\u0442\u0432\u043e \u0438\u043b\u0438 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442, \u0430 | \u0432\u044b\u0441\u0442\u0443\u043f\u0430\u0435\u0442 \u0432\u0435\u0442\u043a\u043e\u0439 \u043f\u043e \u0443\u043c\u043e\u043b\u0447\u0430\u043d\u0438\u044e:  classify = score =&gt;   score [100]    &#171;perfect&#187;         [99, 98] &#171;almost perfect&#187;         [&gt; 90]   &#171;distinction&#187;         [&gt; 50]   &#171;pass&#187;         |        &#171;fail&#187;\u041a\u043e\u0433\u0434\u0430 \u0436\u0435 \u0441\u043b\u0435\u0432\u0430 \u043e\u0442 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0431\u043e\u0440\u0430 | \u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0439 \u0442\u0438\u043f (ramification), \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u043e\u0435 \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435:\u043f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0442\u043a\u0430 \u043f\u043e\u0441\u043b\u0435 | \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 (+),\u0432\u0442\u043e\u0440\u0430\u044f \u0432\u0435\u0442\u043a\u0430 \u043f\u043e\u0441\u043b\u0435 | \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 (-).\u0415\u0441\u043b\u0438 \u043f\u043e\u043b\u044e\u0441 \u043d\u0435\u0441\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u0432\u043d\u0443\u0442\u0440\u0438 \u0432\u0435\u0442\u043a\u0438 \u043a \u043d\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c\u0441\u044f \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u0439 \u043f\u043b\u0435\u0439\u0441\u0445\u043e\u043b\u0434\u0435\u0440 _ (\u0438\u043b\u0438 \u0441\u0435\u043a\u0446\u0438\u044e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430):\/\/ \u0424\u0443\u043d\u043a\u0446\u0438\u044f \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 &lt; Int | &gt; (\u0430\u043d\u0430\u043b\u043e\u0433 Option&lt;Int&gt;)res = find_target(10, 7)\/\/ \u041f\u0435\u0440\u0432\u0430\u044f \u0432\u0435\u0442\u043a\u0430 \u0431\u0435\u0440\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438\u0437 &lt;+ val +&gt;, \u0432\u0442\u043e\u0440\u0430\u044f \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442 \u043d\u0430 &lt;&#8212;&gt;res | print_int(_) | print $ &#171;Not found&#187;\u041d\u0438\u043a\u0430\u043a\u0438\u0445 if let Some(x) = res \u0438\u043b\u0438 match res { Some(x) =&gt; &#8230;, None =&gt; &#8230; }: \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0432\u044b\u0431\u0438\u0440\u0430\u0435\u0442 \u043d\u0443\u0436\u043d\u0443\u044e \u0432\u0435\u0442\u0432\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f.\u0426\u0438\u043a\u043b\u044b \u043a\u0430\u043a \u0433\u0435\u043d\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 (&gt;&#8212;)\u0412 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043f\u043e\u0438\u0441\u043a \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0432 \u0446\u0438\u043a\u043b\u0435 \u043e\u0431\u044b\u0447\u043d\u043e \u0442\u0440\u0435\u0431\u0443\u0435\u0442 \u043c\u0443\u0442\u0430\u0431\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u0444\u043b\u0430\u0433\u0430 found = false \u0438\u043b\u0438 \u0434\u043e\u0441\u0440\u043e\u0447\u043d\u043e\u0433\u043e return \u0438\u0437 \u0444\u0443\u043d\u043a\u0446\u0438\u0438. \u0412 Edva \u0446\u0438\u043a\u043b\u044b (@) \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f\u043c\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u0432\u044b\u0445\u043e\u0434\u0430 &gt;&#8212; \u0435\u0441\u0442\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 &lt; T | &gt;:\/\/ \u0426\u0438\u043a\u043b \u0438\u0449\u0435\u0442 \u0446\u0435\u043b\u044c \u0432 \u0434\u0438\u0430\u043f\u0430\u0437\u043e\u043d\u0435 0..count \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 &lt; Int | &gt;find_target: Int, Int =&gt; &lt; Int | &gt;find_target = count, target =&gt;   count @ i =&gt;      i [target] &#8212;&gt;         \/\/ \u0435\u0441\u043b\u0438 i == target, \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u043c \u0446\u0438\u043a\u043b (break)   &gt;&#8212;      target                 \/\/ \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u043f\u0440\u0438 \u0441\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u043d\u0438\u0438 &#8212;&gt;\u041c\u0435\u0445\u0430\u043d\u0438\u043a\u0430 \u0440\u0430\u0431\u043e\u0442\u044b &gt;&#8212;:\u0415\u0441\u043b\u0438 \u0432\u043d\u0443\u0442\u0440\u0438 \u0446\u0438\u043a\u043b\u0430 \u0441\u0440\u0430\u0431\u043e\u0442\u0430\u043b \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u044f &#8212;&gt;, \u0431\u043b\u043e\u043a \u043f\u043e\u0441\u043b\u0435 &gt;&#8212; \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0438\u0440\u0443\u044e\u0449\u0435\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0443\u043f\u0430\u043a\u043e\u0432\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0432 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 &lt;+ target +&gt;.\u0415\u0441\u043b\u0438 \u0446\u0438\u043a\u043b \u043f\u0440\u043e\u0448\u0435\u043b \u0434\u043e \u043a\u043e\u043d\u0446\u0430 \u0431\u0435\u0437 \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u043d\u0438\u0439, \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0446\u0435\u043b\u0438\u043a\u043e\u043c \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 &lt;&#8212;&gt;.\u041f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0442\u0443\u0442 \u0436\u0435 \u0433\u043e\u0442\u043e\u0432 \u043a \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0435 \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0432\u044b\u0431\u043e\u0440\u0430 | \u0438\u043b\u0438 \u0434\u0430\u043b\u044c\u0448\u0435 \u043f\u043e \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u0443.\u041a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u044f \u0438 \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u043e\u0448\u0438\u0431\u043e\u043a: $&gt;&gt; \u0438 &#8212;!\u041a\u043e\u0433\u0434\u0430 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044e\u0442 &lt; T | E &gt; \u0438\u043b\u0438 &lt; T | &gt;, Edva \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u0435\u0442 \u0434\u0432\u0430 \u0441\u043f\u043e\u0441\u043e\u0431\u0430 \u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438 \u0431\u0435\u0437 \u0440\u0443\u0447\u043d\u043e\u0433\u043e \u0440\u0430\u0437\u0431\u043e\u0440\u0430 \u0432\u0435\u0442\u043e\u043a: \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u043d\u043e\u0435 \u043c\u043e\u043d\u0430\u0434\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u043d\u0438\u0435 \u0438 \u043f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u043e\u0435 \u043f\u0440\u043e\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u043d\u0438\u0435.1. \u041c\u043e\u043d\u0430\u0434\u0438\u0447\u0435\u0441\u043a\u0438\u0439 bind ($&gt;&gt;)\u041e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 $&gt;&gt; \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 \u0447\u0435\u0440\u0435\u0437 \u0446\u0435\u043f\u043e\u0447\u043a\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0430 \u043f\u0440\u0438 \u0432\u043e\u0437\u043d\u0438\u043a\u043d\u043e\u0432\u0435\u043d\u0438\u0438 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u043b\u044e\u0441\u0430 (&lt;- err -&gt; \u0438\u043b\u0438 &lt;&#8212;&gt;) \u043a\u043e\u0440\u043e\u0442\u043a\u043e \u0437\u0430\u043c\u044b\u043a\u0430\u0435\u0442 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u043d\u0430 \u0432\u044b\u0445\u043e\u0434:find_user: String =&gt; &lt; User | Error &gt;find_user = id =&gt;   query_db(id) $&gt;&gt; validate $&gt;&gt; (&lt;+ _ +&gt;)\/\/ \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0441 \u043f\u043e\u0434\u0447\u0451\u0440\u043a\u0438\u0432\u0430\u043d\u0438\u0435\u043c \u0432 \u0441\u043a\u043e\u0431\u043a\u0430\u0445 \u044d\u0442\u043e \u043b\u044f\u043c\u0431\u0434\u0430, \u044d\u043a\u0432\u0438\u0430\u043b\u0435\u043d\u0442\u043d\u043e x =&gt; &lt;+ x +&gt;\u0415\u0441\u043b\u0438 query_db \u0438\u043b\u0438 validate \u0432\u0435\u0440\u043d\u0443\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u043f\u043e\u043b\u044e\u0441 \u0441 \u043e\u0448\u0438\u0431\u043a\u043e\u0439, \u0432\u0441\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430 \u043d\u0435\u043c\u0435\u0434\u043b\u0435\u043d\u043d\u043e \u0437\u0430\u0432\u0435\u0440\u0448\u0438\u0442\u0441\u044f \u0441 \u044d\u0442\u0438\u043c \u0436\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u043f\u043e\u043b\u044e\u0441\u043e\u043c \u0442\u0438\u043f\u0430 Error: &lt;- error -&gt;.2. \u041f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u0430\u044f \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u043a\u0430 \u0438 \u0440\u0430\u043d\u043d\u0438\u0439 \u0432\u043e\u0437\u0432\u0440\u0430\u0442 (&#8212;!)\u0414\u043b\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u0433\u0434\u0435 \u043d\u0443\u0436\u043d\u043e \u0440\u0430\u0441\u043f\u0430\u043a\u043e\u0432\u0430\u0442\u044c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u043e \u043f\u043e\u043b\u044f\u0440\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u043e\u0434\u0440\u044f\u0434, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043f\u043e\u0441\u0442\u0444\u0438\u043a\u0441\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 &#8212;!:load_config: String =&gt; &lt; Config | Error &gt;load_config = path =&gt;   raw = io::read_file(path)&#8212;!   cfg = json::parse(raw)&#8212;!   &lt;+ cfg +&gt;\u0415\u0441\u043b\u0438 io::read_file(path) \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 &lt;+ content +&gt;, \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 &#8212;! \u0438\u0437\u0432\u043b\u0435\u043a\u0430\u0435\u0442 content \u0438 \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0441 raw. \u0415\u0441\u043b\u0438 \u0436\u0435 \u0432\u0435\u0440\u043d\u0443\u043b\u0441\u044f &lt;- err -&gt;, \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 load_config \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u0442\u0441\u044f (\u043f\u043e \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438 \u0441 \u0442\u0435\u043c, \u043a\u0430\u043a &#8212;&gt; \u043f\u0440\u0435\u0440\u044b\u0432\u0430\u0435\u0442 \u0446\u0438\u043a\u043b), \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0443 \u0432\u044b\u0437\u044b\u0432\u0430\u044e\u0449\u0435\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u0435.\u0418\u0442\u043e\u0433: \u0435\u0434\u0438\u043d\u0430\u044f \u0430\u043b\u0433\u0435\u0431\u0440\u0430 \u0432\u043c\u0435\u0441\u0442\u043e \u0437\u043e\u043e\u043f\u0430\u0440\u043a\u0430 \u0442\u0438\u043f\u043e\u0432\u0417\u0430 \u0441\u0447\u0435\u0442 \u043e\u0431\u044a\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u0431\u0443\u043b\u0435\u0432\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0438, \u043e\u043f\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u044b\u0445 \u0442\u0438\u043f\u043e\u0432 \u0438 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u043e\u0432 \u0441 \u043e\u0448\u0438\u0431\u043a\u0430\u043c\u0438 \u0432 \u0447\u0435\u0442\u044b\u0440\u0435 \u0444\u043e\u0440\u043c\u044b &lt; &#8230; | &#8230; &gt;, Edva \u0438\u0437\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u043e\u0442 \u0434\u0443\u0431\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u0439:\u0412\u043c\u0435\u0441\u0442\u043e \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0445 bool, Option \u0438 Result \u2014 \u0435\u0434\u0438\u043d\u044b\u0439 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0438\u0437\u0443\u0435\u043c\u044b\u0439 \u0442\u0438\u043f { i1, i64 }.\u0412\u043c\u0435\u0441\u0442\u043e if\/else, match, .unwrap_or() \u0438 if let \u2014 \u0435\u0434\u0438\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0432\u044b\u0431\u043e\u0440\u0430 | \u0441 \u043f\u043e\u0437\u0438\u0446\u0438\u043e\u043d\u043d\u044b\u043c\u0438 \u0432\u0435\u0442\u043a\u0430\u043c\u0438.\u0412\u043c\u0435\u0441\u0442\u043e \u0440\u0443\u0447\u043d\u044b\u0445 \u0444\u043b\u0430\u0433\u043e\u0432 \u0432\u044b\u0445\u043e\u0434\u0430 \u0438\u0437 \u0446\u0438\u043a\u043b\u043e\u0432 \u2014 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 &gt;&#8212;, \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u044e\u0449\u0438\u0439 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u0446\u0438\u043a\u043b\u043e\u043c \u043d\u0430\u043f\u0440\u044f\u043c\u0443\u044e \u0441 \u0441\u0438\u0441\u0442\u0435\u043c\u043e\u0439 \u0442\u0438\u043f\u043e\u0432.\u0421\u0441\u044b\u043b\u043a\u0438\u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0439 Edva https:\/\/github.com\/edva-lang\/edva\u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f Edva https:\/\/edva-lang.github.io\u044d\u043a\u043e\u0441\u0438\u0441\u0442\u0435\u043c\u0430 Edva (\u043f\u0440\u0438\u043c\u0435\u0440\u044b \u0444\u0430\u0439\u043b\u043e\u0432\u043e\u0433\u043e \u043c\u0435\u043d\u0435\u0434\u0436\u0435\u0440\u0430, \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a \u0438 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0446\u0438\u0438 \u0432 WASM) \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 https:\/\/habr.com\/ru\/articles\/1104020\/<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-501819","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/501819","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=501819"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/501819\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=501819"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=501819"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=501819"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}