2013-06-11 2 views
1

У меня есть список записей, где я хочу, чтобы удалить конкретную запись:Удалить запись из списка записей

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

Я совершенно уверен, что это невозможно удалить запись из списка, но Я хотел бы знать, что лучший способ вернуть список без конкретной записи (скажем, что я хочу удалить имя = «c12» или любое другое имя).

ответ

3
List.filter (fun {name; _} -> name <> "c12") list_clients 
+0

Спасибо! Функция фильтра была именно тем, что я хотел. – moumoute6919

 Смежные вопросы

  • Нет связанных вопросов^_^