TypeScript の tsc コマンドを叩いたときに const x:number = ''; がコンパイルエラーになるまでの道のりTypeScriptAST TypeScript がどのようにして型チェックをしているのかとふと疑問に思ったのでコードを読んでみました 実際に tsc コマンドを叩いてから const x:number = ''; という「数字型の変数宣言に文字列の値を代入」するコードがコンパイルエラーとして検出されるまでの流れを一通り読んでみたので、解説してみようと思います TypeScript のアーキテクチャ概要について TypeScript のリポジトリの wiki に、TypeScript 本体のアーキテクチャについての概要が記載されています Architectual Overview のページを見ると、最初に以下の図が掲載されており、ここには TypeScri
![TypeScript の tsc コマンドを叩いたときに const x:number = ''; がコンパイルエラーになるまでの道のり - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/8f74bb5dcba964917a1a23b64cd3c1407f3b1a66/height=288;version=1;width=512/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn.qiita.com%252Fassets%252Fpublic%252Fadvent-calendar-ogp-background-7940cd1c8db80a7ec40711d90f43539e.jpg%3Fixlib%3Drb-4.0.0%26w%3D1200%26mark64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9VHlwZVNjcmlwdCUyMCVFMyU4MSVBRSUyMHRzYyUyMCVFMyU4MiVCMyVFMyU4MyU5RSVFMyU4MyVCMyVFMyU4MyU4OSVFMyU4MiU5MiVFNSU4RiVBOSVFMyU4MSU4NCVFMyU4MSU5RiVFMyU4MSVBOCVFMyU4MSU4RCVFMyU4MSVBQiUyMGNvbnN0JTIweCUzQW51bWJlciUyMCUzRCUyMCUyNyUyNyUzQiUyMCVFMyU4MSU4QyVFMyU4MiVCMyVFMyU4MyVCMyVFMyU4MyU5MSVFMyU4MiVBNCVFMyU4MyVBQiVFMyU4MiVBOCVFMyU4MyVBOSVFMyU4MyVCQyVFMyU4MSVBQiVFMyU4MSVBQSVFMyU4MiU4QiVFMyU4MSVCRSVFMyU4MSVBNyVFMyU4MSVBRSVFOSU4MSU5MyVFMyU4MSVBRSVFMyU4MiU4QSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9MjE5Zjg3MjE0Y2ZjZDM1ZmQ2ODhhZDljZWZiYjZkNTI%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBzaXNpc2luJnR4dC1jb2xvcj0lMjMzQTNDM0MmdHh0LWZvbnQ9SGlyYWdpbm8lMjBTYW5zJTIwVzYmdHh0LXNpemU9MzYmdHh0LWFsaWduPWxlZnQlMkN0b3Amcz02MzIwMWI2OTEzZTNkMTEyZWUzZTM4MTE4YzZmM2ZlZA%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3D15a0e91121da4444801324b5eaf05926)