Ocaml编程，示例

需要帮助

定义函数“Is_member”，第一个参数是给定的矩阵，第二个参数是x:int。 检查元素x是否在矩阵X1中

val Is_member: int list list -> int -> bool = <fun>

---

我可以将您的问题简化为

，只需填补空白即可

：

# matrix1;;
- : int list list = [[1; 2]; [3; 4]]
# is_member 1 matrix1;;
- : bool = true
# let is_member x xs = List.____ (fun acc xs -> acc ____ (List.____ x xs)) false xs;;
val is_member : 'a -> 'a list list -> bool = <fun>

#matrix1；；
-：int list=[[1；2]；[3；4]]
#是_成员1 matrix1；；
-：bool=true
#让is_member x xs=List.uuuuuuu（fun acc xs->acc uuuuuuux（List.uuuuuuux xs））false xs；；
val是_成员：'a->'列表->布尔=

---

现在对你来说很容易

您需要向我们展示一些您尝试过的代码，并解释它的功能，理想情况下，您的理论解释它为什么不起作用。否则我们就没什么可干的了。在我看来，仅仅给你工作代码是没有用的。你想学会自己钓鱼等等，谢谢。但是我需要得到val Is_member:int list list->int->bool=Not val Is_member:'a->'a list list->bool=你可以交换参数x和x来得到你想要的。对于“a”有效的多态函数也适用于int

# matrix1;;
- : int list list = [[1; 2]; [3; 4]]
# is_member 1 matrix1;;
- : bool = true
# let is_member x xs = List.____ (fun acc xs -> acc ____ (List.____ x xs)) false xs;;
val is_member : 'a -> 'a list list -> bool = <fun>