Как преобразовать список объектов в примитивный тип данных?

Question

я это dicriminated союз, который представляет собой примитивный тип:

type Expr = 
    | Int of bigint 
    | Real of float 
    | Symbol of string 
    | Bool of bool 
    | List of Expr list 

И я пишу функцию list : obj list -> Expr list, которая будет проверять для типов объектов и преобразует их в Expr «s соответственно:

let rec list : (obj list -> Expr list) = function 
    | head::tail -> 
     match head with 
     | :? string as x'-> Symbol (x') :: list tail 
     | :? int as x'-> Int(bigint x') :: list tail 
     | :? bigint as x' -> Int x' :: list tail 
     | :? bool as x' -> Bool x' :: list tail 
     | :? float as x' -> Real x' :: list tail 
     | :? Expr as x' -> x' :: list tail 
     | :? list<obj> as x' -> List(list x') :: list tail 
    | _ -> [] 

Случай | :? list<obj> as x' -> List(list x') :: list tail, кажется, не соответствует при вызове этой функции во вложенном списке следующим образом: list [1;[2;1]] это компилируется отлично, но возвращает ошибку, говоря, что случаи совпадения не были полными, кажется, что он пытается mach list<int> с случаями, и он не находит его. Я ожидал, что list<obj> будет соответствовать спискам любого типа 'a, но это не так. Какую модель следует писать, чтобы она соответствовала списку любого типа? Функция отлично работает для не вложенных списков объектов.

Answer 1

Соответствие шаблону является неполным, поскольку head имеет тип obj. Случаи, не покрытые, например, nullobj(), 1L (64-разрядное целое число), System.Version(), System.Guid("DAB51019-DF69-4547-BC3B-5CE06BE22A7B"), [| 1; 2 |] и т.д.

Есть неограниченное число случаев не обрабатываются, потому что obj означает что-нибудь, в том числе пользовательских типы.

Какую модель следует писать, чтобы она соответствовала списку любого типа?

Вы всегда можете использовать шаблон шаблона _, но только вы знаете, что должно произойти в этом случае.

Answer 2

Невозможно использовать сопоставление образцов, чтобы проверить, что объект является значением родового типа с неопределенными аргументами общего назначения. Вы можете проверить, является ли это list<int> или list<obj>, но это должен быть именно этот тип - так что list<int> не будет сопоставлен при проверке типа с помощью :? list<obj> (также вы можете написать :? list<_>, но компилятор просто заполнит _ с obj)

Если вы заботитесь только о коллекциях, вы можете однако использовать необщие System.Collections.IEnumerable интерфейс, который все коллекции (списки, массивы и т.д.) реализацию:

let rec list : (obj list -> Expr list) = function 
    | head::tail -> 
     match head with 
     | :? string as x'-> Symbol (x') :: list tail 
     // Other cases you're already covering 
     | :? float as x' -> Real x' :: list tail 
     | :? Expr as x' -> x' :: list tail 
     | :? System.Collections.IEnumerable as x' -> 
      // It is a collection and we can get its elements as `obj` values! 
      let nested = x' |> Seq.cast |> List.ofSeq |> list 
      List(nested) :: list tail 
    | _ -> []