こんにちは。shundroidです。最近型レベルプログラミングに興味があります。TypeScriptの型機能、気づかぬうちにめちゃくちゃ強くなっていてすごいですね。最大限活用したいですが、実用上は使う機会あるのでしょうか。 変な型を作るのは楽しいですよね。というわけで、今回は次のような型(Add<T, U> 型、 Minus<…