OberonCore

Интересная статья, о некоторых извращениях, которыми занимаются быстрые движки скриптовых языков, в случае с V8 для JavaScript, чтобы добиться хорошей производительности.

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

https://habr.com/ru/post/283090/

Ох, там по ссылке ещё дичь ужасная... Оказывается, если после return всунуть eval, оптимизатор V8 не будет оптимизировать код функции
И эти люди запрещают нам ковыряться в носу, нет слов...

Я уже молчу, что страшно подумать, что делает какой-то фейковый конструктор в этом коде 8 раз

Победа или смерть, девиз капиталистического рантайма.

Дождёмся ли, что подвезут "некапиталистический" runtime? Каков-то девиз у него? )

As simple as possible but not simpler

Ни бог, ни царь и не герой, так-то.

Не...
Бабки - любой ценой.
ИМХО, так правильнее будет.

Скааааазочники... особенно про "...своею собственной рукой..." в хорошем смысле, не побоюсь, этого слова
"Последний и решительный..." какой уже по счёту?

Я, даже из чисто академического интересу, не хочу это читать.
Люди имеют системную, от рождения, фичу, присущую целому типу языков, которую НИКАК нельзя преодолеть, но - кипят, побулькивают мозгом и пишут статьи.
Сам подход "скриптования" подразумевал динамическое создание, из фиксированного набора "публикуемых" свойств неких элементов/библиотек, возможности управления этим фиксированным набором. Это позволяло гибко и с малыми затратами начинать использовать библиотеку (систему) некими, "заранее не предусмотренными", способами.
Полноправными "языками программирования" стать ЭТО не планировалось.
Но, нужно было только время, что бы нашлись некие гении, которые возомнили, что элементы формальной системы, с динамически определяемыми, во время работы программы, координаторами-идентификаторами ресурсов, можно попытаться приблизить к языкам, где такие координаторы ресурсов вычисляются во время компиляции. (Реализации поддержки виртуальных методов - из той же оперы (фиксированы адреса методов и места расположения "переадресации" к этим методам), хотя это и называют "динамическим связыванием").

То есть, опять, вместо того, что бы учить людей ПРАВИЛЬНО проектировать, начали учить извращениям и скверне, соблазняя "непереносимой лёгкостию бытия" (чаще всего - веб-) программирования...

Да - горят они огнём. Они - Сатане отдались!

Нужно Оберону ломануться в нишу WebAssembly! Кто-то слышал о создании подобного компилятора Оберона?

Я начинал делать, но решл, что пока смысла нет.

Код на Обероне в S-выражение?

Но почему?

Адам Смит творил живя в королевстве (!) через 200 лет после революции в Голландии, ещё кто тут сказочник... Хотя зачем вам это объяснять, всё равно вы не поймёте, даже приблизительно.

Нужно придумывать механизмы управления памятью, передачи непримитивных параметров и т.д. А они сейчас как раз над этим работают. Пока я сделаю, появится новый стандарт.

Я использовал binaryen, она бинарный wasm генерит.

что-то пока вот это нашёл https://kripken.github.io/talks/binaryen.html#/
А ещё какие-то ссылки есть?

Зачем сразу бинарный формат? Не проще-ли разобраться в текстовом, а бинарный просто из него получается нехитрым преобразованием https://developer.mozilla.org/ru/docs/W ... ext_format

Кажется, не проще. К тому же s-выражения уже устарели. Текущий текстовый формат больше похож на традиционный ассемблер.

https://github.com/WebAssembly/binaryen
Только это