はじめに Dartは2015年3月にそのVMをChrome他ブラウザに組み込むことを諦めて以来、JavaScript(JS)との相互運用性向上やプラットフォーム拡大をより重視するかたちで方向転換を行っています。結果として、DartはよりAOTコンパイルに適した言語になろうとしているように見えます。これにともない主に型システム周りで大きな変更をしつつ有るので、ここでまとめたいと思います。 Dartは元々、既存JSへの機能追加では解決できないJSの歴史的負債(Bool比較、thisスコープ、prototype chain、eval、...)を清算するために新規に開発されました。同時にコンパイルターゲットとしてのJSを強化することにも当初からコミットしています。機能はJSに素直にコンパイル可能なことを条件とし、JSと比較した強化機能もES6以降向けの提案を先取りする形で進められてきました(例:c
![Dart型システムの動向 - Qiita](https://cdn-ak-scissors.b.st-hatena.com/image/square/3e3a33ec279837788da511cdce482dd4909cf1fd/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-dGV4dD9peGxpYj1yYi00LjAuMCZ3PTk3MiZoPTM3OCZ0eHQ9RGFydCVFNSU5RSU4QiVFMyU4MiVCNyVFMyU4MiVCOSVFMyU4MyU4NiVFMyU4MyVBMCVFMyU4MSVBRSVFNSU4QiU5NSVFNSU5MCU5MSZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZ0eHQtY29sb3I9JTIzM0EzQzNDJnR4dC1mb250PUhpcmFnaW5vJTIwU2FucyUyMFc2JnR4dC1zaXplPTU2JnM9YTgyNGI1ZTJhNzcyNWUwYzczYzJmY2RmNzU0YTEwYWE%26mark-x%3D120%26mark-y%3D96%26blend64%3DaHR0cHM6Ly9xaWl0YS11c2VyLWNvbnRlbnRzLmltZ2l4Lm5ldC9-dGV4dD9peGxpYj1yYi00LjAuMCZoPTc2Jnc9OTcyJnR4dD0lNDBDYXRfc3VzaGkmdHh0LWNvbG9yPSUyMzNBM0MzQyZ0eHQtZm9udD1IaXJhZ2lubyUyMFNhbnMlMjBXNiZ0eHQtc2l6ZT0zNiZ0eHQtYWxpZ249bGVmdCUyQ3RvcCZzPTI4MmQ0ZDY0YzU1MTM1NDRkMjczYjc0NGNiMjUyZjNj%26blend-x%3D120%26blend-y%3D500%26blend-mode%3Dnormal%26s%3Dfdf4d2ba1f91d6d1e8025ab41c9e6a8c)