был еще Бабаяновский проект VIP (vectored instructions pointer) в Интеле. Но весь вышел (закрыт еще осенью 2013 года)

хотя, стойте - еще же был 3ий осколок МЦСТ в компиляторной части SoftMachines. Но он опять же убит Интелом при покупке в 2017. AFAIK. (или не убит?)

насколько я знаю, либо уже умер, либо умирает

убит, но я бы не сказал, что это был vliw

да, это у меня за давностью смешались концепции. Я огляделся и с VIPом его роднили множество стрендов, co-design и JIT.  А так, кажется, VISC больше на ARM похож.

Как вам статья? https://habr.com/en/company/jugru/blog/503146/

Заставила еще раз задуматься о необходимости проведения специализированных конференций. Чтобы не тратить в очередной раз 30 минут на объяснение, что такое компилятор, интерпретатор, виртуальная машина, JIT... :)

Смотрел когда то доклад Дмитрия на HolyJS. Собственно статья это изложение этого доклада. Довольно разжевано было. Но немного проспойлерю компиляция по-честному и TS никакая, что собственно Дмитрий в конце и резюмирует:

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

Хотя на самом деле динами в Dart будь здоров, поэтому там своя VM, хотя есть какая-никая и AOT компиляция

A вот и сам проект
https://github.com/ovr/StaticScript

суперсет же должен включать в себя сабсет, а если Тайпскрипт — суперсет джаваскрипта, то вся семантика джаваскрипта должна уже быть в тайпсрипте?

Так оно и есть. А еще TS можно сделать полностью unsound - просто не указывая тип, и по большей часи он будет выводиться как any =)

Gradual Typing - прекрасная штука

Hegel например пошел по другому пути и добавил систему типов на основе Хиндли-Милнера
https://github.com/JSMonk/hegel

Но даже там все равно остаются проблемы с тем, что в JS все есть объект который можно динамически расширять прямо во время выполнения

он же вроде делал так что типы объектов у него строгие
то есть нельзя как в тайпскрипте свести type A = { a: number, b: number } в type B = { a: number }

Это же просто рай для Rust.

Да не особенно... 🤷‍♀️

Не-а, это скорее рай для всяких zig и прочих ЯП нацеленных на игровую индустрию где memory pooling и bump allocation прямо в ЯП встроен а само управление памятью в максимально явном виде

Ребят, привет всем, а можете подсказать по разбиению текста на токены с помощью лексера?
Язык С++11

Сколько здесь токенов?
123name

зависит от определения токена

С одной стороны это можно интерпретировать как грамматическую ошибку и два токена - (123, name), а с другой стороны как лексическую и один еррор-токен(123name)

Ну я не знаю - стандартное😃