Typescriptのtemplate literal typesで文字数指定することは出来ますか？

Question

Typescriptに明るい方々に質問です。
Typescriptに於いて、例えば以下のGUIDの例のように、文字数まで含めて型安全な型を定義することは出来ますか。
以下のように自分で試行錯誤したものの成功せず、ドキュメントで存在しない事を確認するのは難しい為質問させていただきます。

例）

type Guid = `${string[8]}-${string[4]}-${string[4]}-${string[4]}-${string[12]}`;

Answer 1

GUIDでしたら文字種まで決まっていますので、理論的にはできなくはないです…が、実際にテストするとExpression produces a union type that is too complex to represent.とエラーを喰らいました（Playground）。

// 面倒なので小文字限定
type Hexadecimal = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' | 
  'a' | 'b' | 'c' | 'd' | 'e' | 'f'

type Word = `${Hexadecimal}${Hexadecimal}${Hexadecimal}${Hexadecimal}`;

type Guid = `${Word}${Word}-${Word}-${Word}-${Word}-${Word}${Word}${Word}`;

Comments

[with_mikumiku]

ご回答ありがとうございます。
なるほど、GUIDでしたらそうやれば出来そうではありますね。理解しました。

とはいえ、文字数指定に関しては、上記のような手段でカバー出来るため、設計上は省かれているというこのなのでしょうか。。

テンプレートリテラル型にも複雑さの限界が設けられていたのですね。勉強になりました。

総じて悩みは解決しました。どうもありがとうございました！