Statement 和 Experssion的关系

背景：在第8张，引入的Statement，引入时候两者关系如下：

思考：我以为这两者会是向下递归的关系。

类似这样：

但实际上不是，

Statement 看似在语法树上，但是他已经不是Expression。

所以这里需要新建一个类。

两者的关系也可以从这个语法来看出。

关键区别在于Expressions produce values. 

此外，这里的Statement 也是有子类Expression的。但是并不是Expr那个类，而是Expression。