6歳娘「パパ、型による条件分岐はできないの？」 - Qiita

とある休日 娘「ねぇ、パパ！」 娘「switchやろ〜！」 ワイ「おお、ええで！娘ちゃん！」 ワイ「Switchやろう！」 ワイ「ほな、テレビをつけて・・・」 娘「テレビ？」 娘「何を言っているの、パパ？」 娘「TypeScriptのswitch文のことだよ？」 ワイ「ファッ！？」 switch文で何をしたいのか 娘「今ね、ショッピングサイトを構築してるところなの」 ワイ「ほうほう」 娘「それでね、手広く儲けようと思って」 ワイ「おお、ええやんか」 娘「個人ユーザーだけじゃなく、法人ユーザーも登録できるようにしようと思うの」 ワイ「なるほどな」 娘「言語はTypeScriptを使っているんだけど」 娘「ちょっと聞きたいことがあるの」 ワイ「おう、なんでも聞いてや」 あいさつ関数を作っている 娘「ショッピングサイトにログインしたときに・・・」 個人の場合 → 「無職 やめ太郎さん、こんにちは

[key_llow]

このシリーズ地味に娘さんちゃんと年齢を重ねて行ってるんだよな…

[daruyanagi]

毎度思うけど、6歳娘優秀過ぎる ( ˘ω˘ )

[gowithyou]

そもそも引数とかの型による条件分岐は呼び出し側の実装に依存することになるのでよろしくない、というのはOOPではいわれてるけど、TypeScript的にOKなのか？

[junjun777]

typeプロパティを自動追加する糖衣構文が欲しいかな。例はオーバーロードで実装すべきパターンに見えちゃう。「こんにちは！」の方も変えてあれば、型による条件分岐のパターンかな。

[nmcli]

型で条件分岐っていまいちピンとこない。抽象性を欠くコーディングになりそうで。

[Windymelt]

割とScalaとかだと普通にADTsは型で分岐(というかパターンマッチ)しているので、型による分岐はそんなにおかしなことではないと思う。

[lizy]

Discriminated unionsですね https://www.typescriptlang.org/docs/handbook/2/narrowing.html#discriminated-unions

[ka-ka_xyz]

(既にブコメあるけど)型で条件分岐してる時点で負け感があるのだけれど、しかしtsの場合だと例外の型ごとのcatch節を書けないのがなあ。classだとinstanceofで判定できるけど、classがthrowされるとは限らない.

[Wafer]

信じられるか？この子が一時期口もきいてくれへんようになるんやで

[daishi_n]

型分岐よりは属性分岐したいところ。クラスだったら個人、法人を基底クラスの派生クラスにしてようこそメッセージを出力するのもアリだけど実装が手間か。

[masatotoro]

“代数的データ型”でswitch文

[minamishinji]

おもしろかったけど、オチがないんだね…

[outalaw]

娘ちゃんシリーズ好き。

[tanakh]

代数データ型のパターンマッチは型による条件分岐じゃなくて値による条件分岐だと思うが･･･(´･_･`)

[yo4raw]

TSではなくElmを使えという記事か（違う）

[roirrawedoc]

ポリモーフィズムは…？

[hdampty7]

UserNameTypesというconstを作ってUserNameTypeの値にしてTypeを切って○○UserTypeのtypeプロパティの型にするっていうコード書いてたら、若い人にうざがられた。おじさんはtypoが怖い。

[a96neko]

見てる

[htbman]

type の右側と case の右側に型名をハードコードしているように見えるのだけど、これがメンテナブルってことになってんの？

[dhrname]

データ構造化論>直積型に対するwith構文と、場合分けのためのcase構文とを一緒にした形式のものである。いま、svという直和型の値が、それが起因するところの型に従って、種々の処理（『構造化プログラミング』、1975年）

[wonderword22]

このサンプルだけで考えるとポリモーフィズムで作るかな。

[hase0510]

オーバーロードすべきってブコメあるけどTypeScriptのオーバーロードってつまりこれ（型による条件分岐）じゃないの？ ランタイムが動的型付けなんだからコンパイル時に呼ぶ関数を決定することはできないと思うのだけど

[bamch0h]

どっかのタイミングで娘ちゃんとパパの立ち位置逆転しててほしい

[deztecjp]

娘さん初登場の頃は当惑していたパパだが、3年経って、すっかり対応にも慣れた様子。成長が著しい。https://qiita.com/Yametaro/items/99cc1c8ebcfc703b1410

[ichiken7]

型による条件分岐じゃなくて、型自身が振る舞いを持ってるべきなのでは？と思ったりもするけど、そこが言いたい本質じゃなくて、単に例としてしっくりいってないだけなんだろうな。

[typographicalerror]

ブルーベリーの絵本ほしくなってきた

[santo]

大変良い着眼点なんだけど、それtypescriptじゃなくJavaScriptでもできるんだよな…

[cl-gaku]

“娘「何を言っているの、パパ？」 娘「TypeScriptのswitch文のことだよ？」”

[ene0kcal]

それって"型による条件分岐"ではなくなっているのでは？🤔

[hylom]

RTTIは地獄への入り口

[enhanky]

型で条件分岐しなければならない時点でOOP的には設計に失敗してない？

[xlc]

これじゃダメ？ https://github.com/kobalab/Majiang/blob/v1.6.9/src/js/majiang/player.js#L32-L42 / 型による分岐ができないのであれば、静的型付けなんて無用の長物と思うよ。

[kenichi_odo]

これは便利でよく使ってる

[daichirata]

型定義に値を持たせてちゃんと分岐でも静的解析出来るの本当に擬似的な直和って感じだ。多相云々の意見は勘違いしてる気がするけど網羅性の問題はありそう。

[yhoriz]

タイトルが誤解を招いてるけど、User型を外から拡張できないから呼び出し側への依存は生じないよ 「型安全な直和」「（本文まとめにもある通り）疑似ADT」というべきだけど直和もADTも用語として認知率低いから難しいね

[tettekete37564]

アヒルの様な見た目でアヒルの様に鳴き、名札にアヒルと書いてあるなら、それはもうアヒルと見なす！グワッグワッ / 型で条件分岐は OO じゃないってコメ多いけど原始的な多態性は型の違いや引数の数で実現してるでし

[miki3k]

サポートしてない言語で擬似的にやらなくてもいいんじゃないかな