タグ

Hoareに関するdhrnameのブックマーク (1)

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

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

    6歳娘「パパ、型による条件分岐はできないの?」 - Qiita
    dhrname
    dhrname 2022/05/24
    データ構造化論>直積型に対するwith構文と、場合分けのためのcase構文とを一緒にした形式のものである。いま、svという直和型の値が、それが起因するところの型に従って、種々の処理(『構造化プログラミング』、1975年)
  • 1