TypeScriptのDiscriminated Unionに慣れると、それがない言語で状態管理するのが辛くなるからな。PHPでのSealedクラス活用も実用的で良い
代数的とか言ってると賢くなった気がするし、知らない人にマウントとれる。代数学についてはもちろん素人である。
直和型っていう呼び方知らなかった
AIと会話して「〜が嬉しい」と言う言い方最初違和感アリまくりだったんだけどなぁｗ英語的だよね。
理解が深まった。cf. 他言語経験者が知っておきたいTypeScriptのクラスの注意点 - KAKEHASHI Tech Blog https://kakehashi-dev.hatenablog.com/entry/2025/08/19/110000
コードに制約を記述してコンパイラにチェックさせたいだけならannotationとか有るけど、コレは記述量を抑えられるのが利点か
変数の数だけnull許容の例外が生まれるのを防げるであってる？
賢くなった気分にはなれるね。
面白かった。「booleanはたいてい"別の型"の成れの果て」というのは今度意識してみたい。
GADT のこともたまには思い出してあげてください
代数的データ型って何が嬉しいの？ #frontend_phpcon_do
TypeScriptのDiscriminated Unionに慣れると、それがない言語で状態管理するのが辛くなるからな。PHPでのSealedクラス活用も実用的で良い
代数的とか言ってると賢くなった気がするし、知らない人にマウントとれる。代数学についてはもちろん素人である。
直和型っていう呼び方知らなかった
AIと会話して「〜が嬉しい」と言う言い方最初違和感アリまくりだったんだけどなぁｗ英語的だよね。
理解が深まった。cf. 他言語経験者が知っておきたいTypeScriptのクラスの注意点 - KAKEHASHI Tech Blog https://kakehashi-dev.hatenablog.com/entry/2025/08/19/110000
コードに制約を記述してコンパイラにチェックさせたいだけならannotationとか有るけど、コレは記述量を抑えられるのが利点か
変数の数だけnull許容の例外が生まれるのを防げるであってる？
賢くなった気分にはなれるね。
面白かった。「booleanはたいてい"別の型"の成れの果て」というのは今度意識してみたい。
GADT のこともたまには思い出してあげてください