F＃Subtype Disriminated Unions

Question

我有這樣的DU：

type Food =
| Beer
| Bacon
| Apple
| Cherry

如果食物是水果，我想給DU添加一個特征來標記。 我首先想到的是這樣的事情：

type NonFruit = NonFruit
type Fruit = Fruit

type Food =
| Beer of NonFruit
| Bacon of NonFruit
| Apple of Fruit
| Cherry of Fruit

然后像這樣的方法：

讓fruitChecker（myFood：Food）=將myFood與|匹配 ：？ NonFruit - >“不”| ：？ 水果 - >“是”

但是編譯器對我大喊大叫：

“食物”類型沒有任何正確的子類型，不能用作來源

我是否錯誤地接近了這個問題？

謝謝

Answer 1

或者，使用活動模式： https ： //msdn.microsoft.com/en-us/library/dd233248.aspx

type Food =
| Beer
| Bacon
| Apple
| Cherry

let (|NonFruit|Fruit|) =
    function
    | Beer | Bacon -> NonFruit
    | Apple | Cherry -> Fruit

let fruitChecker = function | NonFruit -> "No" | Fruit -> "Yes"

[Beer;Bacon;Apple;Cherry] |> List.iter(fun x -> printfn "%s" (fruitChecker x))

打印：

No
No
Yes
Yes

鏈接： https ： //dotnetfiddle.net/oRYDs6

Answer 2

你應該簡單地添加一個函數。 如果要使其“接近”類型，請將其設為靜態成員：

type Food =
   | Beer
   | Bacon
   | Apple
   | Cherry
   static member IsFruit = function Beer | Bacon -> false | Apple | Cherry -> true

將DU案例視為構造函數 - 將啤酒廠的名稱傳遞給Beer構造函數是有意義的，但無論它是否為水果都是靜態質量，在那里是不合適的。