Разработка компилятора для TypeScript на TypeScript на базе LLVM

[Vadim_Aleks]

Было интересно читать. Добавил в закладки, чтобы потом закрепить материал.
Заметил один нюанс, хотелось о нем написать: в начале статьи про AOT-компиляцию в минусах написано:

Проблема с потреблением памяти и временем работы, о чем говорилось ранее

Говорилось где? До этого в статье про память ничего не было написано.

В остальном всё прекрасно. Спасибо за статью

[otstanie]

Благодарю, поправили.

[Fedcomp]

А если ограничить язык на семантике TypeScript и отказаться от динамических объектов и другой магии JavaScript, то вы просто придете к Dart первой версии.

На самом деле это будет github.com/AssemblyScript/assemblyscript

[Padreramnt]

номинальные типы в TS:

declare type int8 = number & { __typename?: 'int8' }
declare type int16 = number & { __typename?: 'int16' }
declare type int32 = number & { __typename?: 'int32' }

const a: int32 = 123123
const b: int8 = 123

function add(a: int8, b: int8): int8 | int16 {
	return a + b
}
add(a, b) // compile error