lesson 1 ML Expressions and Variable Bindings

Conside three things:

• Syntax

• type-checking

• evaluation

ML不允许改变值，所以不会出现x,y是别名关系还是y只是x的复制