Was macht m05-type-driven?
KRITISCH: Verwenden für typsichere Entwürfe. Auslöser: Typzustand, PhantomData, Neuer Typ, Markierungsmerkmal, Builder-Muster, ungültige Zustände nicht darstellbar machen, Kompilierzeit-Validierung, versiegelte Merkmale, ZST, 类型状态, 新类型模式, 类型驱动设计