TypeScript

lang

• 20211219_ts_discriminated_union

• 2022-02

• tsc incremental option

• Typecript HKT encoding

• Mapped Typesのキーの型を保ったまま各プロパティをmapするにはどうすればいいのか

  • https://github.com/gcanti/fp-ts/blob/2d70be4785fec90aed119d2ec075faef36116321/src/Semigroup.ts#L152
  • fp-ts では for in を使っていた

• 2021-08-20 genericなinterfaceをimplementしたメソッドの引数は型推論してくれないので型アノテーションが必要

interface IHoge<T = never> {
    f: (a: T) => Promise<void>
}
 
class Hoge implements IHoge<number> {
    async f(a /* require type annotation */) {}
}

2021-10-14
TypeScript 4.6で起こるタグ付きユニオンのさらなる進化

• type持たせて直和型

  • term discriminated union とかタグ付き

• 2022-02-08 Structural Subtyping だから関数型プログラミング向いているかもね

  • パッケージ同士で型を共有できる?

• 2022-02-23 tsc はパスの解決などはしないと明言しているのでこういうツールがある

  • justkey007/tsc-alias: Replace alias paths with relative paths after typescript compilation

• 2022-04-02

  • TypeScriptでBranded Typeを利用してひらがな型を扱う - Qiita
    • Branded Typeが嫌いって言っていた人いたな

• 2022-04-07 ts-nodeでESModulesのファイルを実行する