val longest_string1 = foldl (fn (s,m) => if String.size s > String.size m then s else m) ""


fun longest_string1 (x :: xs) = foldl (fn (x, a) => if String.size x > String.size a then x else a) x xs
  | longest_string1 [] = ""