1

特定のレコードを削除したいレコードのリストがあります:

list_clients = [{name = "c6"; number = 9}; {name = "c12"; number = 3}; {name = "c17"; number = 6};]

リストからレコードを削除することは不可能だと確信していますが、特定のレコードなしでリストを返す最良の方法を知りたいです (たとえば、name = "c12" または他の名前)。

4

1 に答える 1

3
List.filter (fun {name; _} -> name <> "c12") list_clients
于 2013-06-11T01:36:40.473 に答える