这里的“isSome old(tl dates)”是什么意思； 为什么“oldest(tl dates)”有一个选项类型？

Question

fun oldest (dates: (int*int*int) list) =
    if null dates
    then NONE
    else let
    val ans = oldest(tl dates)
    in
    if isSome ans andalso is_older(valOf ans, hd dates)
    then ans
    else SOME (hd dates)
    end

a function 比较列表中的所有日期（如 2018、2、28），并获取最旧的日期