最近は仕事で TypeScript を書いています。この TypeScript は、コンパイルすると JavaScript にできるという特徴をもつ altJS と呼ばれる言語の仲間です。なかでも、推論つきの静的型検査がついていることが最大の特徴でしょう。 さて、話は変わりますが、プログラマは「コンパイル時計算」という言葉が大好きで、とくにうっかりチューリング完全になっちゃったものとかを見つけると、手を叩いて大喜びしたりするわけですね。 TypeScript にもコンパイル時計算があって、コンパイル時の型検査がそのひとつです。今回は、この型検査を利用して、どのレベルの計算機能までを実現できるのか試してみました。 結論からいうと、TypeScript のコンパイル時計算を使って組み合わせ回路を実現できました。 実証コードとして、コンパイル時 4bit 加算器をつくってみました。4bit 加算
![TypeScript のコンパイル時計算はどこまでできるのか? - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/ad91b737a75c019ca6ec933ec8afccf9ce43f297/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Farticle-ogp-background-9f5428127621718a910c8b63951390ad.png%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTkxNiZoPTMzNiZ0eHQ9VHlwZVNjcmlwdCUyMCVFMyU4MSVBRSVFMyU4MiVCMyVFMyU4MyVCMyVFMyU4MyU5MSVFMyU4MiVBNCVFMyU4MyVBQiVFNiU5OSU4MiVFOCVBOCU4OCVFNyVBRSU5NyVFMyU4MSVBRiVFMyU4MSVBOSVFMyU4MSU5MyVFMyU4MSVCRSVFMyU4MSVBNyVFMyU4MSVBNyVFMyU4MSU4RCVFMyU4MiU4QiVFMyU4MSVBRSVFMyU4MSU4QiVFRiVCQyU5RiZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnR4dC1jbGlwPWVsbGlwc2lzJnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9ZjEwYWE5Mjg0MDBlNWIwZDJlOTA0NTY3ZmMxMGViMTA%26mark-x%3D142%26mark-y%3D112%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTYxNiZ0eHQ9JTQwS3VuaXdhayZ0eHQtY29sb3I9JTIzMjEyMTIxJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTM2JnR4dC1hbGlnbj1sZWZ0JTJDdG9wJnM9MzEyNTkxN2FhYTI5M2NiYWNmYTg4YTFjMTllNWIzZjE%26blend-x%3D142%26blend-y%3D491%26blend-mode%3Dnormal%26s%3D32f273c273c652b4c7387883f767a1e8)