Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Как говорят документации: Dart - типо-безопасный язык со статическими и динамическими проверками типов, который имеет механизм реконструкции типов, но самые вкусные подробности документация умалчивает, а именно: как происходит реконструкция типов, какие этапы проверки типов, как строятся рантайм-проверки, как устроен FutureOr, если в языке не предусмотрен union и тд. Мне стало интересно разобраться в этих вопросах, и результаты препарирования Dart VM я и расскажу, а, самое главное, покажу. Слайды: