TypeScript で幽霊型っぽいものをつくる

この実装だと当然エンコード済みの文字列も渡せてしまい、多重エンコードが起きる。未エンコードの文字列だけが渡ってくることをコンパイラレベルで検出したい。 幽霊型（Phantom Type） こういうとき、他の言語ではよく幽霊型が用いられる。次のリンク先は Scala での実装例を紹介している https://www.slideshare.net/AkinoriAbe1/aja-2016623 // 上記スライドの 6 枚目より class Str[T] (val str: String) trait Normal trait Encoded def encode(x: Str[Normal]) = new Str[Encoded](...) 内部では利用されない型パラメータ（ Normal Encoded ）を使って、Str[T] にはそういう種類があること、 Str[Normal] と S

[Kesin]

方法は知っていたけどPhantomTypeっていう名前だったのは初めて知った

[Windymelt]

さいきんscalaではopaque typesが導入されたので苦しまなくて良くなったぜ

[igrep]

"「必須だけど絶対に値が存在しないキー」を作る" なるほどー！

[crexist]

Builder とかでよく使われるパターン。

[tech_usami17]

ブランド化

[katsusuke]

RailsのString#html_safe? 的なものを有名どころのフレームワーク(Reactとか)が実装したら普及しそう

[habarhaba]

趣味のコードの中だけにしとけ