エディタアプリPWEditorの開発者の二俣です。K>型を使用する方法についてです。K>型ですが、T型のプロパティのうちKで指定したプロパティを持つ型を定義します。インターフェースを定義します。Todoインターフェースのtitleプロパティとcompletedプロパティを持つTopPreview型を定義します。TodoPreview型のオブジェクトを生成します。生成したオブジェクトを表示します。K>型ですが、例えばインターフェースを継承してプロパティを追加する機能と逆の機能のように感じます。リンク紹介している一部の記事のコードはGitlabで公開しています。興味のある方は覗いてみてください。目次へ私が勤務しているニューラルでは、主に組み込み系ソフトの開発を行っております。Bi-OSは高い技術力を評価されており、特に制御系や通信系を得意としています。モバイルアプリやウィンドウズアプリを得意としております。ソフトウェア開発に関して相談などございましたら、お気軽にご連絡ください。一緒に働きたい技術者の方も随時募集中です。興味がありましたらご連絡ください。