Фильтровать и преобразовать `list option` в` list`?

Question

У меня есть следующий код, который вернет seq из DownloadLink для этих адресов, которые могут быть проанализированы.

type DownloadLink = { Url: string; Period: DateTime } 

nodes |> Seq.map (fun n -> 
    let url = n.Attributes.["href"].Value 
    match url with 
    | Helper.ParseRegex "[a-zA-Z](?<period>\d{4})\.txt" [period] -> 
     { Url = url; Period = period } 
    | _ -> 
     printfn "Cannot parse %s" url // Error 
     ) 

Однако, я получил следующее сообщение об ошибке в printfn. Каков правильный способ его реализации? Должен ли я сделать это list option первым, а затем отфильтровать эти None элементов?

 
Error 1 Type mismatch. Expecting a 
    string -> DownloadLink  
but given a 
    string -> unit  
The type 'DownloadLink' does not match the type 'unit' 

Answer 1

Основная проблема заключается в том, что если у вас есть что-то вроде

match x with 
|true -> A 
|false -> B 

тип A и B должны быть одинаковыми.

Существует на самом деле построить в функции, которая сочетает в себе карту и фильтр, используя Some, что вы имели хотя - использовать Seq.choose как так

nodes |> Seq.choose (fun n -> 
    let url = n.Attributes.["href"].Value 
    match url with 
    | Helper.ParseRegex "[a-zA-Z](?<period>\d{4})\.txt" [period] -> 
     Some ({ Url = url; Period = period }) 
    | _ -> 
     printfn "Cannot parse %s" url // Error 
     None 
     ) 

Answer 2

Помимо Seq.choose, вы можете также хорошо решить эту проблему с помощью выражений последовательности - где вы можете использовать yield возвращать результат в одной отрасли, но не для получения значения в другой ветви:

seq { for n in nodes do 
     let url = n.Attributes.["href"].Value 
     match url with 
     | Helper.ParseRegex "[a-zA-Z](?<period>\d{4})\.txt" [period] -> 
      yield { Url = url; Period = period } 
     | _ -> 
      printfn "Cannot parse %s" url } 

в стороне, я бы не рекомендовал делать побочный эффект (печать) как часть вашего кода обработки. Если вы хотите сообщить об ошибках, возможно, лучше вернуть опцию (или определить тип, который либо Success, либо Error of string), так что отчет об ошибках отделен от обработки.