ML语言

• meta language, 非纯函数式编程,允许副作用和指令式编程