検索

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

24.05.11

Tagged Type というテクニックがある（TypeScript界隈などではBranded Typeと呼ばれているようだ）。実行時の型としては同じだが、型システム上はこれ···

Read More

関連記事

YubikeyをGPGが認識しないときはlsusbして犯人を探すんじゃ

YubikeyをGPGが認識しないときはlsusbして犯人を探すんじゃ

25.09.03

zypper で libgpgme error in 'gpgm···

zypper で libgpgme error in 'gpgme_ctx_set_engine_in···

25.09.01

椅子を塗った（IKEA PERJOHAN / ワトコオイル）

椅子を塗った（IKEA PERJOHAN / ワトコオイル）

25.08.27

好きな曲を100曲選んで万葉集もかくやという傑作選を作り

好きな曲を100曲選んで万葉集もかくやという傑作選を作り

25.08.24

良い天気

良い天気

25.08.22

JPYCなんなのか、自分がJPYCに何を期待しているか / 決済···

JPYCなんなのか、自分がJPYCに何を期待しているか / 決済業者に検閲されない自由なプラットフォー···

25.08.20

新着記事

YubikeyをGPGが認識しないときはlsusbして犯人を探すんじゃ

YubikeyをGPGが認識しないときはlsusbして犯人を探すんじゃ

25.09.03

zypper で libgpgme error in 'gpgme_ctx_set_engine_in···

zypper で libgpgme error in 'gpgm···

25.09.01

椅子を塗った（IKEA PERJOHAN / ワトコオイル）

椅子を塗った（IKEA PERJOHAN / ワトコオイル）

25.08.27

好きな曲を100曲選んで万葉集もかくやという傑作選を作り

好きな曲を100曲選んで万葉集もかくやという傑作選を作り

25.08.24

良い天気

良い天気

25.08.22

JPYCなんなのか、自分がJPYCに何を期待しているか / 決済業者に検閲されない自由なプラットフォー···

JPYCなんなのか、自分がJPYCに何を期待しているか / 決済···

25.08.20

人気ランキング

プログラミングを始めたころとは考え方が全然変わっていることに気づいてびっくりした話

プログラミングを始めたころとは考え方が全然変わっていることに気づ···

FreeBSD 14.0でPT3を動かす

FreeBSD 14.0でPT3を動かす

Scala3で引数の型によって他の引数を有効化したり無効化したりする

Scala3で引数の型によって他の引数を有効化したり無効化したりする

自分がやってる副業やそれぞれの比較: 儲け話ではなく儲からない話

自分がやってる副業やそれぞれの比較: 儲け話ではなく儲からない話

リリース前の動作確認のコスパについて

リリース前の動作確認のコスパについて

2023年のインプット、アウトプットの振り返り