Skip to content

Latest commit

 

History

History
25 lines (20 loc) · 939 Bytes

README.md

File metadata and controls

25 lines (20 loc) · 939 Bytes
Raw

Lambda Interpreter

要求

lambda 表达式的解释器 这个任务中的 lambda 表达式包括 lambda 函数抽象（带有类型标注）、函数应用、算术运算、 大小比较、布尔运算与 let 表达式。

  • 要求 1：完成 lambda 表达式的词法分析、语法分析与语法 树输出。
  • 要求 2：实现 lambda 表达式的类型检查。
  • 要求 3：解释执行 lambda 表达式。

语法树

Whole   ::= Def
Def     ::= Expr | "lambda" IDENT ":" Type "." Def |
        "let" IDENT ":" Type "." ":=" Def "in" Def
Expr    ::= Expr1 | Expr BinOp Expr | Apply |
        "if" "(" Expr ")" "then" "{" Expr "}" "else" "{" Expr "}"
Type    ::= Type0 | Type0 "->" Type
Type0   ::= "(" TYpe ")" | "int"
Expr1   ::= Expr0 | "!" Expr0 | "-" Expr0
Expr0   ::= NAT | IDENT | "(" Def ")"
BinOp   ::= "+" | "-" | "*" | "/" | "%" | ">" | "<" | ">=" | "<=" |
        "==" | "!=" | "&&" | "||"