Exhaustive eval

Değerlendirme fonksiyonu, tüm düğüm türlerini kapsayan bir switch ile yazılır. assertNever yardımcısı ile default dalı, eksik case varsa derleme hatası verir. Bu, yeni düğüm eklendiğinde tüm eval fonksiyonlarının güncellenmesini garanti eder.

function assertNever(x: never): never {
  throw new Error("Unexpected: " + x);
}

function evalNode(n: Node): number | string {
  switch (n.kind) {
    case "number": return n.value;
    case "string": return n.value;
    case "add": return "(add)";
    default: return assertNever(n);
  }
}

assertNever ile default dalı, switch'in tüm durumları kapsadığını garanti eder. Yeni bir düğüm türü eklendiğinde, evalNode fonksiyonu artık tükenmiş değildir; default dalındaki n never olmaz ve assertNever(n) çağrısı derleme hatası verir.

function assertNever(x: never): never {
  throw new Error("Unexpected");
}

function evalNode(n: Node): string {
  switch (n.kind) {
    case "number": return String(n.value);
    case "string": return n.value;
    case "add": return evalNode(n.left) + evalNode(n.right);
    default: return assertNever(n);
  }
}