Сопоставление с образцом в различном объединении

Question

Есть ли способ сопоставления с образцом для распознаваемых объединяющих функций, например ::-

type Test =
  | A of string
  | B of int
  | C of char

let DefaultTest t =
  match t with
  | A(_) -> A(null)
  | B(_) -> B(0)
  | C(_) -> C('\u0000')

let a = A |> DefaultTest

Очевидно, что этот код не является допустимым F #, поскольку DefaultTest принимает один параметр типа Test, а не 'a -> Test. Есть ли способ достичь этого без указания значения для дискриминируемого объединения?

То, что я ищу, в конечном счете, это функция, которая вводит функцию типа 'a -> Test и выводит Test (значение по умолчанию' a).

Answer 1

Мне не ясно, что вы ищете, но помогает ли это?

type Foo =
    | A of int
    | B of string

let CallWithDefault f =
    let x = Unchecked.defaultof<_>
    f x

let defaultA = CallWithDefault A    
let defaultB = CallWithDefault B    
printfn "(%A) (%A)" defaultA defaultB 

Answer 2

Не уверен, что вы ищете, но что-то вроде:

let DefaultTest (t :obj) =
  match t with
  | :? (string->Test) as a -> Some (a null)
  | :? (int -> Test) as b -> Some (b 0)
  | :? (char -> Test) as c -> Some (c '\u0000')
  | _ -> Option.None

может работать на вас ...

Answer 3

Это может сработать, когда все конструкторы имеют одинаковый тип аргумента, скажем, int. Тогда можно было бы

соответствует t 0 из
| A 0 -> ...
| B 0 -> ...