type-fest でおくる快適な型ライフはじめに 個人的にではありますが、型ロジックを書くのに最近ハマっていました（型パズルと呼ぶ人の方が多いかも）。私が最近使っていた type-challenges には、こういう型を書いてみなさい？ と言う型ロジックの問題集が用意されており、非常に練習になるのでおすすめです。 はてさて、本日、この記事を書こうと思った理由としては、もう型ロジック書きたくないなぁ、型ロジックをまとめたライブラリもあるだろう、と思って github をサーフィンしていたところ、type-fest と言うまさにこれを探していたと言うライブラリがあり、かなり良かったのでその紹介記事です。 余談 これは余談ですが、IsEqual と言う型を書いたプルリクが type-fest にマージされ、先日、リリースされました。はじめてのまともな OSS へのコントリビュートだったので（= 以前のコントリビュートはまともじゃなかっ
type-challenges/README.ja.md at main · type-challenges/type-challenges
