Intersection型（Intersection Types、交差型）について Intersection型…

Union型（Union Types、合併型、共用体型）について Union型（Union Types）は型 …

typeofについて typeofはオペランド（被演算子、演算対象の変数のこと）の型を文字列として返すJava…

TypeScriptのコードでたまにみかけるtype HogeType = typeof Hoge[kyof …

TypeScriptではEnum型よりもUnoin型を利用したほうがよいという話をよく聞きます。1 2 3 今…

Mapped Types（マップ型）について Mapped Types（マップ型）とはある型をもとに新たな型を…

インデックスシグネチャ（Index Signatures、インデックス型）について インデックスシグネチャ（I…

extendsを利用することでジェネリクス（Generics）で引数に制約をつけられます。今回は以下の2つのケ…

ジェネリクス(Generics)について プログラミングにおけるジェネリクス(Generics)とは、異なる型…

Conditional Types（条件付き型）について Conditional Typesとは条件分岐の概念…

void型とnerver型の違い、の結論 void型は『なにも返さない』を表現する型、never型は『けっして…

never型とは『けっして起こりえないこと』を表現する型です。 けっして発生しない事象に対してnever型が付…

any型とは anyは型が不定の時に使う型です。 any型にはどのような値もセットできますし、any型の値を参…

おさらい: プリミティブ型の型ガードの実装方法 JavaScriptのデータ型にはプリミティブ型とオブジェクト…

型ガード（Type Guard）とはif文やcase文をはじめとした条件分岐で変数の型を判別し、ブロック内の変…

JavaScriptのin演算子について JavaScriptのinを利用することでオブジェクトのプロパティの…

ユーザー定義型ガードとis（Type Predicate）について TypeScriptには型を絞り込む『型ガ…

型ガード（Type Guard）について 型ガード（Type Guard）とはif文やcase文をはじめとした…

今回はTypeScriptの型アサーション（Type Assertion）について紹介します。利用するType…

アンビエント宣言について アンビエント宣言(Ambient Declarations)とはJavaScript…