%25E7%25B6%25B2%25E7%25BE%2585%25E6%2580%25A7%25E5%2588%25A4%25E5%25AE%259A.html)
貧者の Algebraic Data Types と(浅い)網羅性判定こんにちは､びしょ～じょです｡ これは TypeScript アドベントカレンダー 2020 の3日目の記事です｡ ちなみに12月3日は冴草きいちゃんの誕生日です｡大変めでたいですね｡ 1. はじめに 関数型プログラミングといえばなんですか? はい円楽さん早かった! はいはい､ パターンマッチング､いいですね｡ パターンマッチングといえばプリミティブな数値や文字列のリテラルのみならず､ユーザが定義した型もその構造によってマッチできます｡回りくどい言い方をしましたが代数的データ型(Algebraic Data Types, ADTs)です｡ listing 1.1. 例えば OCamltype 'a option = | None | Some of 'a let to_default default o = match o with | None -> default | Some v -
GitHub - sjrd/scala-js-ts-importer: TypeScript Importer for Scala.js
