Стандартная библиотека там совершенно своя. Wasm ничего не предоставляет, в нем нету ни строк ни массивов, а из мат функций только sqrt, floor, ceil, nearest, сложение, деление и умножение. Все!

wasm это просто виртуальная ISA

У меня немного по другой схеме язык будет работать. Модуль с кодом на моём языке содержит дерево выражений. Пользователь открывает модуль и произвольно вычисляет одно или несколько из них, причём скорее всего только один раз. Если в модуле, к примеру, 1000 выражений, а пользователя интересует только одно, не нужно оптимизировать их все при загрузке модуля. Нужно оптимизировать только одно из них, причём сразу по требованию, потому что оно считается только один раз. Да и вообще пользователь не хочет ждать.
Интерпретатор обладает достаточной информацией ещё перед вычислением выражения о том, требует ли оно оптимизации. Но оптимизировать надо только те выражения, которые запросит пользователь, о чём интерпретатор заранее знать не может.

держи в курсе

Вопрос: какое бы вы ожидали поведение от такого вот кода let a = b; b = a + 1 in a + b при энергичном исполнении?

in a + b это как?

int a = 0
int b = 0
a = b // 0
b = a + 1 // 1
return a + b // 1

Это типо let ... in?

Ну, да.

fn (a = b, b = a + 1) ->  a + b

Дефолтные аргументы?

угу

👍 классный профессор, много всякого интересного пишет

На самом деле большинство техник (fast paths) там не ново и применялись в том же RapidJSON и до этого тоже, просто это все собрано в одном репозитарии

так у него все работы по сути основаны на других

ну и strtod никуда не делся как fallback

Безумно обманчивое 😞. Первое впечатление

let a = b in let b = a + 1 in a + b

Но второе -

let (a, b) = (b, a + 1) in a + b

И выбрать что-то одно чувствами/интуицией не могу. Крайне неудачная конструкция.

интерактивная система с динамической компиляцией?

Очередной вопрос к опытным участникам: а насколько реально проследить происхождение каждой инструкции в результате компиляции прямо до исходного текста? Имеется в виду, чтобы предоставить программисту комментарии в ассемблерном коде, что вот эти инструкции сгенерированы конкретно из такого-то выражения. Подразумевается, что ассемблер получен после нескольких проходов оптимизатора и планирования инструкций.

При этом, наверное, не важно, в каком формате эта информация собрана. Допустим, в некотором инструменте будет возможность подвести к инструкции курсор, и этот инструмент покажет связанный блок инструкций и выражение в исходном тексте, к которому они относятся.

Какая-то такая фантазия. Это возможно? И дополнительный вопрос: не знает ли кто-нибудь какую-нибудь внятную реализацию Source Maps? А то в ClojureScript трындец.