Özet - Phantom types

Phantom türlerle durum güvenli bir sipariş akışı yazarsın.

Özet - Phantom types

Phantom türler, kullanılmayan generic parametrelerle tür güvenliği sağlar. State encoding ile durum makinelerini türe kodlarız; geçersiz geçişler derleme hatası olur. API tasarımında fonksiyonların yanlış sırada çağrılmasını engeller. Çalışma zamanında ek maliyet yoktur; tüm güvenlik derleme zamanındadır.

type Order<S> = { amount: number };

type Pending = Order<"pending">;
type Paid = Order<"paid">;
type Shipped = Order<"shipped">;

function pay(o: Pending): Paid { return o; }
function ship(o: Paid): Shipped { return o; }
function deliver(o: Shipped): string { return `delivered ${o.amount}`; }

const p: Pending = { amount: 10 };
const result = deliver(ship(pay(p)));

Uygulama Phantom ile sipariş akışı

Order<S> generic türünü tanımla (gövde amount: number). Pending, Paid, Shipped türlerini phantom argümanlarla oluştur. pay(o: Pending): Paid, ship(o: Paid): Shipped ve deliver(o: Shipped): string fonksiyonlarını yaz (deliver `delivered ${o.amount}` döndürsün). Bir Pending değerinden başla, pay, ship, deliver sırasıyla uygula ve sonucu console.log ile yazdır.

Örnek çözümü göster

type Order<S> = { amount: number };

type Pending = Order<"pending">;
type Paid = Order<"paid">;
type Shipped = Order<"shipped">;

function pay(o: Pending): Paid {
  return o;
}

function ship(o: Paid): Shipped {
  return o;
}

function deliver(o: Shipped): string {
  return `delivered ${o.amount}`;
}

const p: Pending = { amount: 10 };
const result = deliver(ship(pay(p)));

console.log(result);

Kendini test et

Phantom türlerin çalışma zamanı maliyeti nedir?
- Çalışma zamanı tür bilgisi ekler
- Her phantom parametre için bir bayt
- Sıfır
- Her durum geçişi için bir hesaplama
Cevabı göster

Sıfır — Phantom parametre yalnızca tür düzeyinde vardır; derleme sonrası silinir. Çalışma zamanında hiçbir ek değer veya kontroller yoktur.

Üç durumlu sipariş akışı

type Order<S> = { amount: number };
type Pending = Order<"pending">;
type Paid = Order<"paid">;
type Shipped = Order<____>;

function ship(o: Paid): Shipped { return o; }

Cevabı göster

type Order<S> = { amount: number };
type Pending = Order<"pending">;
type Paid = Order<"paid">;
type Shipped = Order<"shipped">;

function ship(o: Paid): Shipped { return o; }

Phantom types özet eşleştirmesi

Phantom parametre

gövdede kullanılmayan generic parametre
State encoding

durumları türe kodlamak
Geçiş fonksiyonu

yanlış durumu derleme zamanında reddeder
Çalışma zamanı maliyeti

sıfır

Sıradaki ders: typeof narrowing

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler