{"id":476241,"date":"2026-04-17T04:17:02","date_gmt":"2026-04-17T04:17:02","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=476241"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=476241","title":{"rendered":"\u041f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430 \u0434\u043b\u044f \u043d\u0435\u0432\u0438\u0434\u0438\u043c\u043e\u0433\u043e \u043e\u0440\u043a\u0435\u0441\u0442\u0440\u0430"},"content":{"rendered":"<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0435\u0431\u0435 \u043f\u044f\u0442\u0438\u044d\u0442\u0430\u0436\u043d\u044b\u0439 \u0434\u043e\u043c \u0431\u0435\u0437 \u043b\u0438\u0444\u0442\u0430, \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0432 \u043a\u043e\u043d\u0446\u0435 \u043f\u044f\u0442\u0438\u0434\u0435\u0441\u044f\u0442\u044b\u0445, \u0433\u0434\u0435-\u043d\u0438\u0431\u0443\u0434\u044c \u043d\u0430 \u043e\u0442\u0448\u0438\u0431\u0435 \u0410\u0432\u0442\u043e\u0437\u0430\u0432\u043e\u0434\u0441\u043a\u043e\u0439, \u0438\u043b\u0438 \u0435\u0449\u0435 \u043b\u0443\u0447\u0448\u0435 \u2013 \u0432 \u041a\u0443\u043f\u0447\u0438\u043d\u043e. \u041a\u0430\u0436\u0434\u044b\u0439 \u044d\u0442\u0430\u0436 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a \u0441\u043e \u0441\u0432\u043e\u0435\u0439 \u0437\u0430\u043f\u0438\u0441\u044c\u044e. \u041d\u0435 \u0432 \u043f\u0435\u0440\u0435\u043d\u043e\u0441\u043d\u043e\u043c, \u0430 \u0432 \u0441\u0430\u043c\u043e\u043c \u043f\u0440\u044f\u043c\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435: \u043f\u0435\u0440\u0432\u044b\u0439 \u044d\u0442\u0430\u0436 \u043e\u0431\u0449\u0430\u0435\u0442\u0441\u044f \u043a\u0438\u0440\u0438\u043b\u043b\u0438\u0446\u0435\u0439, \u0432\u0442\u043e\u0440\u043e\u0439 \u2013 \u043b\u0430\u0442\u0438\u043d\u0438\u0446\u0435\u0439, \u0442\u0440\u0435\u0442\u0438\u0439 \u2013 \u0438\u0435\u0440\u043e\u0433\u043b\u0438\u0444\u0430\u043c\u0438, \u0447\u0435\u0442\u0432\u0435\u0440\u0442\u044b\u0439 \u2013 \u043a\u043b\u0438\u043d\u043e\u043f\u0438\u0441\u044c\u044e, \u0430 \u043f\u044f\u0442\u044b\u0439, \u043f\u043e\u0434\u043e\u0431\u043d\u043e \u0412\u0438\u0442\u0433\u0435\u043d\u0448\u0442\u0435\u0439\u043d\u0443, \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u043e \u043c\u043e\u043b\u0447\u0438\u0442, \u043f\u043e\u043b\u0430\u0433\u0430\u044f, \u0447\u0442\u043e \u043e \u0447\u0435\u043c \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c, \u043e \u0442\u043e\u043c \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043c\u043e\u043b\u0447\u0430\u0442\u044c. \u041f\u043e\u0447\u0442\u0430\u043b\u044c\u043e\u043d, \u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0439 \u043a\u043e\u0440\u0440\u0435\u0441\u043f\u043e\u043d\u0434\u0435\u043d\u0446\u0438\u044e, \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d \u043d\u0435\u0441\u0442\u0438 \u043f\u044f\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u0432 \u043e\u0434\u043d\u043e\u0433\u043e \u0438 \u0442\u043e\u0433\u043e \u0436\u0435 \u043f\u0438\u0441\u044c\u043c\u0430, \u043f\u0435\u0440\u0435\u0432\u0435\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u044d\u0442\u0438\u0445 \u044f\u0437\u044b\u043a\u043e\u0432, \u0438 \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437 \u0441\u0442\u0443\u0447\u0430\u0442\u044c\u0441\u044f \u0432 \u0434\u0432\u0435\u0440\u044c, \u043d\u0430\u0434\u0435\u044f\u0441\u044c, \u0447\u0442\u043e \u0430\u0434\u0440\u0435\u0441\u0430\u0442 \u043d\u0435 \u043f\u0435\u0440\u0435\u0435\u0445\u0430\u043b \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u0439 \u044d\u0442\u0430\u0436.<\/p>\n<p>\u0418\u043c\u0435\u043d\u043d\u043e \u0442\u0430\u043a \u0443\u0441\u0442\u0440\u043e\u0435\u043d \u043c\u0438\u0440 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0435\u0441\u043b\u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043d\u0430 \u043d\u0435\u0433\u043e \u0438\u0437-\u0437\u0430 \u043a\u0443\u043b\u0438\u0441, \u0430 \u043d\u0435 \u0438\u0437 \u043f\u0430\u0440\u0442\u0435\u0440\u0430. \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u2013 \u0441\u0432\u043e\u0435 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043a\u043e\u0434\u0430. \u041f\u0438\u0442\u043e\u043d \u0445\u0440\u0430\u043d\u0438\u0442 \u0441\u0432\u043e\u0439 AST, \u043a\u0430\u043a \u0431\u0435\u0440\u0435\u0436\u043b\u0438\u0432\u0430\u044f \u0434\u043e\u043c\u043e\u0445\u043e\u0437\u044f\u0439\u043a\u0430 \u0445\u0440\u0430\u043d\u0438\u0442 \u043a\u0440\u0443\u043f\u0443: \u0432 \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0430\u0445 \u0441 \u044d\u0442\u0438\u043a\u0435\u0442\u043a\u0430\u043c\u0438 <code>BinOp<\/code>, <code>FunctionDef<\/code>, <code>Name<\/code>. \u042d\u043b\u0438\u043a\u0441\u0438\u0440, \u0432 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0439 \u0435\u043c\u0443 \u0441\u0430\u043c\u043e\u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439 \u043c\u0430\u043d\u0435\u0440\u0435, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0442\u0440\u043e\u0439\u043a\u0438 <code>{\u0430\u0442\u043e\u043c, \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435, \u0434\u0435\u0442\u0438}<\/code> \u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u044d\u0442\u043e <em>quoted expressions<\/em>, \u0441\u043b\u043e\u0432\u043d\u043e \u043f\u0435\u0440\u0435\u0434 \u043d\u0430\u043c\u0438 \u043d\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e, \u0430 \u0441\u043e\u0431\u0440\u0430\u043d\u0438\u0435 \u0446\u0438\u0442\u0430\u0442 \u0438\u0437 \u041c\u0430\u043d\u0434\u0435\u043b\u044c\u0448\u0442\u0430\u043c\u0430. Ruby \u0441\u043a\u043b\u0430\u0434\u0438\u0440\u0443\u0435\u0442 \u0441\u0432\u043e\u0438 S-\u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043a\u0430\u043a \u0431\u0443\u043a\u0438\u043d\u0438\u0441\u0442 \u2013 \u043f\u043e\u0436\u0435\u043b\u0442\u0435\u0432\u0448\u0438\u0435 \u0442\u043e\u043c\u0430, \u0430 Erlang, \u0432\u0435\u0440\u043d\u044b\u0439 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u044f\u043c, \u0440\u0430\u0437\u0433\u043e\u0432\u0430\u0440\u0438\u0432\u0430\u0435\u0442 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u0438 \u0430\u0442\u043e\u043c\u043e\u0432, \u043f\u043e\u043d\u044f\u0442\u043d\u043e\u043c \u043b\u0438\u0448\u044c \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0430\u043c Ericsson \u0438, \u043f\u043e \u0441\u0442\u0440\u0430\u043d\u043d\u043e\u043c\u0443 \u0441\u0442\u0435\u0447\u0435\u043d\u0438\u044e \u043e\u0431\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u0441\u0442\u0432, \u0430\u0441\u043f\u0438\u0440\u0430\u043d\u0442\u0430\u043c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0448\u0432\u0435\u0434\u0441\u043a\u0438\u0445 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u043e\u0432.<\/p>\n<p>\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0430 \u043b\u044e\u0431\u043e\u043c\u0443, \u043a\u0442\u043e \u0445\u043e\u0442\u044c \u0440\u0430\u0437 \u043f\u044b\u0442\u0430\u043b\u0441\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u0434\u0430. \u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u0432\u044b \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u043f\u0440\u0435\u0432\u043e\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0446\u0438\u043a\u043b\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0434\u043b\u044f Python. \u041e\u043d \u0432\u0435\u043b\u0438\u043a\u043e\u043b\u0435\u043f\u0435\u043d: \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f, \u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u0442\u043e\u0447\u043a\u0438 \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f, \u0440\u0438\u0441\u0443\u0435\u0442 \u0433\u0440\u0430\u0444\u044b \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f. \u0417\u0430\u0442\u0435\u043c \u043a \u0432\u0430\u043c \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043a\u043e\u043b\u043b\u0435\u0433\u0430 \u0438 \u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u0435\u0442: \u00ab\u0410 \u0434\u043b\u044f <em>Ruby<\/em> \u0441\u0434\u0435\u043b\u0430\u0435\u0448\u044c?\u00bb \u0418 \u0442\u0443\u0442 \u0432\u044b\u044f\u0441\u043d\u044f\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0432\u0435\u0441\u044c \u0432\u0430\u0448 \u0442\u0440\u0443\u0434 \u2013 \u0432\u0441\u0435 \u044d\u0442\u0438 \u043e\u0431\u0445\u043e\u0434\u0447\u0438\u043a\u0438 \u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432, \u0432\u0441\u0435 \u044d\u0442\u0438 \u043f\u0430\u0442\u0442\u0435\u0440\u043d-\u043c\u0430\u0442\u0447\u0438\u043d\u0433\u0438 \u043d\u0430\u0434 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u043c AST \u2013 \u043d\u0443\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0437\u0430\u043d\u043e\u0432\u043e. \u0421 \u043d\u0443\u043b\u044f. \u0414\u043b\u044f \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u0434\u0435\u0440\u0435\u0432\u0430, \u0441 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u0443\u0437\u043b\u0430\u043c\u0438, \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 \u0438 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u043f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u043c\u0438 \u043a\u0430\u043c\u043d\u044f\u043c\u0438. \u0410 \u043f\u043e\u0442\u043e\u043c \u043f\u0440\u0438\u0434\u0435\u0442 \u0442\u0440\u0435\u0442\u0438\u0439 \u043a\u043e\u043b\u043b\u0435\u0433\u0430 \u0438 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u0442 \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0434\u043b\u044f <em>Haskell<\/em>.<\/p>\n<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0435\u0431\u0435 \u0434\u0438\u0440\u0438\u0436\u0435\u0440\u0430, \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u0430\u043d\u043e\u0432\u043e \u0443\u0447\u0438\u0442\u044c \u043d\u043e\u0442\u043d\u0443\u044e \u0433\u0440\u0430\u043c\u043e\u0442\u0443 \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432 \u043e\u0440\u043a\u0435\u0441\u0442\u0440 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442. \u0421\u043a\u0440\u0438\u043f\u043a\u0430 \u2013 \u043e\u0434\u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0437\u0430\u043f\u0438\u0441\u0438. \u0412\u0438\u043e\u043b\u043e\u043d\u0447\u0435\u043b\u044c \u2013 \u0434\u0440\u0443\u0433\u0430\u044f. \u0413\u043e\u0431\u043e\u0439 \u2013 \u0442\u0440\u0435\u0442\u044c\u044f, \u043f\u0440\u0438\u0447\u0435\u043c \u0441 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u044c\u044e. \u0422\u0440\u0443\u0431\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043e\u0442\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438\u0437\u043d\u0430\u0432\u0430\u0442\u044c \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u043e\u0442\u043d\u043e\u0433\u043e \u0441\u0442\u0430\u043d\u0430 \u0438 \u043d\u0430\u0441\u0442\u0430\u0438\u0432\u0430\u0435\u0442 \u043d\u0430 \u0442\u0430\u0431\u0443\u043b\u0430\u0442\u0443\u0440\u0435 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u0437\u043e\u0431\u0440\u0435\u0442\u0435\u043d\u0438\u044f. \u0410\u0431\u0441\u0443\u0440\u0434, \u0440\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f. \u0412 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u043c \u043c\u0438\u0440\u0435 \u0432\u0441\u0435 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u044b \u0447\u0438\u0442\u0430\u044e\u0442 \u043e\u0434\u043d\u0443 \u0438 \u0442\u0443 \u0436\u0435 \u043f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0443. \u041d\u043e\u0442\u044b, \u0440\u0438\u0442\u043c, \u0434\u0438\u043d\u0430\u043c\u0438\u043a\u0430 \u2013 \u0435\u0434\u0438\u043d\u044b. \u0420\u0430\u0437\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f.<\/p>\n<p><code>MetaAST<\/code> \u2013 \u044d\u0442\u043e \u043f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430.<\/p>\n<hr\/>\n<p>\u041f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043a \u0434\u0435\u0442\u0430\u043b\u044f\u043c (\u0430 \u043e\u043d\u0438 \u0437\u0430\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u044e\u0442 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u044f, \u043a\u0430\u043a \u0437\u0430\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u0432\u044b\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0434\u0435\u0442\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0439 \u0441\u044e\u0436\u0435\u0442), \u043f\u043e\u0437\u0432\u043e\u043b\u044c\u0442\u0435 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u043e\u0442\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435 \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443 \u0442\u0435\u043e\u0440\u0438\u0438. \u0414\u043b\u044f \u043f\u044f\u0442\u0438\u043b\u0435\u0442\u043d\u0438\u0445 \u041b\u0430\u0439\u043c\u0430\u043d\u043e\u0432: \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u0444\u043e\u0440\u043c\u0443\u043b, \u043e\u0434\u043d\u0438 \u0441\u043f\u043b\u043e\u0448\u043d\u044b\u0435 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438. \u0412\u043f\u0440\u043e\u0447\u0435\u043c, \u043e\u0434\u043d\u0430 \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u0432\u0441\u0435-\u0442\u0430\u043a\u0438 \u0431\u0443\u0434\u0435\u0442, \u043d\u043e \u043e\u043d\u0430 \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u044d\u043b\u0435\u0433\u0430\u043d\u0442\u043d\u0430, \u0447\u0442\u043e \u043d\u0435 \u043f\u0440\u043e\u0446\u0438\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0435\u0435 \u0431\u044b\u043b\u043e \u0431\u044b \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435\u043c \u043f\u0435\u0440\u0435\u0434 \u044d\u0441\u0442\u0435\u0442\u0438\u043a\u043e\u0439.<\/p>\n<p>\u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u0434\u0432\u0443\u0445\u0442\u044b\u0441\u044f\u0447\u043d\u044b\u0445 \u2013 \u043a\u043e\u0433\u0434\u0430 \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u044b\u0435 \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u044b \u0443\u0436\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043b\u0438, \u043d\u043e \u0435\u0449\u0435 \u043d\u0435 \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u043b\u0438 \u043d\u0430\u0448\u0438\u043c\u0438 \u0436\u0438\u0437\u043d\u044f\u043c\u0438 \u2013 \u043a\u043e\u043d\u0441\u043e\u0440\u0446\u0438\u0443\u043c <em>OMG<\/em> (<em>Object Management Group<\/em>, \u043d\u0435 \u0438\u043c\u0435\u044e\u0449\u0438\u0439 \u043d\u0438\u043a\u0430\u043a\u043e\u0433\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043d\u0438 \u043a \u0431\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u043c\u0443, \u043d\u0438 \u043a \u0432\u043e\u0441\u043a\u043b\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443) \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442 \u043f\u043e\u0434 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435\u043c MOF: Meta-Object Facility. \u0421\u0443\u0442\u044c \u0435\u0433\u043e \u0443\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u0447\u0435\u0442\u044b\u0440\u0435 \u0441\u0442\u0440\u043e\u0447\u043a\u0438, \u043d\u043e \u043d\u0430 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u044d\u0442\u0438\u0445 \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0441\u0442\u0440\u043e\u0447\u0435\u043a \u0443 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u0438 \u0443\u0448\u043b\u043e \u0434\u0432\u0430 \u0434\u0435\u0441\u044f\u0442\u0438\u043b\u0435\u0442\u0438\u044f. MOF \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u0443\u044e \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044e \u043c\u043e\u0434\u0435\u043b\u0435\u0439:<\/p>\n<p><strong>M\u2070<\/strong> \u2013 \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u043a\u043e\u0434. \u0412\u043e\u0442 \u043e\u043d \u0431\u0435\u0436\u0438\u0442, \u0432\u044b\u043f\u043b\u0435\u0432\u044b\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u043f\u0430\u0434\u0430\u0435\u0442 \u0441 \u043e\u0448\u0438\u0431\u043a\u0430\u043c\u0438, \u043f\u043e\u0442\u0440\u0435\u0431\u043b\u044f\u0435\u0442 \u043f\u0430\u043c\u044f\u0442\u044c. \u042d\u0442\u043e \u2013 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c.<\/p>\n<p><strong>M\u00b9<\/strong> \u2013 \u043c\u043e\u0434\u0435\u043b\u044c \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438. \u0414\u043b\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u044d\u0442\u043e AST: \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u043e\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e. \u041f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 <code>BinOp(op=Add(), left=Name('x'), right=Num(5))<\/code> \u2013 \u044d\u0442\u043e M1. \u042d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u043e\u0435 <code>{:+, [context: Elixir], [{:x, [], Elixir}, 5]}<\/code> \u2013 \u0442\u043e\u0436\u0435 M1. \u041a\u0430\u0436\u0434\u044b\u0439 \u044f\u0437\u044b\u043a \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0441\u0432\u043e\u0439 \u043a\u043e\u0434 \u043d\u0430 \u0441\u0432\u043e\u0435\u043c M1, \u043a\u0430\u043a \u043a\u0430\u0436\u0434\u044b\u0439 \u0445\u0443\u0434\u043e\u0436\u043d\u0438\u043a \u0440\u0438\u0441\u0443\u0435\u0442 \u044f\u0431\u043b\u043e\u043a\u043e \u043f\u043e-\u0441\u0432\u043e\u0435\u043c\u0443.<\/p>\n<p><strong>M\u00b2<\/strong> \u2013 \u043c\u043e\u0434\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0435\u0439. \u041c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c. \u041e\u043d\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, <em>\u0447\u0435\u043c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c<\/em> \u0443\u0437\u0435\u043b \u043b\u044e\u0431\u043e\u0433\u043e AST. \u041d\u0435 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430, \u0430 <em>\u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044f<\/em> \u0443\u0437\u043b\u0430. \u0411\u0438\u043d\u0430\u0440\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 \u044d\u0442\u043e \u043d\u0435 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 <code>BinOp<\/code> \u0438 \u043d\u0435 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0439 <code>{:+, ...}<\/code>. \u0411\u0438\u043d\u0430\u0440\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 \u044d\u0442\u043e <em>\u0438\u0434\u0435\u044f<\/em> \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0434\u0432\u0430 \u043e\u043f\u0435\u0440\u0430\u043d\u0434\u0430 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c. UML \u0436\u0438\u0432\u0435\u0442 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2. \u0418 MetaAST \u2013 \u0442\u043e\u0436\u0435.<\/p>\n<p><strong>M\u00b3<\/strong> \u2013 \u043c\u0435\u0442\u0430-\u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c. \u0422\u043e, \u0447\u0442\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, \u0447\u0435\u043c \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0441\u0430\u043c\u0438 \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u0438. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432, \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438. \u0417\u0434\u0435\u0441\u044c \u0436\u0438\u0432\u0435\u0442 <em>MOF<\/em>. \u0412 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 <em>MetaAST<\/em> \u044d\u0442\u0443 \u0440\u043e\u043b\u044c \u0438\u0433\u0440\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432.<\/p>\n<p>\u041f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u043e\u0435 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 <em>MetaAST<\/em> \u043e\u0442 <em>LLVM IR<\/em>, <em>Java bytecode<\/em>, \u0438\u043b\u0438 \u043b\u044e\u0431\u043e\u0433\u043e \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u043c\u0435\u043d\u043d\u043e \u0432 \u044d\u0442\u043e\u043c: \u0432\u0441\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0435 \u2013 \u043c\u043e\u0434\u0435\u043b\u0438 (M\u00b9). \u041e\u043d\u0438 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043a\u043e\u0434 \u0432 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u043c \u0444\u043e\u0440\u043c\u0430\u0442\u0435. <em>MetaAST<\/em> \u2013 \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c (M\u00b2). \u041e\u043d\u0430 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442, <em>\u043a\u0430\u043a\u0438\u043c\u0438 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c<\/em> \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043a\u043e\u0434\u0430. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0430\u044f \u0436\u0435, \u043a\u0430\u043a \u043c\u0435\u0436\u0434\u0443 \u0441\u043b\u043e\u0432\u0430\u0440\u0435\u043c \u0438 \u044f\u0437\u044b\u043a\u043e\u043c: \u0441\u043b\u043e\u0432\u0430\u0440\u044c \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442 \u0441\u043b\u043e\u0432\u0430, \u0430 \u044f\u0437\u044b\u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u044d\u0442\u0438 \u0441\u043b\u043e\u0432\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b.<\/p>\n<hr\/>\n<p><em>Metastatic<\/em> \u2013 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 \u043d\u0430 Elixir, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u044d\u0442\u0443 \u0438\u0434\u0435\u044e \u0432 \u043a\u043e\u0434\u0435. \u041d\u0430\u0437\u0432\u0430\u043d\u0438\u0435, \u043a\u0430\u043a \u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043e \u043f\u0440\u0438\u043b\u0438\u0447\u043d\u043e\u043c\u0443 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u043f\u0440\u043e\u0435\u043a\u0442\u0443, \u0437\u0430\u0440\u044f\u0436\u0435\u043d\u043e \u0434\u0432\u043e\u0439\u043d\u044b\u043c \u0441\u043c\u044b\u0441\u043b\u043e\u043c: <strong>Met(a)-AST-atic<\/strong>, \u0442\u043e \u0435\u0441\u0442\u044c \u00ab\u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0449\u0438\u0439 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u043d\u044e AST\u00bb. \u041c\u0435\u0434\u0438\u0446\u0438\u043d\u0441\u043a\u0438\u0435 \u043a\u043e\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u2013 \u0437\u0430 \u0441\u0447\u0435\u0442 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u044f.<\/p>\n<p>\u0410\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u0442\u0440\u0435\u0445\u0441\u043b\u043e\u0439\u043d\u0430\u044f, \u0438 \u044d\u0442\u043e \u043d\u0435 \u043f\u0440\u0438\u0445\u043e\u0442\u044c, \u0430 \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435 \u0442\u0435\u043e\u0440\u0438\u0438:<\/p>\n<p><strong>M2.1 \u2013 \u044f\u0434\u0440\u043e (Core).<\/strong> \u041a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u0438, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432 <em>\u043a\u0430\u0436\u0434\u043e\u043c<\/em> \u044f\u0437\u044b\u043a\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430 \u0441\u0432\u0435\u0442\u0435. \u041b\u0438\u0442\u0435\u0440\u0430\u043b\u044b, \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435, \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438, \u0443\u0441\u043b\u043e\u0432\u0438\u044f, \u0432\u044b\u0437\u043e\u0432\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u044f. \u0417\u0434\u0435\u0441\u044c \u043d\u0435\u0442 \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u044d\u043a\u0437\u043e\u0442\u0438\u043a\u0438. <code>x + 5<\/code> \u043d\u0430 Python, Elixir, Ruby, Erlang \u0438 Haskell (\u0442\u0435 \u044f\u0437\u044b\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0432 \u0442\u043e\u0439 \u0438\u043b\u0438 \u0438\u043d\u043e\u0439 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442) \u2013 \u044d\u0442\u043e \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435. \u041e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e\u0435 MetaAST-\u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435. \u0411\u0443\u043a\u0432\u0430\u043b\u044c\u043d\u043e:<\/p>\n<pre><code class=\"elixir\">{:binary_op, [category: :arithmetic, operator: :+],  [{:variable, [], \"x\"}, {:literal, [subtype: :integer], 5}]}<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:87px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041f\u044f\u0442\u044c \u044f\u0437\u044b\u043a\u043e\u0432. \u041e\u0434\u043d\u043e \u0434\u0435\u0440\u0435\u0432\u043e. \u041e\u0434\u0438\u043d \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u041f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430, \u0447\u0438\u0442\u0430\u0435\u043c\u0430\u044f \u043b\u044e\u0431\u044b\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u043e\u0440\u043a\u0435\u0441\u0442\u0440\u0430.<\/p>\n<p><strong>M2.2 \u2013 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f (Extended).<\/strong> \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432 <em>\u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435<\/em> \u044f\u0437\u044b\u043a\u043e\u0432, \u043d\u043e \u043d\u0435 \u0432\u043e \u0432\u0441\u0435\u0445. \u0426\u0438\u043a\u043b\u044b, \u043b\u044f\u043c\u0431\u0434\u044b, \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u044f\u043c\u0438, \u043f\u0430\u0442\u0442\u0435\u0440\u043d-\u043c\u0430\u0442\u0447\u0438\u043d\u0433, \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0439. Haskell \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u044b\u0445 \u0446\u0438\u043a\u043b\u043e\u0432 \u2013 \u043d\u0443 \u0438 \u0431\u043e\u0433 \u0441 \u043d\u0438\u043c: \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2.1. Ruby \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 guards \u2013 \u043d\u0435 \u0431\u0435\u0434\u0430: \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435 \u0430\u0434\u0430\u043f\u0442\u0435\u0440\u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442.<\/p>\n<p><strong>M2.3 \u2013 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 \u0441\u043b\u043e\u0439 (Native).<\/strong> \u0410\u0432\u0430\u0440\u0438\u0439\u043d\u044b\u0439 \u0432\u044b\u0445\u043e\u0434 \u0434\u043b\u044f \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u043f\u043e\u0434\u0434\u0430\u044e\u0442\u0441\u044f \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044e. Rust\u2019\u043e\u0432\u0441\u043a\u0438\u0435 \u043b\u0430\u0439\u0444\u0442\u0430\u0439\u043c\u044b, Haskell\u2019\u043e\u0432\u0441\u043a\u0438\u0435 type classes, \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u043e\u0435 \u043c\u0435\u0442\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435. \u041e\u043d\u0438 \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0432 <code>{:language_specific, :rust, ...}<\/code> \u2013 \u043a\u0430\u043a \u0445\u0440\u0443\u043f\u043a\u0438\u0439 \u0444\u0430\u0440\u0444\u043e\u0440 \u0432 \u043f\u0443\u043f\u044b\u0440\u0447\u0430\u0442\u0443\u044e \u043f\u043b\u0435\u043d\u043a\u0443 \u2013 \u0438 \u043f\u0443\u0442\u0435\u0448\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0447\u0435\u0440\u0435\u0437 \u0441\u0438\u0441\u0442\u0435\u043c\u0443, \u043d\u0435 \u0442\u0435\u0440\u044f\u044f \u0441\u0432\u043e\u0435\u0439 \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u043e\u0441\u0442\u0438, \u043d\u043e \u0438 \u043d\u0435 \u043f\u0440\u0435\u0442\u0435\u043d\u0434\u0443\u044f \u043d\u0430 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c.<\/p>\n<hr\/>\n<p>\u041a\u0430\u0436\u0434\u044b\u0439 \u0443\u0437\u0435\u043b <em>MetaAST<\/em> \u2013 \u0442\u0440\u043e\u0439\u043a\u0430. \u0422\u0438\u043f, \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435, \u0434\u0435\u0442\u0438 (\u0438\u043b\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435). \u0424\u043e\u0440\u043c\u0430\u0442 \u0441\u043e\u0437\u043d\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u0441\u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d \u0441 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0445 <em>quoted expressions<\/em>, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0432\u044b \u0443\u0436\u0435 \u0443\u043c\u0435\u0435\u0442\u0435 \u043f\u0438\u0441\u0430\u0442\u044c \u043c\u0430\u043a\u0440\u043e\u0441\u044b \u0432 Elixir, \u0432\u044b \u0443\u0436\u0435 \u0443\u043c\u0435\u0435\u0442\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 <em>MetaAST<\/em>. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u0432 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0435: \u0433\u0434\u0435 Elixir \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 <code>:+<\/code> (\u0441\u0430\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440), <em>MetaAST<\/em> \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 <code>:binary_op<\/code> (\u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438), \u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0443\u0431\u0438\u0440\u0430\u0435\u0442 \u0432 \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435. \u0413\u0434\u0435 Elixir \u0438\u043d\u043b\u0430\u0439\u043d\u0438\u0442 \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u044b, <em>MetaAST<\/em> \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442 \u0438\u0445 \u0432 <code>{:literal, [subtype: :integer], 42}<\/code>, \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u0443\u044e \u043e\u0434\u043d\u043e\u0440\u043e\u0434\u043d\u043e\u0441\u0442\u044c.<\/p>\n<p>\u042f\u0437\u044b\u043a\u043e\u0432\u044b\u0435 \u0430\u0434\u0430\u043f\u0442\u0435\u0440\u044b \u2013 \u043c\u043e\u0441\u0442 \u043c\u0435\u0436\u0434\u0443 M1 \u0438 M2. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Python \u0431\u0435\u0440\u0435\u0442 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 AST (\u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0439 \u0447\u0435\u0440\u0435\u0437 subprocess) \u0438 <em>\u0430\u0431\u0441\u0442\u0440\u0430\u0433\u0438\u0440\u0443\u0435\u0442<\/em> \u0435\u0433\u043e \u0434\u043e <em>MetaAST<\/em>. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Elixir \u0431\u0435\u0440\u0435\u0442 quoted expressions \u0438 \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Ruby \u2013 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e. \u041e\u0431\u0440\u0430\u0442\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 <em>\u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f<\/em> \u2013 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442 MetaAST \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 AST \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430. \u042d\u0442\u0430 \u043f\u0430\u0440\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439, \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f \u0438 \u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f, \u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0441\u0432\u044f\u0437\u044c\u044e \u0413\u0430\u043b\u0443\u0430:<\/p>\n<pre><code>Adapter_L = (alpha_L, rho_L)alpha_L: AS_L -&gt; MetaAST x Metadata    (\u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f: M1 -&gt; M2)rho_L:   MetaAST x Metadata -&gt; AS_L    (\u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f: M2 -&gt; M1)<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0427\u0442\u043e \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435? \u0412\u043e\u0442 \u0432\u0430\u043c \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439. \u0412\u044b \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0447\u0438\u0441\u0442\u043e\u0442\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u041e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 <em>MetaAST<\/em>: \u043e\u0431\u0445\u043e\u0434\u0438\u0442 \u0434\u0435\u0440\u0435\u0432\u043e, \u0438\u0449\u0435\u0442 \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0435 \u044d\u0444\u0444\u0435\u043a\u0442\u044b (\u0432\u0432\u043e\u0434-\u0432\u044b\u0432\u043e\u0434, \u043c\u0443\u0442\u0430\u0446\u0438\u044e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u043a \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u0430\u043c), \u0438 \u0432\u044b\u043d\u043e\u0441\u0438\u0442 \u0432\u0435\u0440\u0434\u0438\u043a\u0442. \u042d\u0442\u043e\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043d\u0430\u043f\u0438\u0441\u0430\u043d \u043e\u0434\u0438\u043d \u0440\u0430\u0437. \u041e\u0434\u0438\u043d. \u0418 \u043e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 Python, Elixir, Ruby, Erlang \u0438 Haskell. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043d\u0435 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 \u0438\u043b\u0438 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0439 AST, \u0430 <em>\u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u0435\u043d\u044c<\/em>. \u0412\u044b \u043f\u0438\u0448\u0435\u0442\u0435:<\/p>\n<pre><code class=\"elixir\">{:ok, doc} = Metastatic.Adapter.abstract(Python, \"print('hello')\", :python){:ok, result} = Metastatic.Analysis.Purity.analyze(doc)result.pure?    # =&gt; false -- \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0439 \u044d\u0444\u0444\u0435\u043a\u0442: \u0432\u0432\u043e\u0434-\u0432\u044b\u0432\u043e\u0434result.effects  # =&gt; [:io]<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u0418 \u0440\u043e\u0432\u043d\u043e \u0442\u043e\u0442 \u0436\u0435 \u043a\u043e\u0434, \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439, \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0435\u0441\u043b\u0438 \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c Python \u043d\u0430 Ruby, \u0430 <code>print('hello')<\/code> \u043d\u0430 <code>puts 'hello'<\/code>. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043e\u0431\u0430 \u0432\u044b\u0437\u043e\u0432\u0430 \u2013 \u044d\u0442\u043e <code>{:function_call, [name: \"print\"], [{:literal, [subtype: :string], \"hello\"}]}<\/code> \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2.<\/p>\n<hr\/>\n<p>\u0413\u043b\u0430\u0432\u043d\u044b\u0439 API \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u043d\u0430\u0440\u043e\u0447\u0438\u0442\u043e \u043f\u0440\u043e\u0441\u0442. \u0414\u0432\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438: <code>Metastatic.quote\/2<\/code> \u0438 <code>Metastatic.unquote\/2<\/code>. \u041f\u0435\u0440\u0432\u0430\u044f \u043f\u043e\u0434\u043d\u0438\u043c\u0430\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0441 \u0443\u0440\u043e\u0432\u043d\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0442\u0435\u043a\u0441\u0442\u0430 \u0434\u043e <em>MetaAST<\/em> (Source -&gt; M1 -&gt; M2). \u0412\u0442\u043e\u0440\u0430\u044f \u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043e\u0431\u0440\u0430\u0442\u043d\u043e (M2 -&gt; M1 -&gt; Source). \u041c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c\u0438 \u0434\u0432\u0443\u043c\u044f \u0432\u044b\u0437\u043e\u0432\u0430\u043c\u0438 \u0436\u0438\u0432\u0435\u0442 \u0432\u0441\u044f \u043c\u0430\u0433\u0438\u044f: \u0430\u043d\u0430\u043b\u0438\u0437, \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f, \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442\u043e\u0432, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438.<\/p>\n<pre><code class=\"elixir\"># \u041f\u0430\u0440\u0441\u0438\u043c Python{:ok, py_ast} = Metastatic.quote(\"x + 5\", :python)# \u0413\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u043c Elixir -- \u0442\u043e\u0442 \u0436\u0435 MetaAST, \u0434\u0440\u0443\u0433\u043e\u0439 \u044f\u0437\u044b\u043a{:ok, elixir_source} = Metastatic.unquote(py_ast, :elixir)# =&gt; \"x + 5\"<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<p>\u041a\u0440\u043e\u0441\u0441-\u044f\u0437\u044b\u043a\u043e\u0432\u0430\u044f \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u044f \u2013 \u043d\u0435 \u0433\u043b\u0430\u0432\u043d\u0430\u044f \u0446\u0435\u043b\u044c (\u0445\u043e\u0442\u044f \u0438 \u043e\u043d\u0430 \u0432\u043f\u0435\u0447\u0430\u0442\u043b\u044f\u0435\u0442). \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0446\u0435\u043b\u044c \u2013 \u043a\u0440\u043e\u0441\u0441-\u044f\u0437\u044b\u043a\u043e\u0432\u043e\u0439 \u0430\u043d\u0430\u043b\u0438\u0437. Metastatic \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0434\u0435\u0432\u044f\u0442\u044c \u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0445 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u0432, \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u0431\u0438\u0437\u043d\u0435\u0441-\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0434\u0435\u0442\u0435\u043a\u0442\u043e\u0440\u043e\u0432 \u0430\u043d\u0442\u0438\u043f\u0430\u0442\u0442\u0435\u0440\u043d\u043e\u0432, \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u043a\u043b\u043e\u043d\u043e\u0432 \u043a\u043e\u0434\u0430 \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0442\u0438\u043f\u043e\u0432 (\u043e\u0442 \u0442\u043e\u0447\u043d\u044b\u0445 \u043a\u043e\u043f\u0438\u0439 \u0434\u043e \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445), \u0433\u0440\u0430\u0444 \u043f\u043e\u0442\u043e\u043a\u0430 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f, \u0430\u043d\u0430\u043b\u0438\u0437 taint-\u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0435\u0439. \u0418 \u0432\u0441\u0435 \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0430 <em>\u043b\u044e\u0431\u043e\u043c<\/em> \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u043c\u043e\u043c \u044f\u0437\u044b\u043a\u0435, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0430 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u043d\u0435.<\/p>\n<p>\u041e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442\u043e\u0432 \u2013 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0435 \u0443\u0434\u043e\u0432\u043e\u043b\u044c\u0441\u0442\u0432\u0438\u0435. \u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435: \u0443 \u0432\u0430\u0441 \u0435\u0441\u0442\u044c Python-\u043c\u043e\u0434\u0443\u043b\u044c \u0438 Ruby-\u043a\u043b\u0430\u0441\u0441, \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0435 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u043b\u044e\u0434\u044c\u043c\u0438, \u0432 \u0440\u0430\u0437\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f, \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u0447\u0430\u0441\u043e\u0432\u044b\u0445 \u043f\u043e\u044f\u0441\u0430\u0445. Metastatic \u043d\u0430\u0445\u043e\u0434\u0438\u0442, \u0447\u0442\u043e \u0438\u0445 MetaAST \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u043d\u0430 94%, \u2013 \u044d\u0442\u043e \u043a\u043b\u043e\u043d \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (\u0440\u0430\u0437\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0438\u043c\u0435\u043d\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445). \u0424\u0430\u043a\u0443\u043b\u044c\u0442\u0435\u0442 \u0437\u0435\u0440\u043a\u0430\u043b\u044c\u043d\u044b\u0445 \u0431\u043b\u0438\u0437\u043d\u0435\u0446\u043e\u0432, \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u043f\u0440\u0438 \u0440\u043e\u0436\u0434\u0435\u043d\u0438\u0438 \u044f\u0437\u044b\u043a\u043e\u0432\u044b\u043c \u0431\u0430\u0440\u044c\u0435\u0440\u043e\u043c.<\/p>\n<pre><code class=\"elixir\">{:ok, result} = Metastatic.Analysis.Duplication.detect(python_doc, ruby_doc)result.clone_type       # =&gt; :type_iiresult.similarity_score # =&gt; 0.94<\/code><div class=\"code-explainer\"><a href=\"https:\/\/sourcecraft.dev\/\" class=\"tm-button code-explainer__link\" style=\"visibility: hidden;\"><img style=\"width:14px;height:14px;object-fit:cover;object-position:left;\"\/><\/a><\/div><\/pre>\n<hr\/>\n<p>\u0412\u0435\u0440\u043d\u0435\u043c\u0441\u044f \u043a MOF \u0438 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u043e\u0439 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0438. \u0417\u0430\u0447\u0435\u043c \u0432\u0441\u0435 \u044d\u0442\u043e \u043d\u0443\u0436\u043d\u043e? \u0417\u0430\u0447\u0435\u043c \u0433\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u0438, \u0435\u0441\u043b\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0435\u0440 \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e AST \u0432 \u0434\u0440\u0443\u0433\u043e\u0439?<\/p>\n<p>\u041e\u0442\u0432\u0435\u0442 \u043f\u0440\u043e\u0441\u0442 \u0438 \u0438\u0440\u043e\u043d\u0438\u0447\u0435\u043d, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0434\u0430 \u0436\u0438\u0437\u043d\u0438. \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0435\u0440 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043f\u043e\u043f\u0430\u0440\u043d\u043e. \u0414\u043b\u044f \u043f\u044f\u0442\u0438 \u044f\u0437\u044b\u043a\u043e\u0432 \u043d\u0443\u0436\u043d\u043e \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0435\u0440\u043e\u0432 (5 \u00d7 4). \u0414\u043b\u044f \u0434\u0435\u0441\u044f\u0442\u0438 \u2013 \u0434\u0435\u0432\u044f\u043d\u043e\u0441\u0442\u043e. \u0414\u043b\u044f \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u0438 \u2013 \u0442\u0440\u0438\u0441\u0442\u0430 \u0432\u043e\u0441\u0435\u043c\u044c\u0434\u0435\u0441\u044f\u0442. \u041c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0447\u0435\u0440\u0435\u0437 \u0445\u0430\u0431: \u043a\u0430\u0436\u0434\u044b\u0439 \u044f\u0437\u044b\u043a \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u0441\u044f \u043e\u0434\u0438\u043d \u0440\u0430\u0437, \u0447\u0435\u0440\u0435\u0437 \u0441\u0432\u043e\u0439 \u0430\u0434\u0430\u043f\u0442\u0435\u0440. \u041f\u044f\u0442\u044c \u044f\u0437\u044b\u043a\u043e\u0432 \u2013 \u043f\u044f\u0442\u044c \u0430\u0434\u0430\u043f\u0442\u0435\u0440\u043e\u0432. \u0414\u0435\u0441\u044f\u0442\u044c \u2013 \u0434\u0435\u0441\u044f\u0442\u044c. \u0414\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u2013 \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c. \u041b\u0438\u043d\u0435\u0439\u043d\u044b\u0439 \u0440\u043e\u0441\u0442 \u0432\u043c\u0435\u0441\u0442\u043e \u043a\u0432\u0430\u0434\u0440\u0430\u0442\u0438\u0447\u043d\u043e\u0433\u043e. \u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a, \u043f\u0440\u043e\u0440\u0430\u0431\u043e\u0442\u0430\u0432\u0448\u0438\u0439 \u043f\u043e\u043b\u0436\u0438\u0437\u043d\u0438 \u043d\u0430 \u043a\u043e\u043d\u0432\u0435\u0439\u0435\u0440\u0435, \u043e\u0446\u0435\u043d\u0438\u043b \u0431\u044b \u0438\u0440\u043e\u043d\u0438\u044e.<\/p>\n<p>\u041d\u043e \u0434\u0435\u043b\u043e \u043d\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u043a\u043e\u043c\u0431\u0438\u043d\u0430\u0442\u043e\u0440\u0438\u043a\u0435. \u041c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c \u0434\u0430\u0435\u0442 <em>\u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u0438\u0437\u0430\u0446\u0438\u044e<\/em>. \u041a\u0430\u0436\u0434\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442, \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0439 \u0434\u043b\u044f <em>MetaAST<\/em>, \u0433\u0430\u0440\u0430\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 \u043b\u044e\u0431\u044b\u043c \u044f\u0437\u044b\u043a\u043e\u043c, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u0430\u0434\u0430\u043f\u0442\u0435\u0440. \u042d\u0442\u043e \u043d\u0435 \u00ab\u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 Python\u00bb \u0438 \u00ab\u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 Ruby\u00bb \u043a\u0430\u043a \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u044b\u0435 \u0444\u0438\u0447\u0438. \u042d\u0442\u043e \u043e\u0434\u043d\u0430 \u0444\u0438\u0447\u0430: \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 MetaAST. \u0412\u0441\u0435 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u043e\u0435 \u2013 \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435.<\/p>\n<p>OMG \u043f\u043e\u043d\u044f\u043b \u044d\u0442\u043e \u0432 2002 \u0433\u043e\u0434\u0443, \u043a\u043e\u0433\u0434\u0430 \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b MOF. \u0418\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u044f UML \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0430 \u043d\u0430 \u0442\u043e\u043c \u0436\u0435 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435: \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, <em>\u0447\u0435\u043c \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c<\/em> \u043c\u043e\u0434\u0435\u043b\u0438, \u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0435 \u0434\u0438\u0430\u0433\u0440\u0430\u043c\u043c\u044b \u2013 \u043b\u0438\u0448\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u044b \u044d\u0442\u043e\u0439 \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u0438. MDA (Model-Driven Architecture) \u0440\u0430\u0437\u0432\u0438\u043b \u0438\u0434\u0435\u044e \u0434\u0430\u043b\u044c\u0448\u0435: \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u043c\u0435\u0436\u0434\u0443 \u043c\u043e\u0434\u0435\u043b\u044f\u043c\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u044e\u0442\u0441\u044f \u043d\u0430 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u043d\u0435 \u0438 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u044f\u044e\u0442\u0441\u044f \u043a \u043b\u044e\u0431\u044b\u043c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u0430\u043c.<\/p>\n<p>Metastatic \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435, \u043d\u043e \u043d\u0435 \u0434\u043b\u044f \u0434\u0438\u0430\u0433\u0440\u0430\u043c\u043c \u043a\u043b\u0430\u0441\u0441\u043e\u0432, \u0430 \u0434\u043b\u044f \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c. \u042d\u0442\u043e \u043d\u0435 IR, \u043d\u0435 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440, \u043d\u0435 \u0442\u0440\u0430\u043d\u0441\u043f\u0430\u0439\u043b\u0435\u0440. \u042d\u0442\u043e \u0444\u0443\u043d\u0434\u0430\u043c\u0435\u043d\u0442, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0432\u0441\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u043e\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043e \u2013 \u043e\u0434\u0438\u043d \u0440\u0430\u0437, \u0438 \u0434\u043b\u044f \u0432\u0441\u0435\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u0441\u0440\u0430\u0437\u0443.<\/p>\n<hr\/>\n<p>\u0415\u0441\u0442\u044c \u0441\u0442\u0430\u0440\u0430\u044f \u0438\u0441\u0442\u043e\u0440\u0438\u044f \u043f\u0440\u043e \u043e\u043b\u0438\u0432\u043a\u043e\u0432\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043c\u043d\u0435 \u043e\u0434\u043d\u0430\u0436\u0434\u044b \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u0430\u043b \u043d\u0435\u043a\u0438\u0439 \u0436\u0443\u0440\u043d\u0430\u043b\u0438\u0441\u0442 \u0432 \u0441\u0430\u043c\u043e\u043b\u0435\u0442\u0435. \u0427\u0435\u043b\u043e\u0432\u0435\u043a \u0432\u0441\u044e \u0436\u0438\u0437\u043d\u044c \u0432\u044b\u0440\u0430\u0449\u0438\u0432\u0430\u0435\u0442 \u043e\u043b\u0438\u0432\u0443, \u0430 \u0434\u0435\u0440\u0435\u0432\u043e, \u043d\u0430\u043a\u043e\u043d\u0435\u0446 \u0432\u044b\u0440\u043e\u0441\u0448\u0435\u0435, \u043f\u0440\u0438\u043d\u043e\u0441\u0438\u0442 \u043c\u0430\u0441\u043b\u0438\u043d\u044b. \u0427\u0435\u043b\u043e\u0432\u0435\u043a \u043d\u0435 \u0437\u043d\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u043b\u0438\u0432\u044b \u0438 \u043c\u0430\u0441\u043b\u0438\u043d\u044b \u2013 \u044d\u0442\u043e \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435. \u041e\u043d \u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u0441\u0432\u043e\u044e \u0436\u0438\u0437\u043d\u044c \u043f\u043e\u0442\u0440\u0430\u0447\u0435\u043d\u043d\u043e\u0439 \u0432\u043f\u0443\u0441\u0442\u0443\u044e.<\/p>\n<p>AST \u0440\u0430\u0437\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u2013 \u044d\u0442\u043e \u043c\u0430\u0441\u043b\u0438\u043d\u044b. MetaAST \u2013 \u044d\u0442\u043e \u0437\u043d\u0430\u043d\u0438\u0435 \u043e \u0442\u043e\u043c, \u0447\u0442\u043e \u0432\u0441\u0435 \u043e\u043d\u0438 \u0440\u0430\u0441\u0442\u0443\u0442 \u043d\u0430 \u043e\u0434\u043d\u043e\u043c \u0434\u0435\u0440\u0435\u0432\u0435. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c\u0438 \u2013 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0430\u044f, \u0430 \u043d\u0435 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f. \u041f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 <code>BinOp(op=Add())<\/code>, \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0439 <code>{:+, [], [...]}<\/code> \u0438 \u0440\u0443\u0431\u0438-\u043d\u043e\u0434\u043e\u0432\u0441\u043a\u0438\u0439 <code>s(:send, ..., :+, ...)<\/code> \u2013 \u0440\u0430\u0437\u043d\u044b\u0435 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u044f \u043e\u0434\u043d\u043e\u0433\u043e \u0438 \u0442\u043e\u0433\u043e \u0436\u0435: <code>{:binary_op, [category: :arithmetic, operator: :+], [left, right]}<\/code>.<\/p>\n<p>\u041c\u043e\u0436\u043d\u043e, \u043a\u043e\u043d\u0435\u0447\u043d\u043e, \u043f\u0440\u043e\u0436\u0438\u0442\u044c \u0432\u0441\u044e \u0436\u0438\u0437\u043d\u044c, \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u044b\u0432\u0430\u044f \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u044b \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u043d\u043e\u0432\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430. \u041c\u043e\u0436\u043d\u043e \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437 \u0437\u0430\u043d\u043e\u0432\u043e \u0443\u0447\u0438\u0442\u044c \u043d\u043e\u0442\u043d\u0443\u044e \u0433\u0440\u0430\u043c\u043e\u0442\u0443, \u043a\u043b\u0430\u043d\u044f\u0442\u044c\u0441\u044f \u043a\u0430\u0436\u0434\u043e\u043c\u0443 \u043d\u043e\u0432\u043e\u043c\u0443 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0443 \u043e\u0440\u043a\u0435\u0441\u0442\u0440\u0430, \u043f\u0435\u0440\u0435\u0432\u043e\u0434\u0438\u0442\u044c \u043f\u0438\u0441\u044c\u043c\u0430 \u043d\u0430 \u043f\u044f\u0442\u044c \u044f\u0437\u044b\u043a\u043e\u0432 \u0434\u043b\u044f \u043f\u044f\u0442\u0438 \u044d\u0442\u0430\u0436\u0435\u0439 \u043e\u0434\u043d\u043e\u0433\u043e \u0438 \u0442\u043e\u0433\u043e \u0436\u0435 \u0434\u043e\u043c\u0430. \u041d\u043e \u0437\u0430\u0447\u0435\u043c, \u0435\u0441\u043b\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0434\u043d\u044f\u0442\u044c\u0441\u044f \u043d\u0430 \u043e\u0434\u0438\u043d \u0443\u0440\u043e\u0432\u0435\u043d\u044c \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438 \u2013 \u0442\u0443\u0434\u0430, \u0433\u0434\u0435 \u043e\u043b\u0438\u0432\u044b \u0438 \u043c\u0430\u0441\u043b\u0438\u043d\u044b \u043d\u0435\u0440\u0430\u0437\u043b\u0438\u0447\u0438\u043c\u044b, \u0430 \u043f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430 \u043e\u0434\u043d\u0430 \u043d\u0430 \u0432\u0441\u0435\u0445?<\/p>\n<p>\u041d\u0443 \u0432\u043e\u0442 <em>MetaAST<\/em> \u2013 \u0448\u0430\u0433 \u0432 \u044d\u0442\u043e\u043c \u043d\u0430\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u0438.<\/p>\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\/1024412\/\">https:\/\/habr.com\/ru\/articles\/1024412\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0435\u0431\u0435 \u043f\u044f\u0442\u0438\u044d\u0442\u0430\u0436\u043d\u044b\u0439 \u0434\u043e\u043c \u0431\u0435\u0437 \u043b\u0438\u0444\u0442\u0430, \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0432 \u043a\u043e\u043d\u0446\u0435 \u043f\u044f\u0442\u0438\u0434\u0435\u0441\u044f\u0442\u044b\u0445, \u0433\u0434\u0435-\u043d\u0438\u0431\u0443\u0434\u044c \u043d\u0430 \u043e\u0442\u0448\u0438\u0431\u0435 \u0410\u0432\u0442\u043e\u0437\u0430\u0432\u043e\u0434\u0441\u043a\u043e\u0439, \u0438\u043b\u0438 \u0435\u0449\u0435 \u043b\u0443\u0447\u0448\u0435 \u2013 \u0432 \u041a\u0443\u043f\u0447\u0438\u043d\u043e. \u041a\u0430\u0436\u0434\u044b\u0439 \u044d\u0442\u0430\u0436 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0441\u0432\u043e\u0439 \u044f\u0437\u044b\u043a \u0441\u043e \u0441\u0432\u043e\u0435\u0439 \u0437\u0430\u043f\u0438\u0441\u044c\u044e. \u041d\u0435 \u0432 \u043f\u0435\u0440\u0435\u043d\u043e\u0441\u043d\u043e\u043c, \u0430 \u0432 \u0441\u0430\u043c\u043e\u043c \u043f\u0440\u044f\u043c\u043e\u043c \u0441\u043c\u044b\u0441\u043b\u0435: \u043f\u0435\u0440\u0432\u044b\u0439 \u044d\u0442\u0430\u0436 \u043e\u0431\u0449\u0430\u0435\u0442\u0441\u044f \u043a\u0438\u0440\u0438\u043b\u043b\u0438\u0446\u0435\u0439, \u0432\u0442\u043e\u0440\u043e\u0439 \u2013 \u043b\u0430\u0442\u0438\u043d\u0438\u0446\u0435\u0439, \u0442\u0440\u0435\u0442\u0438\u0439 \u2013 \u0438\u0435\u0440\u043e\u0433\u043b\u0438\u0444\u0430\u043c\u0438, \u0447\u0435\u0442\u0432\u0435\u0440\u0442\u044b\u0439 \u2013 \u043a\u043b\u0438\u043d\u043e\u043f\u0438\u0441\u044c\u044e, \u0430 \u043f\u044f\u0442\u044b\u0439, \u043f\u043e\u0434\u043e\u0431\u043d\u043e \u0412\u0438\u0442\u0433\u0435\u043d\u0448\u0442\u0435\u0439\u043d\u0443, \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u043e \u043c\u043e\u043b\u0447\u0438\u0442, \u043f\u043e\u043b\u0430\u0433\u0430\u044f, \u0447\u0442\u043e \u043e \u0447\u0435\u043c \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0433\u043e\u0432\u043e\u0440\u0438\u0442\u044c, \u043e \u0442\u043e\u043c \u0441\u043b\u0435\u0434\u0443\u0435\u0442 \u043c\u043e\u043b\u0447\u0430\u0442\u044c. \u041f\u043e\u0447\u0442\u0430\u043b\u044c\u043e\u043d, \u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u044e\u0449\u0438\u0439 \u043a\u043e\u0440\u0440\u0435\u0441\u043f\u043e\u043d\u0434\u0435\u043d\u0446\u0438\u044e, \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d \u043d\u0435\u0441\u0442\u0438 \u043f\u044f\u0442\u044c \u044d\u043a\u0437\u0435\u043c\u043f\u043b\u044f\u0440\u043e\u0432 \u043e\u0434\u043d\u043e\u0433\u043e \u0438 \u0442\u043e\u0433\u043e \u0436\u0435 \u043f\u0438\u0441\u044c\u043c\u0430, \u043f\u0435\u0440\u0435\u0432\u0435\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u043d\u0430 \u043a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u044d\u0442\u0438\u0445 \u044f\u0437\u044b\u043a\u043e\u0432, \u0438 \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437 \u0441\u0442\u0443\u0447\u0430\u0442\u044c\u0441\u044f \u0432 \u0434\u0432\u0435\u0440\u044c, \u043d\u0430\u0434\u0435\u044f\u0441\u044c, \u0447\u0442\u043e \u0430\u0434\u0440\u0435\u0441\u0430\u0442 \u043d\u0435 \u043f\u0435\u0440\u0435\u0435\u0445\u0430\u043b \u043d\u0430 \u0434\u0440\u0443\u0433\u043e\u0439 \u044d\u0442\u0430\u0436.\u0418\u043c\u0435\u043d\u043d\u043e \u0442\u0430\u043a \u0443\u0441\u0442\u0440\u043e\u0435\u043d \u043c\u0438\u0440 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f, \u0435\u0441\u043b\u0438 \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u043d\u0430 \u043d\u0435\u0433\u043e \u0438\u0437-\u0437\u0430 \u043a\u0443\u043b\u0438\u0441, \u0430 \u043d\u0435 \u0438\u0437 \u043f\u0430\u0440\u0442\u0435\u0440\u0430. \u0423 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u2013 \u0441\u0432\u043e\u0435 \u0432\u043d\u0443\u0442\u0440\u0435\u043d\u043d\u0435\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043a\u043e\u0434\u0430. \u041f\u0438\u0442\u043e\u043d \u0445\u0440\u0430\u043d\u0438\u0442 \u0441\u0432\u043e\u0439 AST, \u043a\u0430\u043a \u0431\u0435\u0440\u0435\u0436\u043b\u0438\u0432\u0430\u044f \u0434\u043e\u043c\u043e\u0445\u043e\u0437\u044f\u0439\u043a\u0430 \u0445\u0440\u0430\u043d\u0438\u0442 \u043a\u0440\u0443\u043f\u0443: \u0432 \u0430\u043a\u043a\u0443\u0440\u0430\u0442\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0435\u0439\u043d\u0435\u0440\u0430\u0445 \u0441 \u044d\u0442\u0438\u043a\u0435\u0442\u043a\u0430\u043c\u0438 BinOp, FunctionDef, Name. \u042d\u043b\u0438\u043a\u0441\u0438\u0440, \u0432 \u0441\u0432\u043e\u0439\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0439 \u0435\u043c\u0443 \u0441\u0430\u043c\u043e\u0443\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0439 \u043c\u0430\u043d\u0435\u0440\u0435, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u0442\u0440\u043e\u0439\u043a\u0438 {\u0430\u0442\u043e\u043c, \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435, \u0434\u0435\u0442\u0438} \u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u044d\u0442\u043e quoted expressions, \u0441\u043b\u043e\u0432\u043d\u043e \u043f\u0435\u0440\u0435\u0434 \u043d\u0430\u043c\u0438 \u043d\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e, \u0430 \u0441\u043e\u0431\u0440\u0430\u043d\u0438\u0435 \u0446\u0438\u0442\u0430\u0442 \u0438\u0437 \u041c\u0430\u043d\u0434\u0435\u043b\u044c\u0448\u0442\u0430\u043c\u0430. Ruby \u0441\u043a\u043b\u0430\u0434\u0438\u0440\u0443\u0435\u0442 \u0441\u0432\u043e\u0438 S-\u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u043a\u0430\u043a \u0431\u0443\u043a\u0438\u043d\u0438\u0441\u0442 \u2013 \u043f\u043e\u0436\u0435\u043b\u0442\u0435\u0432\u0448\u0438\u0435 \u0442\u043e\u043c\u0430, \u0430 Erlang, \u0432\u0435\u0440\u043d\u044b\u0439 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u044f\u043c, \u0440\u0430\u0437\u0433\u043e\u0432\u0430\u0440\u0438\u0432\u0430\u0435\u0442 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 \u043a\u043e\u0440\u0442\u0435\u0436\u0435\u0439 \u0438 \u0430\u0442\u043e\u043c\u043e\u0432, \u043f\u043e\u043d\u044f\u0442\u043d\u043e\u043c \u043b\u0438\u0448\u044c \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0430\u043c Ericsson \u0438, \u043f\u043e \u0441\u0442\u0440\u0430\u043d\u043d\u043e\u043c\u0443 \u0441\u0442\u0435\u0447\u0435\u043d\u0438\u044e \u043e\u0431\u0441\u0442\u043e\u044f\u0442\u0435\u043b\u044c\u0441\u0442\u0432, \u0430\u0441\u043f\u0438\u0440\u0430\u043d\u0442\u0430\u043c \u043d\u0435\u0441\u043a\u043e\u043b\u044c\u043a\u0438\u0445 \u0448\u0432\u0435\u0434\u0441\u043a\u0438\u0445 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0438\u0442\u0435\u0442\u043e\u0432.\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u043e\u0447\u0435\u0432\u0438\u0434\u043d\u0430 \u043b\u044e\u0431\u043e\u043c\u0443, \u043a\u0442\u043e \u0445\u043e\u0442\u044c \u0440\u0430\u0437 \u043f\u044b\u0442\u0430\u043b\u0441\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0434\u043b\u044f \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u0434\u0430. \u0414\u043e\u043f\u0443\u0441\u0442\u0438\u043c, \u0432\u044b \u0441\u043e\u0437\u0434\u0430\u043b\u0438 \u043f\u0440\u0435\u0432\u043e\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0446\u0438\u043a\u043b\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0434\u043b\u044f Python. \u041e\u043d \u0432\u0435\u043b\u0438\u043a\u043e\u043b\u0435\u043f\u0435\u043d: \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u044f, \u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u0442\u043e\u0447\u043a\u0438 \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u044f, \u0440\u0438\u0441\u0443\u0435\u0442 \u0433\u0440\u0430\u0444\u044b \u043f\u043e\u0442\u043e\u043a\u043e\u0432 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f. \u0417\u0430\u0442\u0435\u043c \u043a \u0432\u0430\u043c \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043a\u043e\u043b\u043b\u0435\u0433\u0430 \u0438 \u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u0435\u0442: \u00ab\u0410 \u0434\u043b\u044f Ruby \u0441\u0434\u0435\u043b\u0430\u0435\u0448\u044c?\u00bb \u0418 \u0442\u0443\u0442 \u0432\u044b\u044f\u0441\u043d\u044f\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0432\u0435\u0441\u044c \u0432\u0430\u0448 \u0442\u0440\u0443\u0434 \u2013 \u0432\u0441\u0435 \u044d\u0442\u0438 \u043e\u0431\u0445\u043e\u0434\u0447\u0438\u043a\u0438 \u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432, \u0432\u0441\u0435 \u044d\u0442\u0438 \u043f\u0430\u0442\u0442\u0435\u0440\u043d-\u043c\u0430\u0442\u0447\u0438\u043d\u0433\u0438 \u043d\u0430\u0434 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u043c AST \u2013 \u043d\u0443\u0436\u043d\u043e \u043f\u0435\u0440\u0435\u043f\u0438\u0441\u0430\u0442\u044c \u0437\u0430\u043d\u043e\u0432\u043e. \u0421 \u043d\u0443\u043b\u044f. \u0414\u043b\u044f \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u0434\u0435\u0440\u0435\u0432\u0430, \u0441 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u0443\u0437\u043b\u0430\u043c\u0438, \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u043e\u0439 \u0438 \u0434\u0440\u0443\u0433\u0438\u043c\u0438 \u043f\u043e\u0434\u0432\u043e\u0434\u043d\u044b\u043c\u0438 \u043a\u0430\u043c\u043d\u044f\u043c\u0438. \u0410 \u043f\u043e\u0442\u043e\u043c \u043f\u0440\u0438\u0434\u0435\u0442 \u0442\u0440\u0435\u0442\u0438\u0439 \u043a\u043e\u043b\u043b\u0435\u0433\u0430 \u0438 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u0442 \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0434\u043b\u044f Haskell.\u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435 \u0441\u0435\u0431\u0435 \u0434\u0438\u0440\u0438\u0436\u0435\u0440\u0430, \u0432\u044b\u043d\u0443\u0436\u0434\u0435\u043d\u043d\u043e\u0433\u043e \u0437\u0430\u043d\u043e\u0432\u043e \u0443\u0447\u0438\u0442\u044c \u043d\u043e\u0442\u043d\u0443\u044e \u0433\u0440\u0430\u043c\u043e\u0442\u0443 \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437, \u043a\u043e\u0433\u0434\u0430 \u0432 \u043e\u0440\u043a\u0435\u0441\u0442\u0440 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442 \u043d\u043e\u0432\u044b\u0439 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442. \u0421\u043a\u0440\u0438\u043f\u043a\u0430 \u2013 \u043e\u0434\u043d\u0430 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0437\u0430\u043f\u0438\u0441\u0438. \u0412\u0438\u043e\u043b\u043e\u043d\u0447\u0435\u043b\u044c \u2013 \u0434\u0440\u0443\u0433\u0430\u044f. \u0413\u043e\u0431\u043e\u0439 \u2013 \u0442\u0440\u0435\u0442\u044c\u044f, \u043f\u0440\u0438\u0447\u0435\u043c \u0441 \u043e\u0431\u0440\u0430\u0442\u043d\u043e\u0439 \u043f\u043e\u043b\u044f\u0440\u043d\u043e\u0441\u0442\u044c\u044e. \u0422\u0440\u0443\u0431\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u043e\u0442\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438\u0437\u043d\u0430\u0432\u0430\u0442\u044c \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043d\u0438\u0435 \u043d\u043e\u0442\u043d\u043e\u0433\u043e \u0441\u0442\u0430\u043d\u0430 \u0438 \u043d\u0430\u0441\u0442\u0430\u0438\u0432\u0430\u0435\u0442 \u043d\u0430 \u0442\u0430\u0431\u0443\u043b\u0430\u0442\u0443\u0440\u0435 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0433\u043e \u0438\u0437\u043e\u0431\u0440\u0435\u0442\u0435\u043d\u0438\u044f. \u0410\u0431\u0441\u0443\u0440\u0434, \u0440\u0430\u0437\u0443\u043c\u0435\u0435\u0442\u0441\u044f. \u0412 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u043c \u043c\u0438\u0440\u0435 \u0432\u0441\u0435 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u044b \u0447\u0438\u0442\u0430\u044e\u0442 \u043e\u0434\u043d\u0443 \u0438 \u0442\u0443 \u0436\u0435 \u043f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0443. \u041d\u043e\u0442\u044b, \u0440\u0438\u0442\u043c, \u0434\u0438\u043d\u0430\u043c\u0438\u043a\u0430 \u2013 \u0435\u0434\u0438\u043d\u044b. \u0420\u0430\u0437\u043b\u0438\u0447\u0430\u0435\u0442\u0441\u044f \u043b\u0438\u0448\u044c \u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f.MetaAST \u2013 \u044d\u0442\u043e \u043f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430.\u041f\u0440\u0435\u0436\u0434\u0435 \u0447\u0435\u043c \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043a \u0434\u0435\u0442\u0430\u043b\u044f\u043c (\u0430 \u043e\u043d\u0438 \u0437\u0430\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u044e\u0442 \u0432\u043d\u0438\u043c\u0430\u043d\u0438\u044f, \u043a\u0430\u043a \u0437\u0430\u0441\u043b\u0443\u0436\u0438\u0432\u0430\u0435\u0442 \u0435\u0433\u043e \u0445\u043e\u0440\u043e\u0448\u043e \u0432\u044b\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u0434\u0435\u0442\u0435\u043a\u0442\u0438\u0432\u043d\u044b\u0439 \u0441\u044e\u0436\u0435\u0442), \u043f\u043e\u0437\u0432\u043e\u043b\u044c\u0442\u0435 \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0435 \u043e\u0442\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435 \u0432 \u0441\u0442\u043e\u0440\u043e\u043d\u0443 \u0442\u0435\u043e\u0440\u0438\u0438. \u0414\u043b\u044f \u043f\u044f\u0442\u0438\u043b\u0435\u0442\u043d\u0438\u0445 \u041b\u0430\u0439\u043c\u0430\u043d\u043e\u0432: \u043d\u0438\u043a\u0430\u043a\u0438\u0445 \u0444\u043e\u0440\u043c\u0443\u043b, \u043e\u0434\u043d\u0438 \u0441\u043f\u043b\u043e\u0448\u043d\u044b\u0435 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0438. \u0412\u043f\u0440\u043e\u0447\u0435\u043c, \u043e\u0434\u043d\u0430 \u0444\u043e\u0440\u043c\u0443\u043b\u0430 \u0432\u0441\u0435-\u0442\u0430\u043a\u0438 \u0431\u0443\u0434\u0435\u0442, \u043d\u043e \u043e\u043d\u0430 \u043d\u0430\u0441\u0442\u043e\u043b\u044c\u043a\u043e \u044d\u043b\u0435\u0433\u0430\u043d\u0442\u043d\u0430, \u0447\u0442\u043e \u043d\u0435 \u043f\u0440\u043e\u0446\u0438\u0442\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0435\u0435 \u0431\u044b\u043b\u043e \u0431\u044b \u043f\u0440\u0435\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0435\u043c \u043f\u0435\u0440\u0435\u0434 \u044d\u0441\u0442\u0435\u0442\u0438\u043a\u043e\u0439.\u0412 \u043d\u0430\u0447\u0430\u043b\u0435 \u0434\u0432\u0443\u0445\u0442\u044b\u0441\u044f\u0447\u043d\u044b\u0445 \u2013 \u043a\u043e\u0433\u0434\u0430 \u043c\u043e\u0431\u0438\u043b\u044c\u043d\u044b\u0435 \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u044b \u0443\u0436\u0435 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u043b\u0438, \u043d\u043e \u0435\u0449\u0435 \u043d\u0435 \u0443\u043f\u0440\u0430\u0432\u043b\u044f\u043b\u0438 \u043d\u0430\u0448\u0438\u043c\u0438 \u0436\u0438\u0437\u043d\u044f\u043c\u0438 \u2013 \u043a\u043e\u043d\u0441\u043e\u0440\u0446\u0438\u0443\u043c OMG (Object Management Group, \u043d\u0435 \u0438\u043c\u0435\u044e\u0449\u0438\u0439 \u043d\u0438\u043a\u0430\u043a\u043e\u0433\u043e \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043d\u0438 \u043a \u0431\u043e\u0436\u0435\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u043c\u0443, \u043d\u0438 \u043a \u0432\u043e\u0441\u043a\u043b\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u043c\u0443) \u0432\u044b\u043f\u0443\u0441\u0442\u0438\u043b \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442 \u043f\u043e\u0434 \u043d\u0430\u0437\u0432\u0430\u043d\u0438\u0435\u043c MOF: Meta-Object Facility. \u0421\u0443\u0442\u044c \u0435\u0433\u043e \u0443\u043a\u043b\u0430\u0434\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u0432 \u0447\u0435\u0442\u044b\u0440\u0435 \u0441\u0442\u0440\u043e\u0447\u043a\u0438, \u043d\u043e \u043d\u0430 \u043f\u043e\u043d\u0438\u043c\u0430\u043d\u0438\u0435 \u044d\u0442\u0438\u0445 \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0441\u0442\u0440\u043e\u0447\u0435\u043a \u0443 \u0438\u043d\u0434\u0443\u0441\u0442\u0440\u0438\u0438 \u0443\u0448\u043b\u043e \u0434\u0432\u0430 \u0434\u0435\u0441\u044f\u0442\u0438\u043b\u0435\u0442\u0438\u044f. MOF \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u0443\u044e \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u044e \u043c\u043e\u0434\u0435\u043b\u0435\u0439:M\u2070 \u2013 \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u043a\u043e\u0434. \u0412\u043e\u0442 \u043e\u043d \u0431\u0435\u0436\u0438\u0442, \u0432\u044b\u043f\u043b\u0435\u0432\u044b\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b, \u043f\u0430\u0434\u0430\u0435\u0442 \u0441 \u043e\u0448\u0438\u0431\u043a\u0430\u043c\u0438, \u043f\u043e\u0442\u0440\u0435\u0431\u043b\u044f\u0435\u0442 \u043f\u0430\u043c\u044f\u0442\u044c. \u042d\u0442\u043e \u2013 \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c.M\u00b9 \u2013 \u043c\u043e\u0434\u0435\u043b\u044c \u0440\u0435\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0438. \u0414\u043b\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u044d\u0442\u043e AST: \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u043e\u0435 \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e. \u041f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 BinOp(op=Add(), left=Name(&#8216;x&#8217;), right=Num(5)) \u2013 \u044d\u0442\u043e M1. \u042d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u043e\u0435 {:+, [context: Elixir], [{:x, [], Elixir}, 5]} \u2013 \u0442\u043e\u0436\u0435 M1. \u041a\u0430\u0436\u0434\u044b\u0439 \u044f\u0437\u044b\u043a \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u0441\u0432\u043e\u0439 \u043a\u043e\u0434 \u043d\u0430 \u0441\u0432\u043e\u0435\u043c M1, \u043a\u0430\u043a \u043a\u0430\u0436\u0434\u044b\u0439 \u0445\u0443\u0434\u043e\u0436\u043d\u0438\u043a \u0440\u0438\u0441\u0443\u0435\u0442 \u044f\u0431\u043b\u043e\u043a\u043e \u043f\u043e-\u0441\u0432\u043e\u0435\u043c\u0443.M\u00b2 \u2013 \u043c\u043e\u0434\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0435\u0439. \u041c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c. \u041e\u043d\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, \u0447\u0435\u043c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0443\u0437\u0435\u043b \u043b\u044e\u0431\u043e\u0433\u043e AST. \u041d\u0435 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0443\u0437\u0435\u043b \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430, \u0430 \u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044f \u0443\u0437\u043b\u0430. \u0411\u0438\u043d\u0430\u0440\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 \u044d\u0442\u043e \u043d\u0435 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 BinOp \u0438 \u043d\u0435 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0439 {:+, &#8230;}. \u0411\u0438\u043d\u0430\u0440\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 \u044d\u0442\u043e \u0438\u0434\u0435\u044f \u0442\u043e\u0433\u043e, \u0447\u0442\u043e \u0434\u0432\u0430 \u043e\u043f\u0435\u0440\u0430\u043d\u0434\u0430 \u0441\u0432\u044f\u0437\u0430\u043d\u044b \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u043c. UML \u0436\u0438\u0432\u0435\u0442 \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2. \u0418 MetaAST \u2013 \u0442\u043e\u0436\u0435.M\u00b3 \u2013 \u043c\u0435\u0442\u0430-\u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c. \u0422\u043e, \u0447\u0442\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442, \u0447\u0435\u043c \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0441\u0430\u043c\u0438 \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u0438. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432, \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043a\u043e\u043c\u043f\u043e\u0437\u0438\u0446\u0438\u0438. \u0417\u0434\u0435\u0441\u044c \u0436\u0438\u0432\u0435\u0442 MOF. \u0412 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442\u0435 MetaAST \u044d\u0442\u0443 \u0440\u043e\u043b\u044c \u0438\u0433\u0440\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0438\u043f\u043e\u0432.\u041f\u0440\u0438\u043d\u0446\u0438\u043f\u0438\u0430\u043b\u044c\u043d\u043e\u0435 \u043e\u0442\u043b\u0438\u0447\u0438\u0435 MetaAST \u043e\u0442 LLVM IR, Java bytecode, \u0438\u043b\u0438 \u043b\u044e\u0431\u043e\u0433\u043e \u0434\u0440\u0443\u0433\u043e\u0433\u043e \u043f\u0440\u043e\u043c\u0435\u0436\u0443\u0442\u043e\u0447\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u043c\u0435\u043d\u043d\u043e \u0432 \u044d\u0442\u043e\u043c: \u0432\u0441\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u043d\u044b\u0435 \u2013 \u043c\u043e\u0434\u0435\u043b\u0438 (M\u00b9). \u041e\u043d\u0438 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u044e\u0442 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u043a\u043e\u0434 \u0432 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u043c \u0444\u043e\u0440\u043c\u0430\u0442\u0435. MetaAST \u2013 \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u044c (M\u00b2). \u041e\u043d\u0430 \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442, \u043a\u0430\u043a\u0438\u043c\u0438 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043a\u043e\u0434\u0430. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0430\u044f \u0436\u0435, \u043a\u0430\u043a \u043c\u0435\u0436\u0434\u0443 \u0441\u043b\u043e\u0432\u0430\u0440\u0435\u043c \u0438 \u044f\u0437\u044b\u043a\u043e\u043c: \u0441\u043b\u043e\u0432\u0430\u0440\u044c \u0444\u0438\u043a\u0441\u0438\u0440\u0443\u0435\u0442 \u0441\u043b\u043e\u0432\u0430, \u0430 \u044f\u0437\u044b\u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u043f\u043e \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u044d\u0442\u0438 \u0441\u043b\u043e\u0432\u0430 \u0432\u043e\u043e\u0431\u0449\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b.Metastatic \u2013 \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0430 \u043d\u0430 Elixir, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u0442 \u044d\u0442\u0443 \u0438\u0434\u0435\u044e \u0432 \u043a\u043e\u0434\u0435. \u041d\u0430\u0437\u0432\u0430\u043d\u0438\u0435, \u043a\u0430\u043a \u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043e \u043f\u0440\u0438\u043b\u0438\u0447\u043d\u043e\u043c\u0443 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u043c\u0443 \u043f\u0440\u043e\u0435\u043a\u0442\u0443, \u0437\u0430\u0440\u044f\u0436\u0435\u043d\u043e \u0434\u0432\u043e\u0439\u043d\u044b\u043c \u0441\u043c\u044b\u0441\u043b\u043e\u043c: Met(a)-AST-atic, \u0442\u043e \u0435\u0441\u0442\u044c \u00ab\u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0430\u0449\u0438\u0439 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u043d\u044e AST\u00bb. \u041c\u0435\u0434\u0438\u0446\u0438\u043d\u0441\u043a\u0438\u0435 \u043a\u043e\u043d\u043d\u043e\u0442\u0430\u0446\u0438\u0438 \u2013 \u0437\u0430 \u0441\u0447\u0435\u0442 \u0437\u0430\u0432\u0435\u0434\u0435\u043d\u0438\u044f.\u0410\u0440\u0445\u0438\u0442\u0435\u043a\u0442\u0443\u0440\u0430 \u0442\u0440\u0435\u0445\u0441\u043b\u043e\u0439\u043d\u0430\u044f, \u0438 \u044d\u0442\u043e \u043d\u0435 \u043f\u0440\u0438\u0445\u043e\u0442\u044c, \u0430 \u0441\u043b\u0435\u0434\u0441\u0442\u0432\u0438\u0435 \u0442\u0435\u043e\u0440\u0438\u0438:M2.1 \u2013 \u044f\u0434\u0440\u043e (Core). \u041a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u0438, \u043f\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432 \u043a\u0430\u0436\u0434\u043e\u043c \u044f\u0437\u044b\u043a\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430 \u0441\u0432\u0435\u0442\u0435. \u041b\u0438\u0442\u0435\u0440\u0430\u043b\u044b, \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435, \u0431\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438, \u0443\u0441\u043b\u043e\u0432\u0438\u044f, \u0432\u044b\u0437\u043e\u0432\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u043d\u0438\u044f. \u0417\u0434\u0435\u0441\u044c \u043d\u0435\u0442 \u043d\u0438\u043a\u0430\u043a\u043e\u0439 \u044d\u043a\u0437\u043e\u0442\u0438\u043a\u0438. x + 5 \u043d\u0430 Python, Elixir, Ruby, Erlang \u0438 Haskell (\u0442\u0435 \u044f\u0437\u044b\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0432 \u0442\u043e\u0439 \u0438\u043b\u0438 \u0438\u043d\u043e\u0439 \u0441\u0442\u0435\u043f\u0435\u043d\u0438 \u043d\u0430 \u0434\u0430\u043d\u043d\u044b\u0439 \u043c\u043e\u043c\u0435\u043d\u0442) \u2013 \u044d\u0442\u043e \u043e\u0434\u043d\u043e \u0438 \u0442\u043e \u0436\u0435. \u041e\u0434\u0438\u043d\u0430\u043a\u043e\u0432\u043e\u0435 MetaAST-\u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435. \u0411\u0443\u043a\u0432\u0430\u043b\u044c\u043d\u043e:{:binary_op, [category: :arithmetic, operator: :+],  [{:variable, [], &#171;x&#187;}, {:literal, [subtype: :integer], 5}]}\u041f\u044f\u0442\u044c \u044f\u0437\u044b\u043a\u043e\u0432. \u041e\u0434\u043d\u043e \u0434\u0435\u0440\u0435\u0432\u043e. \u041e\u0434\u0438\u043d \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0430. \u041f\u0430\u0440\u0442\u0438\u0442\u0443\u0440\u0430, \u0447\u0438\u0442\u0430\u0435\u043c\u0430\u044f \u043b\u044e\u0431\u044b\u043c \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u043e\u043c \u043e\u0440\u043a\u0435\u0441\u0442\u0440\u0430.M2.2 \u2013 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u044f (Extended). \u041a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435 \u0432 \u0431\u043e\u043b\u044c\u0448\u0438\u043d\u0441\u0442\u0432\u0435 \u044f\u0437\u044b\u043a\u043e\u0432, \u043d\u043e \u043d\u0435 \u0432\u043e \u0432\u0441\u0435\u0445. \u0426\u0438\u043a\u043b\u044b, \u043b\u044f\u043c\u0431\u0434\u044b, \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438 \u043d\u0430\u0434 \u043a\u043e\u043b\u043b\u0435\u043a\u0446\u0438\u044f\u043c\u0438, \u043f\u0430\u0442\u0442\u0435\u0440\u043d-\u043c\u0430\u0442\u0447\u0438\u043d\u0433, \u043e\u0431\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0439. Haskell \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u044b\u0445 \u0446\u0438\u043a\u043b\u043e\u0432 \u2013 \u043d\u0443 \u0438 \u0431\u043e\u0433 \u0441 \u043d\u0438\u043c: \u0434\u043b\u044f \u043d\u0435\u0433\u043e \u0435\u0441\u0442\u044c \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2.1. Ruby \u043d\u0435 \u0437\u043d\u0430\u0435\u0442 guards \u2013 \u043d\u0435 \u0431\u0435\u0434\u0430: \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435 \u0430\u0434\u0430\u043f\u0442\u0435\u0440\u0430 \u0441\u043e\u0445\u0440\u0430\u043d\u044f\u0442 \u043a\u043e\u043d\u0442\u0435\u043a\u0441\u0442.M2.3 \u2013 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 \u0441\u043b\u043e\u0439 (Native). \u0410\u0432\u0430\u0440\u0438\u0439\u043d\u044b\u0439 \u0432\u044b\u0445\u043e\u0434 \u0434\u043b\u044f \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u043f\u043e\u0434\u0434\u0430\u044e\u0442\u0441\u044f \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044e. Rust\u2019\u043e\u0432\u0441\u043a\u0438\u0435 \u043b\u0430\u0439\u0444\u0442\u0430\u0439\u043c\u044b, Haskell\u2019\u043e\u0432\u0441\u043a\u0438\u0435 type classes, \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u043e\u0435 \u043c\u0435\u0442\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435. \u041e\u043d\u0438 \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u044e\u0442\u0441\u044f \u0432 {:language_specific, :rust, &#8230;} \u2013 \u043a\u0430\u043a \u0445\u0440\u0443\u043f\u043a\u0438\u0439 \u0444\u0430\u0440\u0444\u043e\u0440 \u0432 \u043f\u0443\u043f\u044b\u0440\u0447\u0430\u0442\u0443\u044e \u043f\u043b\u0435\u043d\u043a\u0443 \u2013 \u0438 \u043f\u0443\u0442\u0435\u0448\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0447\u0435\u0440\u0435\u0437 \u0441\u0438\u0441\u0442\u0435\u043c\u0443, \u043d\u0435 \u0442\u0435\u0440\u044f\u044f \u0441\u0432\u043e\u0435\u0439 \u0438\u0434\u0435\u043d\u0442\u0438\u0447\u043d\u043e\u0441\u0442\u0438, \u043d\u043e \u0438 \u043d\u0435 \u043f\u0440\u0435\u0442\u0435\u043d\u0434\u0443\u044f \u043d\u0430 \u0443\u043d\u0438\u0432\u0435\u0440\u0441\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c.\u041a\u0430\u0436\u0434\u044b\u0439 \u0443\u0437\u0435\u043b MetaAST \u2013 \u0442\u0440\u043e\u0439\u043a\u0430. \u0422\u0438\u043f, \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435, \u0434\u0435\u0442\u0438 (\u0438\u043b\u0438 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435). \u0424\u043e\u0440\u043c\u0430\u0442 \u0441\u043e\u0437\u043d\u0430\u0442\u0435\u043b\u044c\u043d\u043e \u0441\u043a\u043e\u043f\u0438\u0440\u043e\u0432\u0430\u043d \u0441 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0445 quoted expressions, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0432\u044b \u0443\u0436\u0435 \u0443\u043c\u0435\u0435\u0442\u0435 \u043f\u0438\u0441\u0430\u0442\u044c \u043c\u0430\u043a\u0440\u043e\u0441\u044b \u0432 Elixir, \u0432\u044b \u0443\u0436\u0435 \u0443\u043c\u0435\u0435\u0442\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441 MetaAST. \u0420\u0430\u0437\u043d\u0438\u0446\u0430 \u0432 \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u043a\u0435: \u0433\u0434\u0435 Elixir \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 :+ (\u0441\u0430\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440), MetaAST \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 :binary_op (\u043a\u043e\u043d\u0446\u0435\u043f\u0446\u0438\u044e \u0431\u0438\u043d\u0430\u0440\u043d\u043e\u0439 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0438), \u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440 \u0443\u0431\u0438\u0440\u0430\u0435\u0442 \u0432 \u043c\u0435\u0442\u0430\u0434\u0430\u043d\u043d\u044b\u0435. \u0413\u0434\u0435 Elixir \u0438\u043d\u043b\u0430\u0439\u043d\u0438\u0442 \u043b\u0438\u0442\u0435\u0440\u0430\u043b\u044b, MetaAST \u043e\u0431\u043e\u0440\u0430\u0447\u0438\u0432\u0430\u0435\u0442 \u0438\u0445 \u0432 {:literal, [subtype: :integer], 42}, \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0438\u0432\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u043d\u0443\u044e \u043e\u0434\u043d\u043e\u0440\u043e\u0434\u043d\u043e\u0441\u0442\u044c.\u042f\u0437\u044b\u043a\u043e\u0432\u044b\u0435 \u0430\u0434\u0430\u043f\u0442\u0435\u0440\u044b \u2013 \u043c\u043e\u0441\u0442 \u043c\u0435\u0436\u0434\u0443 M1 \u0438 M2. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Python \u0431\u0435\u0440\u0435\u0442 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 AST (\u043f\u043e\u043b\u0443\u0447\u0435\u043d\u043d\u044b\u0439 \u0447\u0435\u0440\u0435\u0437 subprocess) \u0438 \u0430\u0431\u0441\u0442\u0440\u0430\u0433\u0438\u0440\u0443\u0435\u0442 \u0435\u0433\u043e \u0434\u043e MetaAST. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Elixir \u0431\u0435\u0440\u0435\u0442 quoted expressions \u0438 \u0434\u0435\u043b\u0430\u0435\u0442 \u0442\u043e \u0436\u0435 \u0441\u0430\u043c\u043e\u0435. \u0410\u0434\u0430\u043f\u0442\u0435\u0440 \u0434\u043b\u044f Ruby \u2013 \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e. \u041e\u0431\u0440\u0430\u0442\u043d\u0430\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u2013 \u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f \u2013 \u043f\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442 MetaAST \u043e\u0431\u0440\u0430\u0442\u043d\u043e \u0432 \u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0439 AST \u0446\u0435\u043b\u0435\u0432\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430. \u042d\u0442\u0430 \u043f\u0430\u0440\u0430 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u0439, \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f \u0438 \u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f, \u043e\u0431\u0440\u0430\u0437\u0443\u0435\u0442 \u0442\u043e, \u0447\u0442\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442 \u0441\u0432\u044f\u0437\u044c\u044e \u0413\u0430\u043b\u0443\u0430:Adapter_L = (alpha_L, rho_L)alpha_L: AS_L -&gt; MetaAST x Metadata    (\u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u044f: M1 -&gt; M2)rho_L:   MetaAST x Metadata -&gt; AS_L    (\u0440\u0435\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u044f: M2 -&gt; M1)\u0427\u0442\u043e \u044d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435? \u0412\u043e\u0442 \u0432\u0430\u043c \u0441\u0446\u0435\u043d\u0430\u0440\u0438\u0439. \u0412\u044b \u043d\u0430\u043f\u0438\u0441\u0430\u043b\u0438 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u0447\u0438\u0441\u0442\u043e\u0442\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439. \u041e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 MetaAST: \u043e\u0431\u0445\u043e\u0434\u0438\u0442 \u0434\u0435\u0440\u0435\u0432\u043e, \u0438\u0449\u0435\u0442 \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0435 \u044d\u0444\u0444\u0435\u043a\u0442\u044b (\u0432\u0432\u043e\u0434-\u0432\u044b\u0432\u043e\u0434, \u043c\u0443\u0442\u0430\u0446\u0438\u044e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f, \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u043a \u0441\u043b\u0443\u0447\u0430\u0439\u043d\u044b\u043c \u0447\u0438\u0441\u043b\u0430\u043c), \u0438 \u0432\u044b\u043d\u043e\u0441\u0438\u0442 \u0432\u0435\u0440\u0434\u0438\u043a\u0442. \u042d\u0442\u043e\u0442 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440 \u043d\u0430\u043f\u0438\u0441\u0430\u043d \u043e\u0434\u0438\u043d \u0440\u0430\u0437. \u041e\u0434\u0438\u043d. \u0418 \u043e\u043d \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0441 Python, Elixir, Ruby, Erlang \u0438 Haskell. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u0442 \u043d\u0435 \u043f\u0438\u0442\u043e\u043d\u043e\u0432\u0441\u043a\u0438\u0439 \u0438\u043b\u0438 \u044d\u043b\u0438\u043a\u0441\u0438\u0440\u043e\u0432\u0441\u043a\u0438\u0439 AST, \u0430 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u0435\u043d\u044c. \u0412\u044b \u043f\u0438\u0448\u0435\u0442\u0435:{:ok, doc} = Metastatic.Adapter.abstract(Python, &#171;print(&#8216;hello&#8217;)&#187;, :python){:ok, result} = Metastatic.Analysis.Purity.analyze(doc)result.pure?    # =&gt; false &#8212; \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0439 \u044d\u0444\u0444\u0435\u043a\u0442: \u0432\u0432\u043e\u0434-\u0432\u044b\u0432\u043e\u0434result.effects  # =&gt; [:io]\u0418 \u0440\u043e\u0432\u043d\u043e \u0442\u043e\u0442 \u0436\u0435 \u043a\u043e\u0434, \u0431\u0435\u0437 \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0439, \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442, \u0435\u0441\u043b\u0438 \u0437\u0430\u043c\u0435\u043d\u0438\u0442\u044c Python \u043d\u0430 Ruby, \u0430 print(&#8216;hello&#8217;) \u043d\u0430 puts &#8216;hello&#8217;. \u041f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u043e\u0431\u0430 \u0432\u044b\u0437\u043e\u0432\u0430 \u2013 \u044d\u0442\u043e {:function_call, [name: &#171;print&#187;], [{:literal, [subtype: :string], &#171;hello&#187;}]} \u043d\u0430 \u0443\u0440\u043e\u0432\u043d\u0435 M2.\u0413\u043b\u0430\u0432\u043d\u044b\u0439 API \u0431\u0438\u0431\u043b\u0438\u043e\u0442\u0435\u043a\u0438 \u043d\u0430\u0440\u043e\u0447\u0438\u0442\u043e \u043f\u0440\u043e\u0441\u0442. \u0414\u0432\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438: Metastatic.quote\/2 \u0438 Metastatic.unquote\/2. \u041f\u0435\u0440\u0432\u0430\u044f \u043f\u043e\u0434\u043d\u0438\u043c\u0430\u0435\u0442 \u0438\u0441\u0445\u043e\u0434\u043d\u044b\u0439 \u043a\u043e\u0434 \u0441 \u0443\u0440\u043e\u0432\u043d\u044f \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0442\u0435\u043a\u0441\u0442\u0430 \u0434\u043e MetaAST (Source -&gt; M1 -&gt; M2). \u0412\u0442\u043e\u0440\u0430\u044f \u043e\u043f\u0443\u0441\u043a\u0430\u0435\u0442 \u043e\u0431\u0440\u0430\u0442\u043d\u043e (M2 -&gt; M1 -&gt; Source). \u041c\u0435\u0436\u0434\u0443 \u044d\u0442\u0438\u043c\u0438 \u0434\u0432\u0443\u043c\u044f \u0432\u044b\u0437\u043e\u0432\u0430\u043c\u0438 \u0436\u0438\u0432\u0435\u0442 \u0432\u0441\u044f \u043c\u0430\u0433\u0438\u044f: \u0430\u043d\u0430\u043b\u0438\u0437, \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f, \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442\u043e\u0432, \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u044d\u043a\u0432\u0438\u0432\u0430\u043b\u0435\u043d\u0442\u043d\u043e\u0441\u0442\u0438.# \u041f\u0430\u0440\u0441\u0438\u043c Python{:ok, py_ast} = Metastatic.quote(&#171;x + 5&#187;, :python)# \u0413\u0435\u043d\u0435\u0440\u0438\u0440\u0443\u0435\u043c Elixir &#8212; \u0442\u043e\u0442 \u0436\u0435 MetaAST, \u0434\u0440\u0443\u0433\u043e\u0439 \u044f\u0437\u044b\u043a{:ok, elixir_source} = Metastatic.unquote(py_ast, :elixir)# =&gt; &#171;x + 5&#8243;\u041a\u0440\u043e\u0441\u0441-\u044f\u0437\u044b\u043a\u043e\u0432\u0430\u044f \u0442\u0440\u0430\u043d\u0441\u043b\u044f\u0446\u0438\u044f \u2013 \u043d\u0435 \u0433\u043b\u0430\u0432\u043d\u0430\u044f \u0446\u0435\u043b\u044c (\u0445\u043e\u0442\u044f \u0438 \u043e\u043d\u0430 \u0432\u043f\u0435\u0447\u0430\u0442\u043b\u044f\u0435\u0442). \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u0446\u0435\u043b\u044c \u2013 \u043a\u0440\u043e\u0441\u0441-\u044f\u0437\u044b\u043a\u043e\u0432\u043e\u0439 \u0430\u043d\u0430\u043b\u0438\u0437. Metastatic \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0434\u0435\u0432\u044f\u0442\u044c \u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0445 \u0430\u043d\u0430\u043b\u0438\u0437\u0430\u0442\u043e\u0440\u043e\u0432, \u0434\u0432\u0430\u0434\u0446\u0430\u0442\u044c \u0431\u0438\u0437\u043d\u0435\u0441-\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0434\u0435\u0442\u0435\u043a\u0442\u043e\u0440\u043e\u0432 \u0430\u043d\u0442\u0438\u043f\u0430\u0442\u0442\u0435\u0440\u043d\u043e\u0432, \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u043a\u043b\u043e\u043d\u043e\u0432 \u043a\u043e\u0434\u0430 \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0442\u0438\u043f\u043e\u0432 (\u043e\u0442 \u0442\u043e\u0447\u043d\u044b\u0445 \u043a\u043e\u043f\u0438\u0439 \u0434\u043e \u0441\u0435\u043c\u0430\u043d\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445), \u0433\u0440\u0430\u0444 \u043f\u043e\u0442\u043e\u043a\u0430 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f, \u0430\u043d\u0430\u043b\u0438\u0437 taint-\u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0435\u0439. \u0418 \u0432\u0441\u0435 \u044d\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0430 \u043b\u044e\u0431\u043e\u043c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u043c\u043e\u043c \u044f\u0437\u044b\u043a\u0435, \u043f\u043e\u0442\u043e\u043c\u0443 \u0447\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0430 \u043c\u0435\u0442\u0430-\u0443\u0440\u043e\u0432\u043d\u0435.\u041e\u0431\u043d\u0430\u0440\u0443\u0436\u0435\u043d\u0438\u0435 \u0434\u0443\u043f\u043b\u0438\u043a\u0430\u0442\u043e\u0432 \u2013 \u043e\u0442\u0434\u0435\u043b\u044c\u043d\u043e\u0435 \u0443\u0434\u043e\u0432\u043e\u043b\u044c\u0441\u0442\u0432\u0438\u0435. \u041f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u044c\u0442\u0435: \u0443 \u0432\u0430\u0441 \u0435\u0441\u0442\u044c Python-\u043c\u043e\u0434\u0443\u043b\u044c \u0438 Ruby-\u043a\u043b\u0430\u0441\u0441, \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u043d\u044b\u0435 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u043b\u044e\u0434\u044c\u043c\u0438, \u0432 \u0440\u0430\u0437\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f, \u0432 \u0440\u0430\u0437\u043d\u044b\u0445 \u0447\u0430\u0441\u043e\u0432\u044b\u0445 \u043f\u043e\u044f\u0441\u0430\u0445. Metastatic \u043d\u0430\u0445\u043e\u0434\u0438\u0442, \u0447\u0442\u043e \u0438\u0445 MetaAST \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u0435\u0442 \u043d\u0430 94%, \u2013 \u044d\u0442\u043e \u043a\u043b\u043e\u043d \u0432\u0442\u043e\u0440\u043e\u0433\u043e \u0442\u0438\u043f\u0430 (\u0440\u0430\u0437\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u0442\u043e\u043b\u044c\u043a\u043e \u0438\u043c\u0435\u043d\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445). \u0424\u0430\u043a\u0443\u043b\u044c\u0442\u0435\u0442 \u0437\u0435\u0440\u043a\u0430\u043b\u044c\u043d\u044b\u0445 \u0431\u043b\u0438\u0437\u043d\u0435\u0446\u043e\u0432, \u0440\u0430\u0437\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u043f\u0440\u0438 \u0440\u043e\u0436\u0434\u0435\u043d\u0438\u0438 \u044f\u0437\u044b\u043a\u043e\u0432\u044b\u043c \u0431\u0430\u0440\u044c\u0435\u0440\u043e\u043c.{:ok, result} = Metastatic.Analysis.Duplication.detect(python_doc, ruby_doc)result.clone_type       # =&gt; :type_iiresult.similarity_score # =&gt; 0.94\u0412\u0435\u0440\u043d\u0435\u043c\u0441\u044f \u043a MOF \u0438 \u0447\u0435\u0442\u044b\u0440\u0435\u0445\u0443\u0440\u043e\u0432\u043d\u0435\u0432\u043e\u0439 \u0438\u0435\u0440\u0430\u0440\u0445\u0438\u0438. \u0417\u0430\u0447\u0435\u043c \u0432\u0441\u0435 \u044d\u0442\u043e \u043d\u0443\u0436\u043d\u043e? \u0417\u0430\u0447\u0435\u043c \u0433\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043c\u0435\u0442\u0430-\u043c\u043e\u0434\u0435\u043b\u0438, \u0435\u0441\u043b\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043a\u043e\u043d\u0432\u0435\u0440\u0442\u0435\u0440 \u0438\u0437 \u043e\u0434\u043d\u043e\u0433\u043e AST \u0432 \u0434\u0440\u0443\u0433\u043e\u0439?\u041e\u0442\u0432\u0435\u0442 \u043f\u0440\u043e\u0441\u0442 \u0438 \u0438\u0440\u043e\u043d\u0438\u0447\u0435\u043d, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0434\u0430 \u0436\u0438\u0437\u043d\u0438. \u041a\u043e\u043d\u0432\u0435\u0440\u0442\u0435\u0440 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442&#8230;<\/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-476241","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/476241","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=476241"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/476241\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=476241"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=476241"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=476241"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}