エンジニアリンググループの冨岡です。 先日、以下のTypeScript用DIライブラリを公開しました。大きな特徴として、解決するために不十分な依存がある場合にコンパイルエラーになるようになっています。 github.com www.m3tech.blog このコンパイル時の型チェックの実現には、TypeScriptにおける様々な型レベルのテクニックが用いられています。泥臭い試行錯誤の結果、なかなかhackyなこともやっていて面白い（？）ので、せっかくなので解説しようと思います。 もちろん、「もっとエレガントにできるよ」というアドバイスやプルリクも大歓迎です！皆さんも、自分だったらこうするなぁ、とか思いながら楽しんでいただければと思います！ （なお本記事ではこのバージョンのこのファイルをもとに解説していきます。） 前提と問題の設定 typesafe-diでは、各インスタンスのfactoryを