F# Discriminated Unions Using Single-case Discriminated Unions as Records
Example
Sometimes it is useful to create union types with only one case to implement record-like types:
type Point = Point of float * float
let point1 = Point(0.0, 3.0)
let point2 = Point(-2.5, -4.0)
These become very useful because they can be decomposed via pattern matching in the same way as tuple arguments can:
let (Point(x1, y1)) = point1
// val x1 : float = 0.0
// val y1 : float = 3.0
let distance (Point(x1,y1)) (Point(x2,y2)) =
pown (x2-x1) 2 + pown (y2-y1) 2 |> sqrt
// val distance : Point -> Point -> float
distance point1 point2
// val it : float = 7.433034374
