最准确地说，语句必须有“副作用”(即命令式)，表达式必须有值类型(即不是底部类型)。

语句的类型是单元类型，但由于停止定理，单元是虚构的，所以我们说底层类型。

Void并不是最下面的类型(它不是所有可能类型的子类型)。它存在于没有完整的声音类型系统的语言中。这听起来可能有点势利，但是完整性(如方差注释)对于编写可扩展软件是至关重要的。

让我们看看维基百科对这件事是怎么说的。

https://en.wikipedia.org/wiki/Statement_ (computer_science)

在计算机编程中，语句是命令式编程语言中最小的独立元素，它表示要执行的某些操作。 许多语言(例如C语言)区分语句和定义，语句只包含可执行代码和声明标识符的定义，而表达式只计算值。

很简单:表达式的值是一个值，而语句不是。

表达式是产生一个值的任何东西:2 + 2 语句是程序执行的基本“块”之一。

注意，在C语言中，“=”实际上是一个运算符，它做两件事:

返回右边子表达式的值。 将右边子表达式的值复制到左边的变量中。

下面是一段ANSI C语法的摘录。你可以看到C语言没有很多不同种类的语句……程序中的大多数语句都是表达式语句，即结尾带有分号的表达式。

statement
    : labeled_statement
    | compound_statement
    | expression_statement
    | selection_statement
    | iteration_statement
    | jump_statement
    ;

expression_statement
    : ';'
    | expression ';'
    ;

http://www.lysator.liu.se/c/ANSI-C-grammar-y.html

表达式

一段可以求值的语法。换句话说，表达式是表达式元素的累积，如字面量、名称、属性访问、操作符或函数调用，它们都返回一个值。与许多其他语言相比，并不是所有的语言结构都是表达式。还有一些语句不能用作表达式，比如while。赋值也是语句，而不是表达式。

声明

语句是套件(代码“块”)的一部分。语句可以是表达式，也可以是带有关键字的几个结构之一，如if、while或for。

语句->按顺序执行的指令 表达式->返回值的求值

语句基本上就像算法中的步骤或指令，语句执行的结果是指令指针的实现(所谓的汇编程序)。

表达式乍一看并不意味着和执行顺序，它们的目的是求值并返回值。在命令式编程语言中，表达式的求值是有顺序的，但这只是命令式模型的原因，而不是它们的本质。

语句示例:

for
goto
return
if

(所有这些都意味着执行的行(语句)提前到另一行)

表达式示例:

2+2

(这并不是指执行，而是指评估)

声明中,

语句是构造所有c#程序的过程构建块。语句可以声明局部变量或常量，调用方法，创建对象，或为变量、属性或字段赋值。

由花括号括起来的一系列语句构成了一个代码块。方法体就是代码块的一个例子。

bool IsPositive(int number)
{
    if (number > 0)
    {
        return true;
    }
    else
    {
        return false;
    }
}

c#中的语句通常包含表达式。c#中的表达式是包含文字值、简单名称或操作符及其操作数的代码片段。

表达式,

表达式是可以计算为单个值、对象、方法或名称空间的代码片段。最简单的两种表达式是字面量和简单名称。字面量是一个没有名字的常量值。

int i = 5;
string s = "Hello World";

i和s都是用来标识局部变量的简单名称。当在表达式中使用这些变量时，将检索变量的值并将其用于表达式。