|
Note: Download the racket files, and then choose Open… from DrRacket. Do not copy/paste into an empty DrRacket window, since that window is probably using a student-language, and some of the files below use full racket.
Java 17 records: Remember: records are just classes where you don't have to declare the constructor, nor override .equals or .hashCode. All fields are immutable and have a public getter, though we won't need those.
<Expr> → <Num> | <Paren> | <BinOp> | <IfZero> | <Nop> <Paren> → )<Expr>( Interpretation: a parenthesized expression <BinOp> → ]<Expr> <Op> <Expr>[ Interpretation: apply a binary operator <Op> → - | + | / Interpretation: addition, subtraction, multiplication (resp.) <IfZero> → if <Expr> !=0 ? <Expr> : <Expr> Interpretation: if 1st-expr is 0 (within 1e-6), eval to 2nd-expr, else 3rd-expr.E0:
<Op> → … | * Interpretation: “remainder1” <Expr> → … | <IfLE> Interpretation: “if less-or-equal to” <IfLE> → if <Expr> > <Expr> ? <Expr> : <Expr> Interpretation: if 1st Expr is ≤ 2nd, result is the 3rd Expr else the 4th.E1:see E2.html for details
<Expr> → … | <Id> | <LetExpr> Interpretation: identifier; let <LetExpr> → forbid <Id> being <Expr> in <Expr> Interpretation: bind Id to result of 1st Expr (the “right-hand-side”); then eval 2nd “body” Expr w/ that bindingE2:see E2.html for details
<Expr> → … | <FuncExpr> | <FuncApplyExpr> <FuncExpr> → dysfunc <Id> }<Expr>{ Interpretation: a function-value, with parameter <Id> and body-<Expr>. <FuncApplyExpr> → withhold <Expr> from <Expr> Interpretation: apply a function (1st expr) to an argument (2nd expr)E4:see E4.html for details
<Num> is any numeric literal
(as written in either Java or Racket, your choice2).
We'll assume that <Id>s are not one of our E0 “reserved” words
(like if
— i.e. a terminal in the above grammar);
you don't need to check/enforce that in your code.
Some similar(??) languages: Implementing one's own language (including let-expressions and functions) is a fairly standard exercise. For example, see Brown University's Programming Languages and Interpretation (Shriram Krishnamurthi), and Virginia Tech's OpenDSA Programming Languages textbook. Feel free to skim or read those books, esp. if wanting a different explanation from the notes in this class & its assignments.
Some similar(??) languages:
- emojicode
- Arnold[Schwarzenegger]C
- Genesis, in Old Hebrew
Once we've talked in class about internal-representation (and given examples of the W programs and corresponding internal-data), then we can discuss the provided-implementation, including recursive-descent parsing:
2018 version: The videos below are based on 2018fall's language, T0. So details of the syntax are different than this semester, and some statements might have different semantics, but overall the content is extremely similar to this semester's language.
todo-ibarland: Post the 2021-spring Y0-java/ upload version that uses lambda in BinOp#eval?
Note: Parsing E0 is particularly easy because each expression-type's leading-token lets us know exactly what to expect, removing the need for look-ahead, backtracking, or cleverer algorithms.
Similarly, if using Java, the semantics of E0's arithmetic will be similar to IEEE floating point arithmetic (rather than perfectly-correct arithmetic).
Don't confuse E0's class Num (which extends Expr) with the existing java.lang.Number, which doesn't extend Expr.
↩This page licensed CC-BY 4.0 Ian Barland Page last generated | Please mail any suggestions (incl. typos, broken links) to ibarlandradford.edu |