Одержимость примитивами и группы данных

Одержимость примитивами — это использование языкового примитива вместо доменной концепции, что заставляет каждого вызывающего знать правила концепции. У денежного значения есть инварианты (валюта, масштаб, неотрицательность для цены) и поведение (складывать только одну валюту, округлять при делении). Смоделированное как number, ничего из этого не путешествует со значением, поэтому каждое место вызова заново реализует это — несогласованно.

// Money as a bare number: the rules live nowhere, so they live everywhere.
function priceWithTax(amount: number): number {
  return amount + amount * 0.2; // dollars? cents? can amount be -5? nobody knows
}

const refund = order.total / 3;   // float division → 33.333333, a fraction of a cent
const eur = usdAmount;            // type system is fine with mixing currencies

Каждая из этих строк локально разумна и глобально неверна. number не несёт ни масштаба, ни валюты, ни политики округления — поэтому политика дублируется, а дублированные правила дрейфуют.

Объект-значение централизует валидацию и поведение, которые примитив разбросал, так что у правила ровно один дом. Оберни концепцию в маленький неизменяемый тип, владеющий своими инвариантами и операциями. Теперь есть одно место, где правило может быть неверным, и одно место, чтобы его поправить.

class Money {
  private constructor(readonly cents: number, readonly currency: string) {}

  static of(cents: number, currency: string): Money {
    if (!Number.isInteger(cents)) throw new Error("Money is whole cents");
    if (cents < 0) throw new Error("Money cannot be negative");
    return new Money(cents, currency);
  }

  add(other: Money): Money {
    if (other.currency !== this.currency) throw new Error("currency mismatch");
    return new Money(this.cents + other.cents, this.currency);
  }
}

Конструирование — единственная дверь, поэтому невалидный Money не может существовать. Смешивание валют теперь — выброшенная ошибка вместо молчаливого usd + eur. Валидация, которую копипастили по priceWithTax, refund и convert, схлопывается в тип — тот самый рычаг усиления изменения из юнита 00, применённый к одному значению.

Группа данных — это одна и та же группа значений, всегда путешествующих вместе; повторяющаяся совместность — это рантайм, сообщающий тебе, что концепции не хватает. Когда lat и lng появляются в одном списке параметров везде, валидируются по отдельности везде, эта пара и есть концепция — Coordinate, — которую ты просто ещё не назвал.

// Before: lat & lng are a clump — three params that are really one thing,
// plus a parameter-order bug waiting to happen.
function distance(lat1: number, lng1: number, lat2: number, lng2: number): number { /* … */ }
distance(lng1, lat1, lng2, lat2); // swapped, compiles, ships, wrong by a continent

// After: name the concept the clump was pointing at.
class Coordinate {
  constructor(readonly lat: number, readonly lng: number) {
    if (Math.abs(lat) > 90 || Math.abs(lng) > 180) throw new Error("out of range");
  }
  distanceTo(other: Coordinate): number { /* … */ }
}

Группа не просто укоротила сигнатуру. Она дала проверке диапазона один дом, убила целый класс багов с перестановкой порядка и дала поведению (distanceTo) естественное место для жизни вместо того, чтобы плавать свободной функцией с четырьмя разболтанными аргументами.

Режим отказа — обратный рефлекс: оборачивать каждый примитив в класс, даже когда он не несёт ни инварианта, ни поведения, — церемония без отдачи. Объект-значение окупается, когда есть правило для централизации: валидация, арифметика, которая должна оставаться согласованной, единица измерения, которую нельзя перепутать. Примитив, у которого нет ничего из этого, не выигрывает от обёртки ничего, кроме косвенности.

// Payoff: EmailAddress has a real invariant (must be a valid address) reused everywhere.
class EmailAddress { /* validates once, every caller trusts it */ }

// Ceremony: a wrapper with zero invariant and zero behaviour.
class FirstName {
  constructor(readonly value: string) {} // any string is a valid first name
}
// Now every read is `name.value` and you've added a type that buys nothing.

Senior-тест — не «это примитив?», а «есть ли у этой концепции правило или поведение, которое сейчас дублируется или не обеспечивается?». Если да — объект-значение его централизует. Если нет — оставь примитив: алиас типа (type UserId = string) часто схватывает намерение при нулевой церемонии. Переобёртывание — само по себе запах; оно стоит времени чтения вместо корректности.