문제

I have a list of record where I want to delete a specific record :

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

I'm quite sure that it is impossible to remove a record from the list, but I would like to know what is the best way to return a list without a specific record (let's say that I want to remove name = "c12" or any other name).

도움이 되었습니까?

해결책

List.filter (fun {name; _} -> name <> "c12") list_clients
라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top