knj-mf https://blog.hatena.ne.jp/knj-mf/ Mobile Factory Tech Blog https://tech.mobilefactory.jp/ TypeScript フロントエンド こんにちは、モバファクエンジニアの id:knj-mf です。 今回は TypeScript の型レベルプログラミングでちょっと面白いものを作ったので紹介したいと思います。 何を作ったの？ TypeScript の型レベルプログラミングは、予想に反して様々なものが実装できてしまうことで有名だったりします。 type-challenges のように、「これは普通のプログラミングで実装するものでは？」と思ってしまうようなものまで実装できてしまいます。そこで、作ってみたものが下記になります。 早速、動作を紹介します。このような Brainf**k プログラムの文字列型が… このように、型計算上で解釈… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftech.mobilefactory.jp%2Fentry%2F2026%2F05%2F07%2F153000" title="TypeScript の型レベルプログラミングで Brainf**k - Mobile Factory Tech Blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/m/mobile-factory/20260507/20260507153005.png Hatena Blog https://hatena.blog 2026-05-07 15:30:00 rich https://tech.mobilefactory.jp/entry/2026/05/07/153000 1.0 100%