为什么ML函数语言要求注释所有可付值的数据结构

cswei

ML(meta-language) 函数语言要求程序员注释所有可付值的数据结构 (annotate all mutable data structures using references)。任何没有被直接注释数据结构将被视为不可付值(immutable)的。

请问这样的设计有何优点和不足？
我认为直接注释可付值的数据结构会减少function的副作用(side effect)。
也许我的观点不正确,请大家指正并给予其他的见解.

robinmu

ml？？？？？？？