{"id":482676,"date":"2026-06-07T07:21:59","date_gmt":"2026-06-07T07:21:59","guid":{"rendered":"https:\/\/savepearlharbor.com\/?p=482676"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=482676","title":{"rendered":"\u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u0432\u043e\u0435\u0433\u043e \u044f\u0437\u044b\u043a\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430 Rust #2: \u041f\u0430\u0440\u0441\u0435\u0440 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439"},"content":{"rendered":"
\n

\u041f\u0440\u0438\u0432\u0435\u0442, \u0425\u0430\u0431\u0440!<\/p>\n

\u0427\u0442\u043e \u0431\u0443\u0434\u0435\u043c \u0434\u0435\u043b\u0430\u0442\u044c?<\/h2>\n

\u041c\u044b \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0430\u0440\u0441\u0435\u0440 \u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0438\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439: 1+2*(2+8)*2*a+3<\/code>. \u0421\u043d\u0430\u0447\u0430\u043b\u043e \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u043f\u0430\u0440\u0441\u0435\u0440 \u0434\u043b\u044f \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439, \u0430 \u043f\u043e\u0441\u043b\u0435 \u0441\u0440\u0430\u0437\u0443 \u0436\u0435 \u0437\u0430\u0439\u043c\u0435\u043c\u0441\u044f \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f\u043c\u0438 \u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u043c\u0438. \u041a\u0430\u043a \u043f\u0438\u0441\u0430\u043b \u0440\u0430\u043d\u0435\u0435, \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u0430\u0440\u0441\u0438\u0442\u044c \u043c\u0435\u0442\u043e\u0434\u043e\u043c \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0433\u043e \u0441\u043f\u0443\u0441\u043a\u0430, \u0438 \u0442\u0430\u043c \u0443 \u043d\u0430\u0441 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432. \u0421\u043d\u0430\u0447\u0430\u043b\u043e *\/<\/code>, \u0430 \u043f\u043e\u0442\u043e\u043c +-<\/code>. \u0412 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0430\u043a\u0430\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430: primary<\/code> -> unary<\/code> -> additive<\/code> -> multiplicative<\/code> -> comparison<\/code> -> logical<\/code>. <\/p>\n

\u0421\u0430\u043c\u0438 \u043e\u0431\u044c\u0435\u043a\u0442\u044b \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0431\u0443\u0434\u0443\u0442 \u0442\u0438\u043f\u0430 enum Expr. \u0411\u0443\u0434\u0443\u0442 \u0442\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b:<\/p>\n

    \n
  1. \n

    Expr::Num(f64)<\/strong> — \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u0447\u0438\u0441\u043b\u043e, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primary<\/code><\/p>\n<\/li>\n

  2. \n

    \u0395xpr::Bool(bool) — \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primary<\/code><\/p>\n<\/li>\n

  3. \n

    Expr::Str(String)<\/strong> — \u043b\u0438\u0442\u0435\u0440\u0430\u043b \u0441\u0442\u0440\u043e\u043a\u0438, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primary<\/code><\/p>\n<\/li>\n

  4. \n

    Expr::Id(String)<\/strong> — \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primary<\/code><\/p>\n<\/li>\n

  5. \n

    Expr::Unary(UnaryOp, Box<Expr>)<\/strong> — \u0443\u043d\u0430\u0440\u043d\u0432\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u0438 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — UnaryOp: Neg<\/strong> (-) \u0438 Not<\/strong> (!). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 unary<\/code>.<\/p>\n<\/li>\n

  6. \n

    Expr::Arith(Box<Expr>, ArithOp, Box<Expr>)<\/strong> — \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f. \u0422\u0443\u0442 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u043c \u0435\u0449\u0435 \u043e\u0434\u043d\u043e \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — ArithOp: Add, Sub, Mul \u0438 Div<\/strong>. \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 multiplicative<\/code> \u0438 additive<\/code><\/p>\n<\/li>\n

  7. \n

    Expr::Comp(Box<Expr>, CompOp, Box<Expr>)<\/strong> — \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435. \u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0442\u0430 \u0436\u0435, \u043d\u043e \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — CompOp: Gt<\/strong> (>), Ge<\/strong> (>=), Lt<\/strong> (<), Le<\/strong> (<=), Eq<\/strong> (==), Ne<\/strong> (!=). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 comparison<\/code>.<\/p>\n<\/li>\n

  8. \n

    Expr::Logic(Box<Expr>, LogicOp, Box<Expr>) <\/strong>— \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435. \u0422\u0443\u0442 \u0442\u0430\u043a\u0436\u0435 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0442\u0441\u043b\u0435\u043d\u0438\u0435 — LogicOp: And<\/strong> (&&) \u0438 Or<\/strong> (||). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 logical<\/code><\/p>\n<\/li>\n<\/ol>\n

    \u0412 \u043f\u0440\u043e\u0448\u043b\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u043b, \u043d\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u044e\u0441\u044c. <\/p>\n

    primary<\/strong> — \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c, \u043c\u043e\u0436\u0435\u0442 \u043b\u0438 \u044d\u0442\u043e\u0442 \u0442\u043e\u043a\u0435\u0433 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438. \u042d\u0442\u043e \u043c\u043e\u0436\u0433\u0443\u0442 \u0431\u044b\u0442\u044c: \u0447\u0438\u0441\u043b\u0430, \u0441\u0442\u0440\u043e\u043a\u0438, \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b, \u0432\u044b\u0437\u043e\u0432\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0441\u043a\u043e\u0431\u043a\u0438 (\u0422\u043e\u0447\u043d\u0435\u0435, \u0438\u0445 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435). \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Num, Str, Id. \u0421\u0447\u0438\u0442\u0430\u044f \u0441\u043a\u043e\u0431\u043a\u0438, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435.<\/p>\n

    unary<\/strong> — \u0442\u0443\u0442 \u043c\u044b \u0431\u0435\u0440\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d, \u0435\u0441\u043b\u0438 \u044d\u0442\u043e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, !<\/code>, \u0442\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e, \u0432\u044b\u0437\u0432\u0432\u0430\u0435\u043c primary<\/code>, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435, \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Unary<\/code>.<\/p>\n

    multiplicative<\/strong> — \u0442\u0443\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0432\u0441\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435\u043c \u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u0435\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432\u044b\u0440\u0430\u044d\u0435\u043d\u0438\u0435. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Arith<\/code><\/p>\n

    additive<\/strong> — \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0438 \u0432\u044b\u0447\u0438\u0442\u0430\u043d\u0438\u044f. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Arith<\/code><\/p>\n

    \u041d\u0430\u0447\u0438\u043d\u0430\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c!<\/h2>\n

    \u0421\u043e\u0437\u0434\u0430\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c — parser<\/strong>. \u0422\u0430\u043c \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u044b \u0444\u0430\u0439\u043b\u044b expr.rs<\/strong>, parser.rs<\/strong> \u0438 mod.rs<\/strong>. \u0421\u043d\u0430\u0447\u0430\u043b\u043e, \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435, \u043d\u0430\u043f\u0438\u0448\u0435\u043c mod.rs<\/strong>. (\u041d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u043e, \u0434\u0430?)<\/p>\n

    \u041f\u043e\u043a\u0430\u0436\u0443 \u0441\u0440\u0430\u0437\u0443 \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0439.<\/p>\n

    \nparser\/mod.rs<\/summary>\n
    \n
    pub mod expr;mod parser;pub use parser::Parser;#[derive(Debug, Clone)]pub struct Info {    pub line: usize,    pub offset: usize,    pub len: usize,}#[macro_export]macro_rules! info {    ($line:expr, $offset:expr, $len:expr) => {        $crate::parser::Info {            line: $line,            offset: $offset,            len: $len,        }    };    ($tkn:expr) => {        info!($tkn.line, $tkn.offset, $tkn.len)    };}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0414\u043b\u044f Expr<\/strong>, \u043d\u0430\u043c \u0442\u043e\u0436\u0435 \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f \u043e\u0442\u043b\u0430\u0434\u043e\u0447\u043d\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f, \u0438 \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 Info<\/strong>. \u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0435\u0435, \u043c\u044b \u0431\u0443\u0434\u0435\u0442 \u0434\u0435\u043b\u0430\u0442\u044c \u043e\u0442\u043b\u0430\u0434\u043a\u0443 \u0432 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0438\u0442\u0430\u0442\u043e\u0440\u0435, \u0430 \u0442\u0430\u043a \u043a\u0430\u043a \u0438 \u0441\u0442\u0435\u0439\u0442\u043c\u0435\u043d\u0442\u044b \u0431\u0443\u0434\u0443\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438, \u044f \u0440\u0435\u0448\u0438\u043b \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u0435\u0433\u043e \u0432 mod.rs<\/strong>. \u0422\u0430\u043a\u0436\u0435 \u0442\u0443\u0442 \u0443 \u043d\u0430\u0441 \u0431\u0443\u0434\u0435\u0442 \u043c\u0430\u043a\u0440\u043e\u0441, \u043e\u043d \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u0435\u0442 \u043e\u0431\u044c\u0435\u043a\u0442 Info<\/strong>. \u0410 \u0434\u043b\u0438\u043d\u043d\u044b\u0439, \u0433\u0434\u0435 \u043c\u044b \u0432 \u0440\u0443\u0447\u043d\u0443\u044e \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b, \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0434\u043b\u044f \u0441\u0442\u0435\u0439\u0442\u043c\u0435\u043d\u0442\u043e\u0432, \u0447\u0442\u043e\u0431\u044b \u0438 \u0438\u0445 \u043e\u0442\u043b\u0430\u0436\u0438\u0432\u0430\u0442\u044c.<\/p>\n
    \nparser\/expr.rs<\/summary>\n
    \n
    use super::Info;pub type BExpr = Box<Expr>;#[derive(Debug, Clone)]pub enum Expr {    Num(f64, Info),    Str(String, Info),    Id(String, Info),    Bool(bool, Info),    Unary(UnaryOp, BExpr, Info),    Arith(BExpr, ArithOp, BExpr, Info),    Comp(BExpr, CompOp, BExpr, Info),    Logic(BExpr, LogicOp, BExpr, Info),}impl Expr {    pub fn info(&self) -> Info {        match self {            Expr::Str(_, info) => info.clone(),            Expr::Num(_, info) => info.clone(),            Expr::Id(_, info) => info.clone(),            Expr::Bool(_, info) => info.clone(),            Expr::Arith(_, _, _, info) => info.clone(),            Expr::Comp(_, _, _, info) => info.clone(),            Expr::Logic(_, _, _, info) => info.clone(),            Expr::Unary(_, _, info) => info.clone(),        }    }}#[derive(Debug, Clone)]pub enum ArithOp {    Add, \/\/ +    Sub, \/\/ -    Mul, \/\/ *    Div, \/\/ \/}#[derive(Debug, Clone)]pub enum CompOp {    Gt, \/\/ >    Ge, \/\/ >=    Lt, \/\/ <    Le, \/\/ <=    Eq, \/\/ ==    Ne, \/\/ !=}#[derive(Debug, Clone)]pub enum LogicOp {    And, \/\/ &&    Or,  \/\/ ||}#[derive(Debug, Clone)]pub enum UnaryOp {    Not, \/\/ !    Neg, \/\/ -}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u042f \u0441\u043e\u0437\u0434\u0430\u043b \u0442\u0438\u043f BExpr<\/strong>, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437 \u043d\u0435 \u043f\u0438\u0441\u0430\u0442\u044c Box<Expr><\/strong>. \u041a\u0430\u043a \u0432\u0438\u0434\u0438\u0442\u0435 \u0442\u0443\u0442 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432: ArithOp<\/strong>, CompOp<\/strong>, LogicOp<\/strong>. \u0422\u0430\u043a\u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0433\u043b\u0430\u0432\u043d\u043e\u0435 \u043f\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — Expr. \u042f \u0440\u0430\u043d\u0435\u0435 \u0443\u0436\u0435 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043b \u0434\u043b\u044f \u0447\u0435\u0433\u043e \u044d\u0442\u043e, \u0442\u0430\u043a \u0447\u0442\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0442\u044c\u0441\u044f \u043d\u0435 \u0431\u0443\u0434\u0443. \u041c\u0435\u0442\u043e\u0434 info<\/code> \u0442\u0443\u0442 \u043f\u0440\u043e\u0441\u0442\u043e \u043a\u043e\u043f\u0438\u0440\u0443\u0435\u0442 \u0438\u043d\u0444\u043e \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0432\u0432\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0442\u043e\u043c \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u0441\u0442\u0440\u043e \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0438\u0445 \u0443\u0434\u043e\u0431\u043d\u0435\u0435. (\u0423\u0432\u0438\u0434\u0438\u0442\u0438 \u0432\u043e\u043e\u0431\u0449\u0435\u043c)<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u0441\u0442\u0443\u043a\u0442\u0443\u0440\u0443 Parser.<\/p>\n
    \nparser\/parser.rs<\/summary>\n
    \n
    use super::expr::{ArithOp, BExpr, CompOp, Expr, LogicOp};use crate::lexer::token::{TKind, Token};pub struct Parser<'a> {    pos: usize,    tokens: Vec<Token>,    lines: Vec<&'a str>,}impl<'a> Parser<'a> {    pub fn new(tokens: Vec<Token>, source: &'a str) -> Self {        let lines: Vec<&str> = source.lines().collect();        Self {            tokens,            pos: 0,            lines,        }    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0417\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u043c\u043f\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u043c Expr<\/strong> \u0438 \u0435\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b, \u0430 \u0442\u0430\u043a\u0436\u0435 Token<\/strong> \u0438 TKind<\/strong> (\u0432\u0441\u0435\u0432\u0434\u043e\u043d\u0438\u043c TokenKind<\/strong>). \u0412 \u043c\u0435\u0442\u043e\u0434 new \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0442\u043e\u043a\u0435\u043d\u044b, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0431\u0443\u0434\u0435\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u044c AST<\/strong> (Abstract Syntax Tree) \u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u0441\u0435 \u0441\u0442\u0440\u043e\u043a\u0438. lines \u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u0442\u0430\u043a\u0436\u0435 \u0434\u043b\u044f \u043e\u0448\u0438\u0431\u043e\u043a, \u043a\u0430\u043a \u0438 \u0432 \u043b\u0435\u043a\u0441\u0435\u0440\u0435.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b. \u0418\u0445 \u0431\u0443\u0434\u0435\u0442 \u043c\u0435\u043d\u044c\u0448\u0435 \u0438 \u0431\u0443\u0434\u0443 \u043f\u0440\u043e\u0449\u0435 (\u043d\u0430 \u0434\u0430\u043d\u043d\u043e\u043c \u044d\u0442\u0430\u043f\u0435).<\/p>\n
    \nparser\/parser.rs: Parser<\/summary>\n
    \n
    use std::mem::discriminant;...fn check(&mut self, kind: TKind) -> bool {    if discriminant(&self.peek(0).kind) == discriminant(&kind) {        self.advance(1);        true    } else {        false    }}fn error(&self, msg: &str, token: Token) -> String {    let line = self.lines[token.line];    let header = format!(\"Error in {}:{} - {msg}\", token.line, token.offset);    let err_line = format!(\"{} | {line}\", token.line);    let point = format!(        \"{} | {}{}\",        \" \".repeat(token.line.to_string().len()),        \" \".repeat(token.offset),        \"^\".repeat(token.len),    );    format!(\"{header}\\n{err_line}\\n{point}\\n\")}fn peek(&self, offset: i8) -> Token {    let idx = self.pos + offset as usize;    self.tokens.get(idx).unwrap().clone()}fn advance(&mut self, offset: u8) {    self.pos += offset as usize;}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0412 advance<\/code> \u043c\u044b \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0435\u043c \u0442\u043e\u043b\u044c\u043a\u043e self.pos<\/code>. <\/p>\n
    \u0412 peek<\/code> \u044f \u0440\u0435\u0448\u0438\u043b \u0443\u0431\u0440\u0430\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b unwrap<\/code>. \u0421\u043d\u043e\u0432\u0430 \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0443: \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0435\u0433\u043e \u043d\u0430 \u0441\u0432\u043e\u0439 \u0441\u0442\u0440\u0430\u0445 \u0438 \u0440\u0438\u0441\u043a, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0442\u043e\u0442\u0438\u043f\u043e\u0432. \u041d\u043e \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u043f\u0438\u0441\u0430\u0442\u044c \u043c\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0435\u0433\u043e.<\/p>\n
    \u0412 error<\/code> \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0442\u043e\u043a\u0435\u043d, \u0438 \u0431\u0443\u0434\u0435\u043c \u0431\u0440\u0430\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u0438\u0437 \u043d\u0435\u0433\u043e.<\/p>\n
    check<\/code> \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0438 \u0442\u0438\u043f \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u043e\u043a\u0435\u043d\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043e\u043c\u0443, \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0443\u0441\u043f\u0435\u0445\u0430 \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c true<\/strong>, \u0430 \u0432 \u0438\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c false<\/strong>. discriminant<\/code> \u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d, \u0447\u0442\u043e\u0431\u044b \u0441\u0440\u0430\u043d\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0438\u043f \u0442\u043e\u043a\u0435\u043d\u0430, \u0430 \u043d\u0435 \u0435\u0433\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435. <\/p>\n
    \u041d\u0430\u0447\u0438\u043d\u0430\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0430\u0440\u0441\u0438\u043d\u0433!<\/h2>\n
    \u041d\u0430\u0447\u043d\u0435\u043c \u0441 primary<\/code>.<\/p>\n
    \nparser\/parser.rs: Parser.primary<\/summary>\n
    \n
    fn primary(&mut self) -> Expr {    let current = self.peek(0);    match current.kind {        TKind::NumLit(n) => {            self.advance(1);            Expr::Num(n, info!(current))        }        TKind::StrLit(s) => {            self.advance(1);            Expr::Str(s, info!(current))        }        TKind::Id(id) => {            self.advance(1);            Expr::Id(id, info!(current))        }        TKind::Bool(truth) => {            self.advance(1);            Expr::Bool(truth, info!(current))        }        _ => panic!(\"{}\", self.error(\"Unexpected token in primary\", current)),    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u041c\u044b \u0431\u0435\u0440\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0435\u0433\u043e. \u0415\u0441\u043b\u0438 \u043e\u043d \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0432 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438, \u0442\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e \u0438 \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 \u043e\u0431\u044c\u0435\u043a\u0442 Expr<\/strong>. \u0412 \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435 \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0433\u043e \u0442\u043e\u043a\u0435\u043d\u0430 \u043f\u0430\u043d\u0438\u043a\u0443\u0435\u043c \u043d\u0430 \u043d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u044b\u0439 \u0442\u043e\u043a\u0435\u043d. \u0421\u043a\u043e\u0431\u043a\u0438 \u0442\u0430\u043a\u0436\u0435 \u0431\u0443\u0434\u0443\u0442 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u0437\u0434\u0435\u0441\u044c, \u043d\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0438\u0445 \u043f\u043e\u0437\u0436\u0435.<\/p>\n
    \nparser\/parser.rs: Parser.unary<\/summary>\n
    \n
    fn unary(&mut self) -> Expr {    let current = self.peek(0);    match current.kind {        TKind::Minus => {            self.advance(1);            let primary = self.primary();            let info = primary.info();            let info = info!(info.line, info.offset - 1, info.len + 1);            Expr::Unary(UnaryOp::Neg, Box::new(primary), info)        }        TKind::Bang => {            self.advance(1);            let primary = self.primary();            let info = primary.info();            let info = info!(info.line, info.offset - 1, info.len + 1);            Expr::Unary(UnaryOp::Not, Box::new(primary), info)        }        _ => self.primary(),    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0422\u0443\u0442 \u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d. \u0415\u0441\u043b\u0438 \u044d\u0442\u043e — \u0438\u043b\u0438 !<\/code>, \u0442\u043e \u0441\u043e\u043e\u0442\u0430\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Unary<\/code>, \u0432 \u0438\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043e\u0431\u044b\u0447\u043d\u044b\u0439 primary. \u0414\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u0432 \u0432\u043e\u0437\u043c\u0435\u043c \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0441 TKind::Minus<\/code>.<\/p>\n
    TKind::Minus => {    self.advance(1);    let primary = self.primary();    let info = primary.info();    let info = info!(info.line, info.offset - 1, info.len + 1);    Expr::Unary(UnaryOp::Neg, Box::new(primary), info)}<\/code>
    <\/a><\/div><\/pre>\n
    \u041c\u044b \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d (\u043c\u0438\u043d\u0443\u0441) \u0438 \u0431\u0435\u0440\u0435\u043c primary. \u0414\u0430\u043b\u0435\u0435 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c Info<\/strong>. \u041f\u0440\u043e\u0441\u0442\u043e \u0432\u0437\u044f\u0442\u044c info!(primary)<\/code> \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u043c\u0438\u043d\u0443\u0441 \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u044b\u0445\u043e\u0434\u0438\u0442\u044c \u0432 Info<\/strong>. \u0422\u0430\u043a \u0447\u0442\u043e \u0431\u0435\u0440\u0435\u043c Info \u0438\u0437 primary, \u0432 \u043c\u0430\u043a\u0440\u043e\u0441 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u043d\u043e\u043c\u0435\u0440 \u0441\u0442\u0440\u043e\u043a\u0438, \u043e\u0442\u0441\u0442\u0443\u043f \u043e\u0442 \u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0442\u0440\u043e\u043a\u0438 — 1. \u041e\u0442\u043d\u0438\u043c\u0430\u0435\u043c 1, \u0442\u0430\u043a \u043a\u0430\u043a primary \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u0443\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430, \u0438 \u0442\u0430\u043c \u043c\u044b \u0437\u0430\u0445\u0432\u0430\u0442\u0438\u043c \u0438 \u0441\u0430\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440. \u0412 \u0434\u043b\u0438\u043d\u043d\u0443 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0434\u043b\u0438\u043d\u043d\u0443 primary<\/code> + 1, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u0440\u043e\u0432\u043d\u044f\u0442\u044c. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043d\u0435\u0433\u0430\u0442\u0438\u0432\u043d\u044b\u0439 primary \u0438 Info<\/strong>, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u043b\u0438. \u0421 TKind<\/strong> \u043b\u043e\u0433\u0438\u043a\u0430 \u0441\u0445\u043e\u0436\u0430, \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c UnaryOp::Not<\/code>.<\/p>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0438 multiplicative<\/code>.<\/p>\n
    fn multiplicative(&mut self) -> Expr {    let mut left = self.unary();    loop {        let op_token = self.peek(0);        let op = match op_token.kind {            TKind::Star => ArithOp::Mul,            TKind::Slash => ArithOp::Div,            _ => break,        };        self.advance(1);        let right = self.unary();        left = Expr::Arith(Box::new(left), op, Box::new(right), info!(op_token))    }    left}<\/code>
    <\/a><\/div><\/pre>\n
    \u0421\u043e\u0437\u0434\u0430\u0435\u043c left<\/strong>, \u043a\u0443\u0434\u0430 \u043f\u043e\u043c\u0435\u0449\u0430\u0435\u043c self.unary<\/code>, \u044d\u0442\u043e \u0431\u0443\u0434\u0435\u0442 \u043b\u0435\u0432\u044b\u043c \u043e\u043f\u0435\u0440\u0430\u043d\u0434\u043e\u043c. \u0414\u0430\u043b\u0435\u0435 \u0432 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u043c \u0446\u0438\u043a\u043b\u0435: \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d, \u0435\u0441\u043b\u0438 \u044d\u0442\u043e \u0437\u043d\u0430\u043a \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u044f \u0438\u043b\u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u044f, \u0442\u043e \u0432\u043e\u0437\u0432\u043e\u0449\u0430\u0435\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 ArithOp<\/strong>, \u0432 \u0441\u043b\u0443\u0447\u0430\u0435, \u0435\u0441\u043b\u0438 \u044d\u0442\u043e \u043b\u044e\u0431\u043e\u0439 \u0434\u0440\u0443\u0433\u043e\u0439 \u0442\u043e\u043a\u0435\u043d, \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u044b\u0445\u043e\u0434\u0438\u043c \u0438\u0437 \u0446\u0438\u043a\u043b\u0430 \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c left<\/strong>.<\/p>\n
    \u0412 \u0441\u043b\u0443\u0447\u0430\u0435, \u0435\u0441\u043b\u0438 \u044d\u0442\u043e \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0438\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440, \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e \u0438 \u043f\u0430\u0440\u0441\u0438\u043c \u043f\u0440\u0430\u0432\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u043d\u0434. \u041f\u043e\u0441\u043b\u0435 \u043f\u0435\u0440\u0435\u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c left<\/strong>, \u043a\u0430\u043a \u043b\u0435\u0432\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u043d\u0434 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0441\u0430\u043c left<\/strong>, \u0430 \u0434\u043b\u044f \u043f\u0440\u0430\u0432\u043e\u0433\u043e \u043d\u0430\u0448 \u043d\u0435\u0434\u0430\u0432\u043d\u043e \u0441\u043f\u0430\u0440\u0448\u0435\u043d\u044b\u0439 right<\/strong>. \u0412 info<\/strong> \u044f \u0440\u0435\u0448\u0438\u043b \u043a\u043b\u0430\u0441\u0442\u044c \u043f\u043e\u0437\u0438\u0446\u0438\u044e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430. \u0422\u0430\u043a \u0431\u0443\u0434\u0435\u0442 \u043c\u0435\u043d\u044c\u0448\u0435 \u0437\u0430\u043c\u0430\u0440\u043e\u0447\u0435\u043a \u043f\u043e \u043f\u043e\u0432\u043e\u0434\u0443 \u0432\u044b\u0434\u0435\u043b\u0435\u043d\u0438\u044f \u043e\u0448\u0438\u0431\u043e\u043a, \u0438 \u043c\u0435\u043d\u044c\u0448\u0435 \u043a\u043e\u0434\u0430.<\/p>\n
    \u0423 additive<\/code> \u043b\u043e\u0433\u0438\u043a\u0430 \u0430\u0431\u0441\u043e\u043b\u044e\u0442\u043d\u043e \u0442\u0430 \u0436\u0435, \u043f\u0440\u043e\u0441\u0442\u043e \u0437\u0430\u043c\u0435\u043d\u044f\u0435\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u043d\u0430 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0435.<\/p>\n
    fn additive(&mut self) -> Expr {    let mut left = self.multiplicative();    loop {        let op_token = self.peek(0);        let op = match op_token.kind {            TKind::Plus => ArithOp::Add,            TKind::Minus => ArithOp::Sub,            _ => break,        };        self.advance(1);        let right = self.multiplicative();        left = Expr::Arith(Box::new(left), op, Box::new(right), info!(op_token))    }    left}<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u043e\u0431\u043e\u0431\u0449\u0435\u043d\u0438\u044f \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u043c\u0435\u0442\u043e\u0434 expr, \u0442\u0443\u0434\u0430 \u043c\u044b, \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0442\u0435\u0440\u043d\u0430\u0440\u043d\u044b\u0439 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440, \u043d\u043e \u043f\u043e\u043a\u0430 \u0431\u0435\u0437 \u043d\u0435\u0433\u043e:<\/p>\n
    fn expr(&mut self) -> Expr {    self.additive()}<\/code>
    <\/a><\/div><\/pre>\n
    \u0418 \u0435\u0449\u0435 \u043e\u0434\u0438\u043d \u043d\u043e\u0432\u044b\u0439 \u043c\u0435\u0442\u043e\u0434 — parse_exprs<\/code>. \u041e\u043d \u0431\u0443\u0434\u0435\u0442 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0430\u0440\u0441\u0438\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u043f\u043e \u043f\u043e\u0440\u044f\u0434\u043a\u0443, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c \u0435\u0433\u043e \u0434\u043b\u044f \u0442\u0435\u0441\u0442\u043e\u0432 \u0438 \u043e\u0442\u043b\u0430\u0434\u043a\u0438.<\/p>\n
    pub fn parse_exprs(&mut self) -> Vec<Expr> {    let mut exprs = vec![];    while self.peek(0).kind != TKind::Eof {        let expr = self.expr();        exprs.push(expr);    }    exprs}<\/code>
    <\/a><\/div><\/pre>\n
    \u041d\u0443 \u0438 \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u0442\u0435\u0441\u0442 \u0432 \u043f\u0430\u043f\u043a\u0435 tests — parsert.rs<\/strong><\/p>\n
    use guidzy::lexer::Lexer;use guidzy::parser::Parser;#[test]fn main() {    let source = \"2 + 2 * 2\"    .trim();    let tokens = Lexer::new(source).tokenize();    println!(\"Source: {}\\nTokens:\", source);    for tkn in &tokens {        println!(\"{:?}\", tkn);    }    let exprs = Parser::new(tokens, source).parse_exprs();    println!(\"Expressions:\");    for ex in exprs {        println!(\"{:?}\", ex);    }}<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043b\u044f \u0437\u0430\u043f\u0443\u0441\u043a\u0430 \u0442\u0435\u0441\u0442\u0430 \u0441 \u0432\u044b\u0432\u043e\u0434\u043e\u043c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c cargo test — —nocapture<\/strong>. \u0412\u044b\u0432\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u0442\u0430\u043a\u043e\u0432\u044b\u043c:<\/p>\n
    Source: 2 + 2 * 2Tokens:Token { kind: NumLit(2.0), len: 1, pos: 0, line: 0, offset: 0 }Token { kind: Plus, len: 1, pos: 2, line: 0, offset: 2 }Token { kind: NumLit(2.0), len: 1, pos: 4, line: 0, offset: 4 }Token { kind: Star, len: 1, pos: 6, line: 0, offset: 6 }Token { kind: NumLit(2.0), len: 1, pos: 8, line: 0, offset: 8 }Token { kind: Eof, len: 1, pos: 9, line: 0, offset: 9 }Expressions:Arith(Num(2.0, Info { line: 0, offset: 0, len: 1 }), Add, Arith(Num(2.0, Info { line: 0, offset: 4, len: 1 }), Mul, Num(2.0, Info { line: 0, offset: 8, len: 1 }), Info { line: 0, offset: 6, len: 1 }), Info { line: 0, offset: 2, len: 1 })<\/code>
    <\/a><\/div><\/pre>\n
    \u0421\u043e\u0433\u043b\u0430\u0441\u0438\u0442\u0435\u0441\u044c, \u0434\u043e\u0432\u043e\u043b\u044c\u043d\u043e \u043d\u0435\u0447\u0438\u0442\u0430\u0435\u043c\u044b\u0439 \u0432\u044b\u0432\u043e\u0434? \u0427\u0442\u043e\u0431\u044b \u0441\u0434\u0435\u043b\u0430\u0442\u044c \u0435\u0433\u043e \u0447\u0438\u0442\u0430\u0435\u043c\u044b\u043c, \u0440\u0435\u0430\u043b\u0438\u0437\u0443\u0435\u043c \u0442\u0440\u0435\u0439\u0442 fmt::Display<\/code> \u0434\u043b\u044f Expr<\/strong> \u0438 \u0432\u0441\u0435\u0445 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432:<\/p>\n
    \nparser\/expr.rs<\/summary>\n
    \n
    use std::fmt;...impl fmt::Display for ArithOp {    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {        match self {            ArithOp::Add => write!(f, \"+\"),            ArithOp::Sub => write!(f, \"-\"),            ArithOp::Mul => write!(f, \"*\"),            ArithOp::Div => write!(f, \"\/\"),        }    }}impl fmt::Display for CompOp {    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {        match self {            CompOp::Gt => write!(f, \">\"),            CompOp::Ge => write!(f, \">=\"),            CompOp::Lt => write!(f, \"<\"),            CompOp::Le => write!(f, \"<=\"),            CompOp::Eq => write!(f, \"==\"),            CompOp::Ne => write!(f, \"!=\"),        }    }}impl fmt::Display for LogicOp {    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {        match self {            LogicOp::And => write!(f, \"&&\"),            LogicOp::Or => write!(f, \"||\"),        }    }}impl fmt::Display for UnaryOp {    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {        match self {            UnaryOp::Neg => write!(f, \"-\"),            UnaryOp::Not => write!(f, \"!\"),        }    }}impl fmt::Display for Expr {    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {        match self {            Expr::Num(n, _) => write!(f, \"{n}\"),            Expr::Str(s, _) => write!(f, \"\\\"{s}\\\"\"),            Expr::Id(id, _) => write!(f, \"{id}\"),            Expr::Bool(b, _) => write!(f, \"{b}\"),            Expr::Arith(l, op, r, _) => write!(f, \"({l} {op} {r})\"),            Expr::Comp(l, op, r, _) => write!(f, \"({l} {op} {r})\"),            Expr::Logic(l, op, r, _) => write!(f, \"({l} {op} {r})\"),            Expr::Unary(op, expr, _) => write!(f, \"{op}{expr}\"),        }    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u042f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b \u0444\u043e\u0440\u043c\u0430\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 \u0441\u0440\u0430\u0437\u0443 \u0434\u043b\u044f \u0432\u0441\u0435\u0433\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0442\u043e\u0441 \u043d\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0442\u044c\u0441\u044f \u043a \u044d\u0442\u043e\u043c\u0443. \u0412\u044b\u0432\u043e\u0434 \u0442\u0435\u043f\u0435\u0440\u044c \u0442\u0430\u043a\u043e\u0432:<\/p>\n
    Source: 2 + 2 * 2Tokens:Token { kind: NumLit(2.0), len: 1, pos: 0, line: 0, offset: 0 }Token { kind: Plus, len: 1, pos: 2, line: 0, offset: 2 }Token { kind: NumLit(2.0), len: 1, pos: 4, line: 0, offset: 4 }Token { kind: Star, len: 1, pos: 6, line: 0, offset: 6 }Token { kind: NumLit(2.0), len: 1, pos: 8, line: 0, offset: 8 }Token { kind: Eof, len: 1, pos: 9, line: 0, offset: 9 }Expressions:(2 + (2 * 2))<\/code>
    <\/a><\/div><\/pre>\n
    \u0414\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f<\/h2>\n
    \u0422\u0443\u0442 \u0432\u0441\u0435 \u043f\u0440\u043e\u0441\u0442\u043e, \u043b\u043e\u0433\u0438\u043a\u0430 \u0442\u0430\u043a\u0430\u044f \u0436\u0435 \u043a\u0430\u043a \u0438 \u0432 additive<\/code> \u0438 multiplicative<\/code>, \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0434\u0440\u0443\u0433\u0438\u0435 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0434\u0440\u0443\u0433\u043e\u0439 \u0442\u0438\u043f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f.<\/p>\n
    \nparser\/parser.rs: Parser<\/summary>\n
    \n
    fn logical(&mut self) -> Expr {    let mut left = self.comparison();    loop {        let op_token = self.peek(0);        let op = match op_token.kind {            TKind::And => LogicOp::And,            TKind::Or => LogicOp::Or,            _ => break,        };        self.advance(1);        let right = self.comparison();        left = Expr::Logic(Box::new(left), op, Box::new(right), info!(op_token))    }    left}fn comparison(&mut self) -> Expr {    let mut left = self.additive();    loop {        let op_token = self.peek(0);        let op = match op_token.kind {            TKind::Gt => CompOp::Gt,            TKind::Ge => CompOp::Ge,            TKind::Lt => CompOp::Lt,            TKind::Le => CompOp::Le,            TKind::Eq => CompOp::Eq,            TKind::Ne => CompOp::Ne,            _ => break,        };        self.advance(1);        let right = self.additive();        left = Expr::Comp(Box::new(left), op, Box::new(right), info!(op_token))    }    left}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \n\u041e\u0431\u043d\u043e\u0432\u0438\u043c \u0442\u0435\u0441\u0442 tests\/parsert.rs<\/summary>\n
    \n
    use guidzy::lexer::Lexer;use guidzy::parser::Parser;#[test]fn main() {    let source = \"2 + 2 * 2 > 4 \/ 2 + 2 && true != false\"    .trim();    let tokens = Lexer::new(source).tokenize();    println!(\"Source: {}\\nTokens:\", source);    for tkn in &tokens {        println!(\"{:?}\", tkn);    }    let exprs = Parser::new(tokens, source).parse_exprs();    println!(\"Expressions:\");    for ex in exprs {        println!(\"{}\", ex);    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0412\u044b\u0432\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u0442\u0430\u043a\u0438\u043c:<\/p>\n
    Source: 2 + 2 * 2 > 4 \/ 2 + 2 && true != falseTokens:Token { kind: NumLit(2.0), len: 1, pos: 0, line: 0, offset: 0 }Token { kind: Plus, len: 1, pos: 2, line: 0, offset: 2 }Token { kind: NumLit(2.0), len: 1, pos: 4, line: 0, offset: 4 }Token { kind: Star, len: 1, pos: 6, line: 0, offset: 6 }Token { kind: NumLit(2.0), len: 1, pos: 8, line: 0, offset: 8 }Token { kind: Gt, len: 1, pos: 10, line: 0, offset: 10 }Token { kind: NumLit(4.0), len: 1, pos: 12, line: 0, offset: 12 }Token { kind: Slash, len: 1, pos: 14, line: 0, offset: 14 }Token { kind: NumLit(2.0), len: 1, pos: 16, line: 0, offset: 16 }Token { kind: Plus, len: 1, pos: 18, line: 0, offset: 18 }Token { kind: NumLit(2.0), len: 1, pos: 20, line: 0, offset: 20 }Token { kind: And, len: 2, pos: 22, line: 0, offset: 22 }Token { kind: Bool(true), len: 6, pos: 25, line: 0, offset: 25 }Token { kind: Ne, len: 2, pos: 30, line: 0, offset: 30 }Token { kind: Bool(false), len: 7, pos: 33, line: 0, offset: 33 }Token { kind: Eof, len: 1, pos: 38, line: 0, offset: 38 }Expressions:(((2 + (2 * 2)) > ((4 \/ 2) + 2)) && (true != false))<\/code>
    <\/a><\/div><\/pre>\n
    \u041d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u043a \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0441\u043a\u043e\u0431\u043a\u0438. \u0412 primary<\/code> \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0435\u043c \u043d\u043e\u0432\u0443\u044e \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443:<\/p>\n
    TKind::LParen => {    self.advance(1);    let expr = self.expr();    if !self.check(TKind::RParen) {        panic!(            \"{}\",            self.error(&format!(\"Expected ')', found {:?}\", current), current)        );    }    expr}<\/code>
    <\/a><\/div><\/pre>\n
    \u0422\u0443\u0442 \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u043b\u0435\u0432\u0443\u044e \u0441\u043a\u043e\u0431\u043a\u0443, \u043f\u043e\u0441\u043b\u0435 \u0441\u043a\u043e\u0431\u043a\u0438 \u043f\u0430\u0440\u0441\u0438\u043c \u043f\u043e\u043b\u043d\u043e\u0446\u0435\u043d\u043d\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0442\u043e\u043a\u0435\u043d \u043d\u0430 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u044e\u0449\u0443\u044e \u0441\u043a\u043e\u0431\u043a\u0443. \u0415\u0441\u043b\u0438 \u044d\u0442\u043e \u043d\u0435 \u0437\u0430\u043a\u0440\u044b\u0432\u0430\u044e\u0449\u0430\u044f \u0441\u043a\u043e\u0431\u043a\u0430, \u0442\u043e \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u043c \u043e\u0448\u0438\u0431\u043a\u0443, \u0432 \u0438\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435.<\/p>\n
    \n\u041e\u0431\u043d\u043e\u0432\u0438\u043c \u0442\u0435\u0441\u0442 tests\/parsert.rs<\/summary>\n
    \n
    use guidzy::lexer::Lexer;use guidzy::parser::Parser;#[test]fn main() {    let source = \"2 + 2 * 2 > 4 \/ 2 + 2 && true != false(2 + 2) * 2\"    .trim();    let tokens = Lexer::new(source).tokenize();    println!(\"Source: {}\\nTokens:\", source);    for tkn in &tokens {        println!(\"{:?}\", tkn);    }    let exprs = Parser::new(tokens, source).parse_exprs();    println!(\"Expressions:\");    for ex in exprs {        println!(\"{}\", ex);    }}<\/code>
    <\/a><\/div><\/pre>\n<\/div>\n<\/details>\n
    \u0418 \u0442\u0435\u043f\u0435\u0440\u044c \u0432\u044b\u0432\u043e\u0434 \u0442\u0430\u043a\u043e\u0439:<\/p>\n
    Source: 2 + 2 * 2 > 4 \/ 2 + 2 && true != false(2 + 2) * 2Tokens:Token { kind: NumLit(2.0), len: 1, pos: 0, line: 0, offset: 0 }Token { kind: Plus, len: 1, pos: 2, line: 0, offset: 2 }Token { kind: NumLit(2.0), len: 1, pos: 4, line: 0, offset: 4 }Token { kind: Star, len: 1, pos: 6, line: 0, offset: 6 }Token { kind: NumLit(2.0), len: 1, pos: 8, line: 0, offset: 8 }Token { kind: Gt, len: 1, pos: 10, line: 0, offset: 10 }Token { kind: NumLit(4.0), len: 1, pos: 12, line: 0, offset: 12 }Token { kind: Slash, len: 1, pos: 14, line: 0, offset: 14 }Token { kind: NumLit(2.0), len: 1, pos: 16, line: 0, offset: 16 }Token { kind: Plus, len: 1, pos: 18, line: 0, offset: 18 }Token { kind: NumLit(2.0), len: 1, pos: 20, line: 0, offset: 20 }Token { kind: And, len: 2, pos: 22, line: 0, offset: 22 }Token { kind: Bool(true), len: 6, pos: 25, line: 0, offset: 25 }Token { kind: Ne, len: 2, pos: 30, line: 0, offset: 30 }Token { kind: Bool(false), len: 7, pos: 33, line: 0, offset: 33 }Token { kind: LParen, len: 1, pos: 39, line: 1, offset: 0 }Token { kind: NumLit(2.0), len: 1, pos: 40, line: 1, offset: 1 }Token { kind: Plus, len: 1, pos: 42, line: 1, offset: 3 }Token { kind: NumLit(2.0), len: 1, pos: 44, line: 1, offset: 5 }Token { kind: RParen, len: 1, pos: 45, line: 1, offset: 6 }Token { kind: Star, len: 1, pos: 47, line: 1, offset: 8 }Token { kind: NumLit(2.0), len: 1, pos: 49, line: 1, offset: 10 }Token { kind: Eof, len: 1, pos: 50, line: 1, offset: 11 }Expressions:(((2 + (2 * 2)) > ((4 \/ 2) + 2)) && (true != false))((2 + 2) * 2)<\/code>
    <\/a><\/div><\/pre>\n
    \u0418\u0442\u043e\u0433<\/h2>\n
    \u0422\u0435\u043f\u0435\u0440\u044c \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u043f\u0430\u0440\u0441\u0435\u0440, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043f\u0430\u0440\u0441\u0438\u0442 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441\u043e \u0441\u043a\u043e\u0431\u043a\u0430\u043c\u0438 \u0438 \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u043e\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \ud83d\ude00<\/p>\n
    \u0412 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u0443\u0436\u0435 \u0431\u0443\u0434\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c \u043f\u0430\u0440\u0441\u0435\u0440 \u0434\u043b\u044f \u0441\u0442\u0435\u0439\u0442\u043c\u0435\u043d\u0442\u043e\u0432.<\/p>\n
    \u0420\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u0442\u0435\u043a\u0443\u0449\u0435\u0439 \u0441\u0442\u0430\u0442\u044c\u0438 \u043c\u043e\u0436\u043d\u043e \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0435\u0442\u044c \u0432 \u044d\u0442\u043e\u043c \u0440\u0435\u043f\u043e\u0437\u0438\u0442\u043e\u0440\u0438\u0438.<\/a><\/p>\n<\/div>\n
    \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 https:\/\/habr.com\/ru\/articles\/1044502\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
    \u041f\u0440\u0438\u0432\u0435\u0442, \u0425\u0430\u0431\u0440!\u0427\u0442\u043e \u0431\u0443\u0434\u0435\u043c \u0434\u0435\u043b\u0430\u0442\u044c?\u041c\u044b \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0430\u0440\u0441\u0435\u0440 \u0434\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u043d\u043e \u0442\u0430\u043a\u0438\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439: 1+2*(2+8)*2*a+3. \u0421\u043d\u0430\u0447\u0430\u043b\u043e \u043c\u044b \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u043f\u0430\u0440\u0441\u0435\u0440 \u0434\u043b\u044f \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439, \u0430 \u043f\u043e\u0441\u043b\u0435 \u0441\u0440\u0430\u0437\u0443 \u0436\u0435 \u0437\u0430\u0439\u043c\u0435\u043c\u0441\u044f \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u044f\u043c\u0438 \u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f\u043c\u0438. \u041a\u0430\u043a \u043f\u0438\u0441\u0430\u043b \u0440\u0430\u043d\u0435\u0435, \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u0430\u0440\u0441\u0438\u0442\u044c \u043c\u0435\u0442\u043e\u0434\u043e\u043c \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e\u0433\u043e \u0441\u043f\u0443\u0441\u043a\u0430, \u0438 \u0442\u0430\u043c \u0443 \u043d\u0430\u0441 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u043f\u0440\u0438\u043e\u0440\u0438\u0442\u0435\u0442\u0430 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432. \u0421\u043d\u0430\u0447\u0430\u043b\u043e *\/, \u0430 \u043f\u043e\u0442\u043e\u043c +-. \u0412 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0430\u043a\u0430\u044f \u0446\u0435\u043f\u043e\u0447\u043a\u0430: primary -> unary -> additive -> multiplicative -> comparison -> logical. \u0421\u0430\u043c\u0438 \u043e\u0431\u044c\u0435\u043a\u0442\u044b \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439 \u0431\u0443\u0434\u0443\u0442 \u0442\u0438\u043f\u0430 enum Expr. \u0411\u0443\u0434\u0443\u0442 \u0442\u0430\u043a\u0438\u0435 \u0442\u0438\u043f\u044b:Expr::Num(f64) — \u043f\u0440\u043e\u0441\u0442\u043e\u0435 \u0447\u0438\u0441\u043b\u043e, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primary\u0395xpr::Bool(bool) — \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primaryExpr::Str(String) — \u043b\u0438\u0442\u0435\u0440\u0430\u043b \u0441\u0442\u0440\u043e\u043a\u0438, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primaryExpr::Id(String) — \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 primaryExpr::Unary(UnaryOp, Box<Expr>) — \u0443\u043d\u0430\u0440\u043d\u0432\u044f \u043e\u043f\u0435\u0440\u0430\u0446\u0438\u044f \u0438 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — UnaryOp: Neg (-) \u0438 Not (!). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 unary.Expr::Arith(Box<Expr>, ArithOp, Box<Expr>) — \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f. \u0422\u0443\u0442 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u043c \u0435\u0449\u0435 \u043e\u0434\u043d\u043e \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — ArithOp: Add, Sub, Mul \u0438 Div. \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 multiplicative \u0438 additiveExpr::Comp(Box<Expr>, CompOp, Box<Expr>) — \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435. \u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0442\u0430 \u0436\u0435, \u043d\u043e \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — CompOp: Gt (>), Ge (>=), Lt (<), Le (<=), Eq (==), Ne (!=). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 comparison.Expr::Logic(Box<Expr>, LogicOp, Box<Expr>) — \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435. \u0422\u0443\u0442 \u0442\u0430\u043a\u0436\u0435 \u043d\u043e\u0432\u043e\u0435 \u043f\u0435\u0440\u0435\u0447\u0442\u0441\u043b\u0435\u043d\u0438\u0435 — LogicOp: And (&&) \u0438 Or (||). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0432 logical\u0412 \u043f\u0440\u043e\u0448\u043b\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u044f \u0443\u043f\u043e\u043c\u044f\u043d\u0443\u043b, \u043d\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u044e\u0441\u044c. primary — \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u043c, \u043c\u043e\u0436\u0435\u0442 \u043b\u0438 \u044d\u0442\u043e\u0442 \u0442\u043e\u043a\u0435\u0433 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u044f \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438. \u042d\u0442\u043e \u043c\u043e\u0436\u0433\u0443\u0442 \u0431\u044b\u0442\u044c: \u0447\u0438\u0441\u043b\u0430, \u0441\u0442\u0440\u043e\u043a\u0438, \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440\u044b, \u0432\u044b\u0437\u043e\u0432\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \u0441\u043a\u043e\u0431\u043a\u0438 (\u0422\u043e\u0447\u043d\u0435\u0435, \u0438\u0445 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435). \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Num, Str, Id. \u0421\u0447\u0438\u0442\u0430\u044f \u0441\u043a\u043e\u0431\u043a\u0438, \u043c\u044b \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435.unary — \u0442\u0443\u0442 \u043c\u044b \u0431\u0435\u0440\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d, \u0435\u0441\u043b\u0438 \u044d\u0442\u043e, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, !,  \u0442\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e, \u0432\u044b\u0437\u0432\u0432\u0430\u0435\u043c primary, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435, \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0435. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Unary.multiplicative — \u0442\u0443\u0442 \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0432\u0441\u0435 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441 \u0443\u043c\u043d\u043e\u0436\u0435\u043d\u0438\u0435\u043c \u0438 \u0434\u0435\u043b\u0435\u043d\u0438\u0435\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u0432\u044b\u0440\u0430\u044d\u0435\u043d\u0438\u0435. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Arithadditive — \u043d\u0430\u0445\u043e\u0434\u0438\u043c \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u044f \u0441\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u0438 \u0432\u044b\u0447\u0438\u0442\u0430\u043d\u0438\u044f. \u0412\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Arith\u041d\u0430\u0447\u0438\u043d\u0430\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c!\u0421\u043e\u0437\u0434\u0430\u0435\u043c \u043d\u043e\u0432\u044b\u0439 \u043c\u043e\u0434\u0443\u043b\u044c — parser. \u0422\u0430\u043c \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u044b \u0444\u0430\u0439\u043b\u044b expr.rs, parser.rs \u0438 mod.rs. \u0421\u043d\u0430\u0447\u0430\u043b\u043e, \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435, \u043d\u0430\u043f\u0438\u0448\u0435\u043c mod.rs. (\u041d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u043e, \u0434\u0430?)\u041f\u043e\u043a\u0430\u0436\u0443 \u0441\u0440\u0430\u0437\u0443 \u0438\u0442\u043e\u0433\u043e\u0432\u044b\u0439.parser\/mod.rspub mod expr;mod parser;pub use parser::Parser;#[derive(Debug, Clone)]pub struct Info {    pub line: usize,    pub offset: usize,    pub len: usize,}#[macro_export]macro_rules! info {    ($line:expr, $offset:expr, $len:expr) => {        $crate::parser::Info {            line: $line,            offset: $offset,            len: $len,        }    };    ($tkn:expr) => {        info!($tkn.line, $tkn.offset, $tkn.len)    };}\u0414\u043b\u044f Expr, \u043d\u0430\u043c \u0442\u043e\u0436\u0435 \u043f\u043e\u043d\u0430\u0434\u043e\u0431\u0438\u0442\u0441\u044f \u043e\u0442\u043b\u0430\u0434\u043e\u0447\u043d\u0430\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044f, \u0438 \u0434\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0443 \u043d\u0430\u0441 \u0435\u0441\u0442\u044c \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 Info. \u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0435\u0435, \u043c\u044b \u0431\u0443\u0434\u0435\u0442 \u0434\u0435\u043b\u0430\u0442\u044c \u043e\u0442\u043b\u0430\u0434\u043a\u0443 \u0432 \u0438\u043d\u0442\u0435\u0440\u043f\u0440\u0438\u0442\u0430\u0442\u043e\u0440\u0435, \u0430 \u0442\u0430\u043a \u043a\u0430\u043a \u0438 \u0441\u0442\u0435\u0439\u0442\u043c\u0435\u043d\u0442\u044b \u0431\u0443\u0434\u0443\u0442 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438, \u044f \u0440\u0435\u0448\u0438\u043b \u043f\u043e\u043c\u0435\u0441\u0442\u0438\u0442\u044c \u0435\u0433\u043e \u0432 mod.rs. \u0422\u0430\u043a\u0436\u0435 \u0442\u0443\u0442 \u0443 \u043d\u0430\u0441 \u0431\u0443\u0434\u0435\u0442 \u043c\u0430\u043a\u0440\u043e\u0441, \u043e\u043d \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u043e\u0437\u0434\u0430\u0435\u0442 \u043e\u0431\u044c\u0435\u043a\u0442 Info. \u0410 \u0434\u043b\u0438\u043d\u043d\u044b\u0439, \u0433\u0434\u0435 \u043c\u044b \u0432 \u0440\u0443\u0447\u043d\u0443\u044e \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u044b, \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0434\u043b\u044f \u0441\u0442\u0435\u0439\u0442\u043c\u0435\u043d\u0442\u043e\u0432, \u0447\u0442\u043e\u0431\u044b \u0438 \u0438\u0445 \u043e\u0442\u043b\u0430\u0436\u0438\u0432\u0430\u0442\u044c.parser\/expr.rsuse super::Info;pub type BExpr = Box<Expr>;#[derive(Debug, Clone)]pub enum Expr {    Num(f64, Info),    Str(String, Info),    Id(String, Info),    Bool(bool, Info),    Unary(UnaryOp, BExpr, Info),    Arith(BExpr, ArithOp, BExpr, Info),    Comp(BExpr, CompOp, BExpr, Info),    Logic(BExpr, LogicOp, BExpr, Info),}impl Expr {    pub fn info(&self) -> Info {        match self {            Expr::Str(_, info) => info.clone(),            Expr::Num(_, info) => info.clone(),            Expr::Id(_, info) => info.clone(),            Expr::Bool(_, info) => info.clone(),            Expr::Arith(_, _, _, info) => info.clone(),            Expr::Comp(_, _, _, info) => info.clone(),            Expr::Logic(_, _, _, info) => info.clone(),            Expr::Unary(_, _, info) => info.clone(),        }    }}#[derive(Debug, Clone)]pub enum ArithOp {    Add, \/\/ +    Sub, \/\/ —    Mul, \/\/ *    Div, \/\/ \/}#[derive(Debug, Clone)]pub enum CompOp {    Gt, \/\/ >    Ge, \/\/ >=    Lt, \/\/ <    Le, \/\/ <=    Eq, \/\/ ==    Ne, \/\/ !=}#[derive(Debug, Clone)]pub enum LogicOp {    And, \/\/ &&    Or,  \/\/ ||}#[derive(Debug, Clone)]pub enum UnaryOp {    Not, \/\/ !    Neg, \/\/ -}\u042f \u0441\u043e\u0437\u0434\u0430\u043b \u0442\u0438\u043f BExpr, \u0447\u0442\u043e\u0431\u044b \u043a\u0430\u0436\u0434\u044b\u0439 \u0440\u0430\u0437 \u043d\u0435 \u043f\u0438\u0441\u0430\u0442\u044c Box<Expr>. \u041a\u0430\u043a \u0432\u0438\u0434\u0438\u0442\u0435 \u0442\u0443\u0442 \u0435\u0441\u0442\u044c \u043f\u0435\u0440\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432: ArithOp, CompOp, LogicOp. \u0422\u0430\u043a\u0436\u0435 \u0441\u0430\u043c\u043e\u0435 \u0433\u043b\u0430\u0432\u043d\u043e\u0435 \u043f\u0435\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 — Expr. \u042f \u0440\u0430\u043d\u0435\u0435 \u0443\u0436\u0435 \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043b \u0434\u043b\u044f \u0447\u0435\u0433\u043e \u044d\u0442\u043e, \u0442\u0430\u043a \u0447\u0442\u043e \u043f\u043e\u0432\u0442\u043e\u0440\u044f\u0442\u044c\u0441\u044f \u043d\u0435 \u0431\u0443\u0434\u0443. \u041c\u0435\u0442\u043e\u0434 info \u0442\u0443\u0442 \u043f\u0440\u043e\u0441\u0442\u043e \u043a\u043e\u043f\u0438\u0440\u0443\u0435\u0442 \u0438\u043d\u0444\u043e \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0432\u0432\u0440\u0430\u0436\u0435\u043d\u0438\u044f, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u0442\u043e\u043c \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u0441\u0442\u0440\u043e \u0441\u0442\u0440\u043e\u0438\u0442\u044c \u0438\u0445 \u0443\u0434\u043e\u0431\u043d\u0435\u0435. (\u0423\u0432\u0438\u0434\u0438\u0442\u0438 \u0432\u043e\u043e\u0431\u0449\u0435\u043c)\u0422\u0435\u043f\u0435\u0440\u044c \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u0441\u0442\u0443\u043a\u0442\u0443\u0440\u0443 Parser.parser\/parser.rsuse super::expr::{ArithOp, BExpr, CompOp, Expr, LogicOp};use crate::lexer::token::{TKind, Token};pub struct Parser<‘a> {    pos: usize,    tokens: Vec<Token>,    lines: Vec<&’a str>,}impl<‘a> Parser<‘a> {    pub fn new(tokens: Vec<Token>, source: &’a str) -> Self {        let lines: Vec<&str> = source.lines().collect();        Self {            tokens,            pos: 0,            lines,        }    }}\u0417\u0430\u0440\u0430\u043d\u0435\u0435 \u0438\u043c\u043f\u043e\u0440\u0442\u0438\u0440\u0443\u0435\u043c Expr \u0438 \u0435\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u044b, \u0430 \u0442\u0430\u043a\u0436\u0435 Token \u0438 TKind (\u0432\u0441\u0435\u0432\u0434\u043e\u043d\u0438\u043c TokenKind). \u0412 \u043c\u0435\u0442\u043e\u0434 new \u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0442\u043e\u043a\u0435\u043d\u044b, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0431\u0443\u0434\u0435\u043c \u0441\u0442\u0440\u043e\u0438\u0442\u044c AST (Abstract Syntax Tree) \u0438 \u0438\u0441\u0445\u043e\u0434\u043d\u0438\u043a, \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u043e\u0433\u043e \u043c\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c \u0432\u0441\u0435 \u0441\u0442\u0440\u043e\u043a\u0438. lines \u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d \u0442\u0430\u043a\u0436\u0435 \u0434\u043b\u044f \u043e\u0448\u0438\u0431\u043e\u043a, \u043a\u0430\u043a \u0438 \u0432 \u043b\u0435\u043a\u0441\u0435\u0440\u0435.\u0422\u0435\u043f\u0435\u0440\u044c \u043d\u0430\u043f\u0438\u0448\u0435\u043c \u0432\u0441\u043f\u043e\u043c\u043e\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043c\u0435\u0442\u043e\u0434\u044b. \u0418\u0445 \u0431\u0443\u0434\u0435\u0442 \u043c\u0435\u043d\u044c\u0448\u0435 \u0438 \u0431\u0443\u0434\u0443 \u043f\u0440\u043e\u0449\u0435 (\u043d\u0430 \u0434\u0430\u043d\u043d\u043e\u043c \u044d\u0442\u0430\u043f\u0435).parser\/parser.rs: Parseruse std::mem::discriminant;…fn check(&mut self, kind: TKind) -> bool {    if discriminant(&self.peek(0).kind) == discriminant(&kind) {        self.advance(1);        true    } else {        false    }}fn error(&self, msg: &str, token: Token) -> String {    let line = self.lines[token.line];    let header = format!(«Error in {}:{} — {msg}», token.line, token.offset);    let err_line = format!(«{} | {line}», token.line);    let point = format!(        «{} | {}{}»,        » «.repeat(token.line.to_string().len()),        » «.repeat(token.offset),        «^».repeat(token.len),    );    format!(«{header}\\n{err_line}\\n{point}\\n»)}fn peek(&self, offset: i8) -> Token {    let idx = self.pos + offset as usize;    self.tokens.get(idx).unwrap().clone()}fn advance(&mut self, offset: u8) {    self.pos += offset as usize;}\u0412 advance \u043c\u044b \u043e\u0431\u043d\u043e\u0432\u043b\u044f\u0435\u043c \u0442\u043e\u043b\u044c\u043a\u043e self.pos. \u0412 peek \u044f \u0440\u0435\u0448\u0438\u043b \u0443\u0431\u0440\u0430\u0442\u044c \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0443 \u0438 \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b unwrap. \u0421\u043d\u043e\u0432\u0430 \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0443: \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0435\u0433\u043e \u043d\u0430 \u0441\u0432\u043e\u0439 \u0441\u0442\u0440\u0430\u0445 \u0438 \u0440\u0438\u0441\u043a, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u043f\u0440\u043e\u0442\u043e\u0442\u0438\u043f\u043e\u0432. \u041d\u043e \u0447\u0442\u043e\u0431\u044b \u043d\u0435 \u043f\u0438\u0441\u0430\u0442\u044c \u043c\u043d\u043e\u0433\u043e \u043a\u043e\u0434\u0430, \u043c\u044b \u043e\u0441\u0442\u0430\u0432\u0438\u043c \u0435\u0433\u043e.\u0412 error \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u043f\u0435\u0440\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0442\u043e\u043a\u0435\u043d, \u0438 \u0431\u0443\u0434\u0435\u043c \u0431\u0440\u0430\u0442\u044c \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u0438\u0437 \u043d\u0435\u0433\u043e.check \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u0442, \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043b\u0438 \u0442\u0438\u043f \u0442\u0435\u043a\u0443\u0449\u0435\u0433\u043e \u0442\u043e\u043a\u0435\u043d\u0430 \u043f\u0435\u0440\u0435\u0434\u0430\u043d\u043e\u043c\u0443, \u0432 \u0441\u043b\u0443\u0447\u0430\u0435 \u0443\u0441\u043f\u0435\u0445\u0430 \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c true, \u0430 \u0432 \u0438\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043f\u0440\u043e\u0441\u0442\u043e \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c false. discriminant \u043d\u0430\u043c \u043d\u0443\u0436\u0435\u043d, \u0447\u0442\u043e\u0431\u044b \u0441\u0440\u0430\u043d\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u0442\u0438\u043f \u0442\u043e\u043a\u0435\u043d\u0430, \u0430 \u043d\u0435 \u0435\u0433\u043e \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u043c\u043e\u0435. \u041d\u0430\u0447\u0438\u043d\u0430\u0435\u043c \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0430\u0440\u0441\u0438\u043d\u0433!\u041d\u0430\u0447\u043d\u0435\u043c \u0441 primary.parser\/parser.rs: Parser.primaryfn primary(&mut self) -> Expr {    let current = self.peek(0);    match current.kind {        TKind::NumLit(n) => {            self.advance(1);            Expr::Num(n, info!(current))        }        TKind::StrLit(s) => {            self.advance(1);            Expr::Str(s, info!(current))        }        TKind::Id(id) => {            self.advance(1);            Expr::Id(id, info!(current))        }        TKind::Bool(truth) => {            self.advance(1);            Expr::Bool(truth, info!(current))        }        _ => panic!(«{}», self.error(«Unexpected token in primary», current)),    }}\u041c\u044b \u0431\u0435\u0440\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d \u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0435\u043c \u0435\u0433\u043e. \u0415\u0441\u043b\u0438 \u043e\u043d \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435\u043c \u0432 \u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0438, \u0442\u043e \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0435\u0433\u043e \u0438 \u0441\u043e\u0437\u0434\u0430\u0435\u043c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0439 \u043e\u0431\u044c\u0435\u043a\u0442 Expr. \u0412 \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435 \u0432\u0430\u043b\u0438\u0434\u043d\u043e\u0433\u043e \u0442\u043e\u043a\u0435\u043d\u0430 \u043f\u0430\u043d\u0438\u043a\u0443\u0435\u043c \u043d\u0430 \u043d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u044b\u0439 \u0442\u043e\u043a\u0435\u043d. \u0421\u043a\u043e\u0431\u043a\u0438 \u0442\u0430\u043a\u0436\u0435 \u0431\u0443\u0434\u0443\u0442 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0442\u044c\u0441\u044f \u0437\u0434\u0435\u0441\u044c, \u043d\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u043c \u0438\u0445 \u043f\u043e\u0437\u0436\u0435.parser\/parser.rs: Parser.unaryfn unary(&mut self) -> Expr {    let current = self.peek(0);    match current.kind {        TKind::Minus => {            self.advance(1);            let primary = self.primary();            let info = primary.info();            let info = info!(info.line, info.offset — 1, info.len + 1);            Expr::Unary(UnaryOp::Neg, Box::new(primary), info)        }        TKind::Bang => {            self.advance(1);            let primary = self.primary();            let info = primary.info();            let info = info!(info.line, info.offset — 1, info.len + 1);            Expr::Unary(UnaryOp::Not, Box::new(primary), info)        }        _ => self.primary(),    }}\u0422\u0443\u0442 \u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d. \u0415\u0441\u043b\u0438 \u044d\u0442\u043e — \u0438\u043b\u0438 !, \u0442\u043e \u0441\u043e\u043e\u0442\u0430\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u043c \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c Expr::Unary, \u0432 \u0438\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043e\u0431\u044b\u0447\u043d\u044b\u0439 primary. \u0414\u043b\u044f \u043f\u0440\u0438\u043c\u0435\u0440\u0432 \u0432\u043e\u0437\u043c\u0435\u043c \u0432\u0430\u0440\u0438\u0430\u043d\u0442 \u0441 TKind::Minus.TKind::Minus => {    self.advance(1);    let primary = self.primary();    let info = primary.info();    let info = info!(info.line, info.offset — 1, info.len + 1);    Expr::Unary(UnaryOp::Neg, Box::new(primary), info)}\u041c\u044b \u043f\u0440\u043e\u043f\u0443\u0441\u043a\u0430\u0435\u043c \u0442\u0435\u043a\u0443\u0449\u0438\u0439 \u0442\u043e\u043a\u0435\u043d (\u043c\u0438\u043d\u0443\u0441) \u0438 \u0431\u0435\u0440\u0435\u043c primary. \u0414\u0430\u043b\u0435\u0435 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441\u043e\u0437\u0434\u0430\u0442\u044c Info. \u041f\u0440\u043e\u0441\u0442\u043e \u0432\u0437\u044f\u0442\u044c info!(primary) \u043d\u0435 \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u0441\u044f, \u0442\u0430\u043a \u043a\u0430\u043a \u043c\u0438\u043d\u0443\u0441 \u0442\u043e\u0436\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u044b\u0445\u043e\u0434\u0438\u0442\u044c \u0432 Info. \u0422\u0430\u043a \u0447\u0442\u043e \u0431\u0435\u0440\u0435\u043c Info \u0438\u0437 primary, \u0432 \u043c\u0430\u043a\u0440\u043e\u0441 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u043d\u043e\u043c\u0435\u0440 \u0441\u0442\u0440\u043e\u043a\u0438, \u043e\u0442\u0441\u0442\u0443\u043f \u043e\u0442 \u043d\u0430\u0447\u0430\u043b\u0430 \u0441\u0442\u0440\u043e\u043a\u0438 — 1. \u041e\u0442\u043d\u0438\u043c\u0430\u0435\u043c 1, \u0442\u0430\u043a \u043a\u0430\u043a primary \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0441\u0440\u0430\u0437\u0443 \u043f\u043e\u0441\u043b\u0435 \u0443\u043d\u0430\u0440\u043d\u043e\u0433\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u0430, \u0438 \u0442\u0430\u043c \u043c\u044b \u0437\u0430\u0445\u0432\u0430\u0442\u0438\u043c \u0438 \u0441\u0430\u043c \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440. \u0412 \u0434\u043b\u0438\u043d\u043d\u0443 \u043f\u0435\u0440\u0435\u0434\u0430\u0435\u043c \u0434\u043b\u0438\u043d\u043d\u0443 primary + 1, \u0447\u0442\u043e\u0431\u044b \u0432\u044b\u0440\u043e\u0432\u043d\u044f\u0442\u044c. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u043c \u043d\u0435\u0433\u0430\u0442\u0438\u0432\u043d\u044b\u0439 primary \u0438 Info, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u043c\u044b \u0441\u043e\u0437\u0434\u0430\u043b\u0438. \u0421 TKind \u043b\u043e\u0433\u0438\u043a\u0430 \u0441\u0445\u043e\u0436\u0430, \u043f\u0440\u043e\u0441\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c UnaryOp::Not.\u0422\u0435\u043f\u0435\u0440\u044c \u0438 multiplicative.fn multiplicative(&mut self) -> Expr {    let mut left = self.unary();    loop {        let op_token = self.peek(0);        let op = match op_token.kind {            TKind::Star => ArithOp::Mul,            TKind::Slash => ArithOp::Div,            _ => break,        };        self.advance(1);        let right = self.unary();        left = Expr::Arith(Box::new(left), op,…<\/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-482676","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/482676","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=482676"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/482676\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=482676"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=482676"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=482676"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}