（嵌套函数）Nested Functions
根据let表达式：let b1 b2 … bn in e end的使用规则，我们在其中定义任意绑定，包括function绑定，这是一种好的编程风格。
实例
fun count (from : int, to : int) =
if from = to
then to :: []
else from :: cout(from+1, to)
fun countup_from0(x : int) =
count(1, x)
我们不想对外暴露辅助函数、或困扰别人时，我们就需要使用let以实现嵌套函数
fun countup_from1 (x : int) =
let fun count (from : int, to : int) =
if from = to
then to :: []
else from :: count(from+1,to)
in
count (1,x)
end
更好的版本:
fun countup_from1_better (x : int) =
let fun count (from : int) =
if from = x
then x :: []
else from :: count(from+1)
in
count 1
end
通过上面的例子，我们可以知道，嵌套函数可以使用其外层环境已定义的绑定，如：参数、在let表达式内早于函数定义的绑定。
编程风格
在函数内部定义辅助函数是一种良好的编程风格，如果辅助函数：
- 辅助函数在其他地方不太可能会使用到
- 在其他地方可能会被滥用
- 以后可能被更改或删除
代码设计中的一个基本权衡：重用代码可以节约时间和精力，并且可以避免一些错误，但是同时它也会导致重用的代码在以后难以更改。
