我怎样才能使`fun [x] - > x`详尽无遗？

Question

在Ocaml中说我有以下功能:

let f = fun [x] -> x

结果我得到以下警告:

this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]

我的目标是从中创建一个函数'a list -> 'a.我如何考虑[]传递给该功能？

Answer 1

当列表不是1个元素时,你只需要决定你的函数应该做什么.jambono展示了如何在所有这些情况下使函数失败.另一个相当合理的函数将始终返回列表的第一个元素,并且只有在列表为空时才会失败.这个功能被称为List.hd.

let f = List.hd

或者你可以自己实现它:

let f = function
| [] -> failwith "empty list"
| x :: _ -> x