SML 中的编译时和运行时有什么区别？
写完一些 SML 代码后，我们按下 Enter 键。但我不明白，我们实际上是编译它还是运行它？例如
- fun len [] = 0 | len (x::xs) = 1 + len xs; /* hit enter*/
val len = fn : 'a list -> int
按回车键后，我们得到val len = fn : 'a list -> int结果。这是运行时结果还是编译时结果？
我真的不明白幕后发生了什么。