fact n = let
列表反转.下列函数“反转”一个列表中的元素。更准确的说，它返回其元素相较于给定列表是反转次序的一个新列表：fun reverse [] = []这个反转的实现，尽管正确而清楚，确是低效的，执行要求二次时间。这个函数可以重写为下列更高效但不易读的风格，以线性时间执行：fun reverse xs = letinend值得注意的是，这个函数是参数多态的一个例子。就是说它可以接受其元素有任何类型的列表，并返回相同类型的列表。