🖥 Pattern matching как в функциональных языках

Records идеально сочетаются с pattern matching. Вы получаете алгебраические типы данных, которые раньше были только в функциональных языках вроде F#.

Представьте, что вам нужно рассчитать площадь разных фигур:

public abstract record Shape;
public record Circle(double Radius) : Shape;
public record Rectangle(double Width, double Height) : Shape;

double CalculateArea(Shape shape) => shape switch
{
    Circle(var r) => Math.PI * r * r,
    Rectangle(var w, var h) => w * h,
    _ => throw new ArgumentException("Неизвестная фигура")
};

Никаких is checks, никаких кастов, никакого боксинга. Компилятор знает структуру и гарантирует полноту проверки всех случаев.

Можете комбинировать с проверками свойств:

if (shape is Rectangle { Width: > 100, Height: > 100 })
    Console.WriteLine("Большой прямоугольник");

Это делает бизнес-логику выразительнее и безопаснее. Вместо цепочки if-else с кастами получаете элегантный switch:

public abstract record OrderStatus;
public record Pending : OrderStatus;
public record Shipped(DateTime Date) : OrderStatus;
public record Cancelled(string Reason) : OrderStatus;

string Describe(OrderStatus status) => status switch
{
    Pending => "Ожидает отправки",
    Shipped(var date) => $"Отправлен {date:d}",
    Cancelled(var reason) => $"Отменён: {reason}",
};

🐸Библиотека шарписта

#sharp_view