susisu https://blog.hatena.ne.jp/susisu/ Object.create(null) https://susisu.hatenablog.com/ TypeScript プログラミング 小ネタ TypeScript で Haskell にあるような GADT (Generalized Algebraic Data Type) っぽいものをどう表現できるかという話. GADT を使いたくなる例 式をデータとして表現したいことありますよね. あると言ってくれ. 例えば数値と数値上の関数, そして関数適用がある式を考えます. 素朴に表現すると以下のようになるでしょう. type Expr = | { type: "num", val: number } | { type: "fun", val: Fun } | { type: "app", fun: Expr, arg: Expr }; … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fsusisu.hatenablog.com%2Fentry%2F2020%2F05%2F03%2F020854" title="TypeScript で GADT っぽいの - Object.create(null)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-05-03 02:08:54 rich https://susisu.hatenablog.com/entry/2020/05/03/020854 1.0 100%