AIニュース

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

2024.05.11 1:38
Blog.3qe.us
このエントリーをはてなブックマークに追加

Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれを区別して別物として扱い、混同できなくする仕組みを作るためのものだ。 AIくん！サムネイラスト作って！と頼んで作ってもらった画像 Tagged Type 単位の取り違えによる事故は後を絶たない。世の中には、キログラムとポンドを混同して飛行機があわや墜落しかけたり、メートルとヤードを混同して人工衛星がどっかに行ったりしている。尊い人命や国民の血…

記事全文へ

検索

人気記事

アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース

2026.05.05 11:04

三菱総合研究所の「生成AI活用術」超解説、コンサルの“新しい稼ぎ方”が凄すぎる…（ビジネス＋IT） - Yahoo!ニュース

2026.07.13 7:29

他人の「Instagram」写真を、「@メンション」でAI素材にするMetaの新機能、撤回に追い込まれる／Metaが導入した新しい画像生成AI「Muse Image」の目玉機能だったのに……やりすぎたか【やじうまの杜】

2026.07.13 16:08

株式会社AIdeaLabアニメ特化動画生成AIモデル『AnimeGen』を公開

2026.07.13 9:10

OpenAI、ChatGPTを組み込んだWebブラウザ「Atlas」の提供終了を発表

2026.07.13 17:45

コメント一覧

まだコメントはありません。

コメント