区別されたユニオンの大文字小文字の値をコピーするにはどうすればよいですか？

Question

区別されたユニオンの大文字小文字の値をコピーするにはどうすればよいですか？

次のコードは、いくつかの重複があります。

let move (direction:Direction) (checker:Checker) = 
    match checker with 
    | Red xy -> Red { xy with X=2; Y=2 } 
    | Black xy -> Black { xy with X=2; Y=2 } 

を具体的に、私はちょうどそのレコードの値を設定するためにチェッカーの種類を指定する必要はありません。したがって、チェッカーが赤か黒かどうかは気にしません。チェッカーケースの値をコピーしてその位置を更新するだけです。私はむしろどうなる

このような何か：

let move (direction:Direction) (checker:Checker) = 
    match checker with 
    | _ xy -> _ { xy with X=2; Y=2 } 

は、ここに私のテストです：

[<Test>] 
let ``move checker``() = 
    Black { X=1; Y=1 } |> move NorthEast 
         |> should equal (Black { X=2; Y=2 }) 

付録：

module Test3 

open NUnit.Framework 
open FsUnit 

type Position = { X:int; Y:int } 
type Checker = | Red of Position | Black of Position 

type Direction = 
    | NorthEast 
    | NorthWest 
    | SouthEast 
    | SouthWest 

(* Functions *) 
let move (direction:Direction) (checker:Checker) = 
    match checker with 
    | Red xy -> Red { xy with X=2; Y=2 } 
    | Black xy -> Black { xy with X=2; Y=2 } 

[<Test>] 
let ``move checker``() = 
    Black { X=1; Y=1 } |> move NorthEast 
         |> should equal (Black { X=2; Y=2 }) 

Answer 1

あなたが求めていることは、反射のトリッキーなことなしにF＃で行うことはできません。

ここでは常識的な説明：ユニオンのケースがまったく同じデータを持つことは非常にまれです。これが当てはまる場合、おそらく、連合ケース自体がデータをマークするために使用される単なる「タグ」であることを示しているため、「周囲」ではなくデータの「横」にエンコードする必要があります。そのような組合のタイプはまれな例外であるため、それらをサポートする言語機構を発明することは意味がありません。

この合理化は、特定のケースにうまく当てはまります。チェッカーの色は、「ラッピング」するのではなく、位置の「横」にある「タグ」です。チェッカーを{ pos: Position; color: Color }と定義すると、色に触れずに位置を更新することができます。

Answer 2

私は "タグは、それを包み込むのではなく位置の隣に置くべき"と思っています。確かに、この例はあまり単純すぎるかもしれませんが、あなたのユニオンケースの中には、透過的な方法で操作したいデータを共有するケースが非常に有効です。

標準のFPパターンは、そのタイプにマップ機能を持たせることです。

type Checker = 
    | Orange of Position 
    | Blue of (Position * DateTime) 
    | Bacon of bool 
    member this.MapPosition (f: Position -> Position) = 
     match this with 
     | Orange pos  -> Orange (f pos) 
     | Blue (pos, dt) -> Blue (f pos, dt) 
     | Bacon x  -> Bacon x 

そして、このようにそれを使用します：

let move (direction:Direction) (checker:Checker) = 
    checker.MapPosition(fun _ -> { X=2; Y=2 })