Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル

Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによる事故は後を絶たない。世の中には、キログラムとポンドを混同して飛行機があわや墜落しかけたり、メートルとヤードを混同して人工衛星がどっかに行ったりしている。尊い人命や国民の血税と比べるといささか霞むかもしれないが、ユーザIDとペイロードを間違えて送信したり、金額と口座番号を取り違えて送金したり、秘密鍵と公開鍵を間違えて表示したりしてしまえば、プログラマが大変な苦労をするか、会社そのものが傾くだろう。 しかしながら、データとしてはどちらも同じDouble

[Windymelt]

Phantom Typesは、「実行時には消えてる型」の総称で、それを利用して「同じ型にタグ付けして区別する」手法がTagged(Branded) Typesという認識です。

[theatrical]

同じスコープで元の型として使えないみたいな制限回避するためのテクニックの紹介だと思うので、これは意味があるのでは。

[Magicant]

Opaque type があるなら opaque type を使っときゃよくて、わざわざ tagged type とかいふ似て非なる物を発明する理由なくない?

[kazeula]

Phantom Type と似たようなものかな（無知）

[maninthemiddle]

他の言語にもこの仕組み欲しいな

[kazuhi_ra]

TSだと一手間かかるのでいい構文あって羨ましい