按字母顺序排序
Sorting by alphabetical order
我想创建一个函数,它将添加一个注册号和一个特定的负时间。这是一个例子:
# enter_car "DEF456" (−4) [("ABC13", −2); ("GHI789", −3)];;
− : (string∗int) list = [("ABC13", −2); ("DEF456" , −4); ("GHI789", −3)]
我很确定我可以将 ("DEF456", -4)
添加到列表中。问题是列表必须按字母顺序排序。我怎样才能按照注册号的字母顺序对列表进行排序?
这个功能完美运行!
let enter_car registration_num time current_list =
let new_list = (registration_num, time)::current_list in
sort (fun (x, _) (y, _) -> String.compare x y) new_list;;
我想创建一个函数,它将添加一个注册号和一个特定的负时间。这是一个例子:
# enter_car "DEF456" (−4) [("ABC13", −2); ("GHI789", −3)];;
− : (string∗int) list = [("ABC13", −2); ("DEF456" , −4); ("GHI789", −3)]
我很确定我可以将 ("DEF456", -4)
添加到列表中。问题是列表必须按字母顺序排序。我怎样才能按照注册号的字母顺序对列表进行排序?
这个功能完美运行!
let enter_car registration_num time current_list =
let new_list = (registration_num, time)::current_list in
sort (fun (x, _) (y, _) -> String.compare x y) new_list;;