В AS (в отличие от) типы обязательны, нет всяких any/unknown и безумных наворотов с объединениями/пересечениями типов и т.д., всё компилируется AOT в Wasm, используется подсчёт ссылок вместо трассирующего GC + ещё огромное количество отличий, в частности, в стандартной библиотеке.