языки, которые можно потом компилировать в javascript?
Потому что писать транспиляторы сразу в js как-то сложно. Может быть есть какой-то удобный таргет?
По-моему наоборот: чем примитивнее язык, тем больше работы надо сделать чтобы в него транспилировать, а при трансляции в js можно использовать уже готовые хайлевел фичи. Например в жс уже есть контрол флоу конструкции if while break, а в llvm их надо реализовать самому через goto
Если семантика ложится на JS
А какая НЕ ложится? Кроме очевидного, там, арифметика указателей, GC и прочий low level?
Именно её и имел в виду
Я не говорю про язык без control flow, я говорю про язык, где не надо будет учитывать все хитрости рантайма JS (которых очень много)
Тогда врядли бы поднимался вопрос о компиляции в JS вообще. 🤷♀️
Так если они Вам не нужны/не критичны/не интересны — не нужно их учитывать. Компилируйте в простенькое подмножество JS, которое покрывает всё, что Вам нужно.
Легче сказать чем сделать. Всякие вещи типа целочисленных типов и биндов к браузерному апи так просто не сделать
Я вообще не представляю, как можно сделать биндинги к браузерному API иначе, чем интринзики + JS shim. 🤷♀️
Ленивость можно реализовать через оборачивание каждого значения в Lazy<T>, который в жс (и других таргетах) легко реализуется. Правда в жс такая обёртка будет добавлять вторую индирекцию, в то время как при компиляции в лоулевел язык вроде си или в натив — как это делает хаскель — индерекция всего одна
мемоизацию эффективную ты тоже в Lazy<T> сделаешь?
а где ещё её надо делать то?
в ленивом языке
Обсуждают сегодня