検索

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

24.05.11

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

Read More

関連記事

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベ···

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベチョになる惨事を防げて便利

25.10.15

スキッとしない / する

スキッとしない / する

25.10.15

ADHD日記 3

ADHD日記 3

25.10.11

ポン付けで何か動かしたいときにRubyが便利

ポン付けで何か動かしたいときにRubyが便利

25.10.01

ADHD日記 2

ADHD日記 2

25.09.17

LinuxディストリビューションごとのTARがデフォルトで吐くフ···

LinuxディストリビューションごとのTARがデフォルトで吐くフォーマットを調べた

25.09.17

新着記事

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベチョになる惨事を防げて便利

水筒(SU-AA48)買った、自販機のお茶の結露で荷物がベチョベ···

25.10.15

スキッとしない / する

スキッとしない / する

25.10.15

ADHD日記 3

ADHD日記 3

25.10.11

ポン付けで何か動かしたいときにRubyが便利

ポン付けで何か動かしたいときにRubyが便利

25.10.01

ADHD日記 2

ADHD日記 2

25.09.17

LinuxディストリビューションごとのTARがデフォルトで吐くフォーマットを調べた

LinuxディストリビューションごとのTARがデフォルトで吐くフ···

25.09.17

人気ランキング

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

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

FreeBSD 14.0でPT3を動かす

FreeBSD 14.0でPT3を動かす

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

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

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

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

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

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

防災日記その2（夏編）