F # Подтип дискриминированных Союзы

Question

У меня есть DU так:

type Food = 
| Beer 
| Bacon 
| Apple 
| Cherry 

Я хочу добавить характеристику ОУ к флагу, если пища плод или нет. Я сначала подумал, что-то вроде этого:

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 -> «Нет» | :? Плод -> «да»

Но компилятор кричит на меня:

Тип «Food» не имеет собственных подтипов и не могут быть использованы в качестве источника

Am Я неправильно подхожу к проблеме?

Thanks

Answer 1

Или используйте Активные Patterns: 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)) 

Print:

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 

Think случаев ОУ как конструкторы - это имеет смысл передать имя пивоваренного завода в Beer конструктора, но является ли это плодом или нет, это статическое качество, которое здесь неуместно.