¿La mejor manera de condensar una lista de tipo de opción para solo elementos que no son ninguno?

Question

Tengo inesperadamente un problema al pasar de una lista de 'una opción a una lista que contiene solo los elementos que son Algunos.

Mi primer intento fue:

let ga = List.filter (fun xx -> 
     match xx with 
     | Some(g) -> true 
     | None -> false) gao 

Pero, por supuesto, este tipo de resultado sigue siendo 'una lista de opciones. No sé cómo usar List.map para condensar esto, porque tienes que manejar todos los casos en una declaración de coincidencia. Tengo una solución fea, pero me pregunto si hay algo mejor.

feo:

let rec gOptRemove gdec gacc = 
     match gdec with 
     | head :: tail -> 
      match head with 
      | Some(a) -> gOptRemove tail (a :: gacc) 
      | None -> gOptRemove tail gacc 
     | [] -> gacc 

yo preferiría encontrar una solución no recursivo o averiguar cuál es la forma estándar es para este tipo de cosas.

Answer 1

Simplemente

List.choose id 

como en

> [Some 4; None; Some 2; None] |> List.choose id;; 
val it : int list = [4; 2] 

List.choose

id