перегрузка F # активных шаблонов - PullRequest
Новая
       31

перегрузка F # активных шаблонов

1 голос
/ 09 сентября 2010

Я довольно новичок в F # и активных шаблонах, и я столкнулся с аномалией, которую я не могу объяснить. 

module Eval =
let (|Bet|Pass|) (test:BetChoice) =
    match test with
        | BetChoice.Bet -> Bet
        | BetChoice.Pass -> Pass

let (|NoBet|Bet|Pass|) (test:Nullable<BetChoice>) : Choice<unit, unit, unit> =
    match test.HasValue with
        | true -> match test.Value with 
                      | BetChoice.Bet -> Bet
                      | BetChoice.Pass -> Pass
        | false -> NoBet

let FlipByWinner ((value:int), (awins:bool)) =
    match awins with
    | true -> (value, -value)
    | false -> (-value, value)

let Evaluation (awins:bool) (player11:BetChoice) (player21:BetChoice) (player12:Nullable<BetChoice>) =
     match player11 with
     | Pass -> match player21 with
               | Pass -> FlipByWinner(1, awins)
               | Bet-> match player12 with
                       | Bet -> FlipByWinner(2, awins)
                       | Pass -> FlipByWinner(1, false)
                       | NoBet -> raise (System.ArgumentException("invalid strategy"))
     | Bet ->  match player21 with
               | Bet -> FlipByWinner (2, awins)
               | Pass -> FlipByWinner (1, false)

Это не компилируется. С небольшим изменением я могу заставить его работать как положено, но тот факт, что я не знаю точно, что происходит, заставляет меня немного нервничать ... второй шаблон может быть переименован в «(| NoBet | Bet1 | Pass1 |)», и связанные с ним шаблоны изменены во всем коде, затем он работает, но я не совсем понимаю, почему существует исключение несоответствия типов.

Также есть ли хороший способ справиться с двумя активными паттернами, которые почти идентичны, но не совсем? Похоже, должен быть способ объединить все вместе. (в качестве примечания, похоже, что отступы испорчены при копировании / вставке, все это правильно входит в модуль Eval).

1 Ответ

3 голосов
/ 09 сентября 2010

Да, первая проблема имеет смысл. Вы не можете иметь два активных тега шаблона с одним и тем же именем в одном и том же пространстве имен. Это связано с тем, как на самом деле компилятор F # генерирует имена активных шаблонов. Если вы посмотрите в отражатель, код, сгенерированный для: 

type Alpha = Foo | Bar
let (|Foo|Bar|) = ...

очень отличается, хотя концептуально активные модели и различимые союзы - это довольно похожие понятия.

В любом случае, вопрос, который вам нужен, заключается в том, что делать, если у вас есть два набора активных паттернов, которые в основном схожи / альбето различны. Я настоятельно рекомендую вам использовать частичный активный паттерн. Смотрите это сообщение в блоге .

В примере это выглядит так, как будто вы хотите что-то вроде: 

let (|IsBet|_|) = ...
let (|IsPass|_|) = ...

Таким образом, вы можете сопоставлять паттерны как с игроком 11, так и с игроком 21, например ::

match player11, player21 with
| IsPass & IsPass -> ...
| IsPass & IsBet  -> ...
| IsBet  & IsPass -> ...
| IsBet  & IsBet  -> ...

Это должно иметь большое значение для очистки кода.

...