PL-SML1

Syntax and Semantic:

• Syntax: how to write something
• Semantic: the meaning of what have been written
• Static : compile
  Dynamic: run-time
• Type-checking : before programs run
  Evaluation: as programs run
• Binding: immutation
  Assignment: mutation

Function :

• first-class: a function is a value
• environment: when the function is defined

List and Tuple:

• Pair: two values that construct a pair
• Tuple: fixed number of values which have different types
• List: any number of values which have the same type

Scope:

where a binding is in the environment

Let-expression:

local bindings

Option:

• NONE
• SOME e
• valueOf

Boolean operations:

• andalso
• orelse
• not