yn2011's blog

技術メモ

2020-07-01から1ヶ月間の記事一覧

TypeScript の共用体型は or ではないのかについて考えた

TypeScript の共用体型(Union Types)は or ではない を読み、確かによく分からん挙動だなーと思って色々調べたり考えたりしたことを書いておく。 タグ無し共用体型 形状A, B に対して、A | B と A & B で定義される型の性質 A | B = A ∪ Bという理解は正…

そもそも reflection とは何なのか

Go 言語を勉強していて reflection って何なんだろ、となったので調べた内容を書いておく。 そもそも reflection とは何なのか 自己書き換えコード reflection はメタプログラミング メタプログラミング なぜメタプログラミングしたいのか 実行時にしか分か…