サクサク読めて、アプリ限定の機能も多数！
Phantom Type と似たようなものかな（無知）
kazeula のブックマーク 2024/05/11 13:06
このブックマークにはスターがありません。 最初のスターをつけてみよう！
blog.3qe.us2024/05/11
Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るた...
17 人がブックマーク・6 件のコメント
＼ コメントが サクサク読める アプリです ／
Phantom Type と似たようなものかな（無知）
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Tagged Type(Branded Type)を使って飛行機の不時着や人工衛星紛失を防ごう / Scala 3ではTagged Typeを簡単に作れる - Lambdaカクテル
Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るた...
17 人がブックマーク・6 件のコメント
＼ コメントが サクサク読める アプリです ／