我有一段时间没有使用SML,我遇到了这行代码:
type memory = string -> int;
这是否将'memory'定义为一个函数,它接受一个字符串a返回一个int,或完全不同的东西？我已经搜索了类似的声明,但我似乎无法找到它或弄清楚它的作用.
当我把它放入SML/NJ时,我得到这个:
- type memory = string -> int;
type memory = string -> int