я так понял, что везде будет Struct, а Expr это или Stmt будет определяться полями/атрибутами

Класс-то один, а типы могут быть или не быть разными. Класс-то параметризированный, но интерфейс один. Да, тип узла задаётся полем type.

уже лучше. а как быть с тем, что у узлов разного типа разный набор детей/атрибутов?

И как ещё быть с опциональными детьми

Точно так же:

type Let = Node< 'let',
 | [
    Expr, // выражение деструктуризации
    Expr, // источник данных для присваивания
 ]
 | [
    Name, // только имя переменной если объявление без присваивания
 ]
>

то есть, выдирать их из списка, без имен?

При желании и имена можно задать, конечно:

type Let = Node< 'let',
 | [
    Node< 'target', [ Expr ] >,
    Node< 'source', [ Expr ] >,
 ]
 | [
    Node< 'target', [ Expr ] >,
 ]
>

еще лучше. если я правильно понимаю, это D, а я его не знаю. поэтому синтаксис непривычен и удобство оценить не могу

Всем привет! 😊                                                            Samsung Research (Москва/офис+удаленка) ищет  NPU Compiler Developer for Exynos AI Accelerator.  
По всем вопросам пишите мне в личку или на a.danilina@samsung.com                                            Responsibilities:
Design and improve SW architecture of Compiler and other SDK components
Support for new operators and NN models
Develop new optimizations in Compiler and Runtime
Requirements:
Good level programming skills in C/C++
Understanding of compiler technology
Knowledge of common SW engineering practices: configuration management, task tracking, code reviews, etc.
Scripting languages (Python, bash)
Desired Skills:
Proven experience in compiler development
Experience with optimization for different hardware architectures (CPU, GPU, DSP, etc.)
Understanding of popular CNN architectures e.g: Inception, MobileNet, ResNet
Experience with popular ML frameworks (TensorFlow, Caffe, etc.)
Work conditions:
Flexible working time
Corporate lunches
Medical and life insurance
7 paid sick leaves (without certificate)
Fitness compensation
Relocation package
Fitness room, shower, doctor in the office
Comfortable A-class office in Moscow

Лучше бы, конечно, попросить запостить это в https://t.me/compiler_jobs

Это TypeScript.

ну, как говорится, в сортах не разбираюсь :))

Кстати, а на js пишут компиляторы?🤔😄

Конечно, сам TS компилятор на нём написан.

Полно! На Гитхабе есть баальшой список.

Первая версия разве что, с тех пор он давно переписан на сам TS

https://github.com/jashkenas/coffeescript/wiki/List-of-languages-that-compile-to-JS

Большая часть написана на JS.

Как минимум все используемые здесь: https://astexplorer.net/

Хотя и есть идея затащить и серверные языки: https://github.com/fkling/astexplorer/issues/222

И тут хаскелля нет, да шо ж ты будешь делать!