声明是 SML 中的表达式吗？

Question

在 SML 中，是一个声明（val-declaration, type declaration, ...）

• 表达式
• 如果我是正确的，该语句被定义为具有副作用的表达式
• 还是别的什么？

谢谢。

Answer 1

声明就是一个声明，它自己的句法类。嵌入表达式的唯一方法是通过表达式形式let dec in exp end。

从技术上讲，ML 中没有语句。