Options

之前的函数good_max在参数xs为空数组的时候返回0是非常糟糕的编程风格，我们有下面的一些方法可以考虑：

• 抛出一个异常（后续介绍）
• 返回一个空List或一个元素的List（也不是好的风格，因为此类情况在ML中很常见，并且ML为该情况已经设计了一种类型）

Options

1. 语法（syntax）：

t option

t是任意类型绑定，类型t list

2. 构建（Building）：
   NONE：类型'a option（类似[ ]有类型'a list）
   SOME e：类型t option如果表达式e有类型t（类似e :: [ ]）

NONE
SOME 1        (* int option *)
SOME "a"      (* string option *)

3. 取值（Accessing）：
   isSome：类型'a option -> bool
   valOf：类型'a option -> 'a（如果参数为NONE会抛出异常）

实例

fun better_max (xs : int list) = 
  if null xs 
  then NONE 
  else 
    let val tl_ans = better_max(tl xs) 
    in 
      if isSome tl_ans andalso valOf tl_ans > hd xs 
      then tl_ans 
      else SOME (hd xs) 
    end
(* val better_max = fn : int list -> int option *)

上面代码还有一点可以考虑优化，对better_max的递归调用，每一次都调用isSome tl_ans和valOf tl_ans去检查tl_ans是一个SOME还是一个NONE（如果xs很长，那么会有大量重复的调用）。

fun better_max2 (xs : int list) = 
  if null xs 
  then NONE 
  else 
    let
      fun max_nonempty (xs : int list) =            (* 此处xs不为空是合理的假设 *) 
        if null (tl xs) 
        then hd xs 
        else 
          let val tl_ans = max_nonempty(tl xs) 
          in if hd xs > tl_ans then hd xs else tl_ans 
          end
    in 
        SOME (max_nonempty xs) 
    end