Strange FSharpLint ostrzeżenie

Question

Próbuję reimplement List.distinct funkcję:

let inline distinct list = 
    let folder curr = function 
     | [] -> [curr] 
     | l -> if List.contains curr l then l else curr :: l 
    List.foldBack folder list [] 
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

Dostałem ostrzeżenie niestrzępiącą który mówi

List.foldBack f x [] może być w stanie być refactored do x

Jednak nie ma to dla mnie większego sensu, ponieważ to prowadzi mnie do powrotu na pierwotną listę bez wykonywania di złośliwa logika.

Czy to błąd FSharpLint?

Answer 1

Podobno jest to zła reguła. Spójrz na ten fragment z FSharpLint na default configuration:

List.fold f x [] ===> x 
Array.fold f x [||] ===> x 
List.foldBack f x [] ===> x 
Array.foldBack f x [||] ===> x 

To samo dla fold i foldback tutaj, więc nie wynika z różnic w podpisach między nimi.

Kolejność początkowych argumentów dotyczących stanu i kolekcji powinna być odwrócona, patrz definicja "mnemonic" approach użyta w definicji .