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

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

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

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

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

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

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

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

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

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

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

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

陈述句是语法上完整的句子。表达式则不然。例如

x = 5

读起来是“x得到5”。这是一个完整的句子。的代码

(x + 5)/9.0

结果是，x + 5都除以9.0这不是一个完整的句子。该声明

while k < 10: 
    print k
    k += 1

是一个完整的句子。注意，循环头不是;"while k < 10 "是从句。

表达式

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

声明

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

表达式可以求值得到一个值，而语句不返回值(它们是void类型)。

当然，函数调用表达式也可以被视为语句，但除非执行环境有一个特殊的内置变量来保存返回值，否则无法检索它。

面向语句的语言要求所有过程都是语句列表。面向表达式的语言，可能是所有的函数式语言，都是表达式的列表，或者在LISP的情况下，是一个表示表达式列表的长s表达式。

尽管这两种类型都可以组合，但只要类型匹配，大多数表达式都可以任意组合。每种类型的语句都有自己的方式来组合其他语句，如果它们可以做到这一切的话。Foreach和if语句要么要求单个语句，要么要求所有子语句一个接一个地放入语句块中，除非子语句允许它们自己的子语句。

语句还可以包括表达式，而表达式实际上不包括任何语句。不过，lambda表达式是一个例外，它表示一个函数，因此可以包括函数可以包含的任何东西，除非语言只允许有限的lambdas，比如Python的单表达式lambdas。

在基于表达式的语言中，你所需要的只是一个函数的单个表达式，因为所有的控制结构都返回一个值(其中很多返回NIL)。不需要return语句，因为函数中最后求值的表达式就是返回值。

你可以在维基百科上找到这个，但是表达式被求值为某个值，而语句没有求值。

因此，表达式可以用在语句中，但不能用在语句中。

请注意，一些语言(如Lisp，我相信Ruby，以及许多其他语言)并不区分语句和表达式……在这样的语言中，所有东西都是一个表达式，并且可以与其他表达式连接。