Микрокомпилятор WebAssembly транслирует арифметические выражения в обратной польской нотации в исполняемый Wasm-модуль. Выражение интерпретируется, преобразуясь в байт-код, который затем включается в структуру WebAssembly. Для достижения минимального размера кода применяются различные техники: использование разреженных массивов для нулевых значений, присваивание внутри выражений, повторное использование переменных, трюки с tagged template literals и
В основе преобразования лежит функция, принимающая строку с выражением и формирующая байтовый массив для модуля Wasm. Числа в выражении, распознаваемые как целые, преобразуются в соответствующие байт-коды WebAssembly, а операторы (+, -,, /) также получают свои байт-коды. Для компактности кода, длина тела функции и всего раздела кода вычисляются неявно. Изначально компилятор обрабатывал лишь положительные целые до 63, используя 7-битное кодирование LEB128.
С целью улучшения читаемости кода, все эти трюки были последовательно отменены. Были введены понятные имена переменных, добавлены явные проверки типов, а также создан объект для сопоставления операторов с байт-кодом. Использование неявных преобразований типов и строковых методов заменено более явными конструкциями. Отказ от использования разреженных массивов и пустых имен экспорта, заменив их на явные нули и имя экспорта 'a', также улучшает читаемость и понимание кода.
Финальная версия компилятора представляет собой более ясное представление оригинальной идеи, где каждый этап преобразования становится понятным. Несмотря на ограничения, компилятор выполняет поставленную задачу, демонстрируя принципы WebAssembly в компактной форме, и предоставляет основу для дальнейших усовершенствований. Разбор структуры байтового массива показывает как генерируется валидный модуль WebAssembly, и демонстрирует минимальный подход к его созданию.
indexOf, а также тернарные операторы. Изображение носит иллюстративный характер
В основе преобразования лежит функция, принимающая строку с выражением и формирующая байтовый массив для модуля Wasm. Числа в выражении, распознаваемые как целые, преобразуются в соответствующие байт-коды WebAssembly, а операторы (+, -,, /) также получают свои байт-коды. Для компактности кода, длина тела функции и всего раздела кода вычисляются неявно. Изначально компилятор обрабатывал лишь положительные целые до 63, используя 7-битное кодирование LEB128.
С целью улучшения читаемости кода, все эти трюки были последовательно отменены. Были введены понятные имена переменных, добавлены явные проверки типов, а также создан объект для сопоставления операторов с байт-кодом. Использование неявных преобразований типов и строковых методов заменено более явными конструкциями. Отказ от использования разреженных массивов и пустых имен экспорта, заменив их на явные нули и имя экспорта 'a', также улучшает читаемость и понимание кода.
Финальная версия компилятора представляет собой более ясное представление оригинальной идеи, где каждый этап преобразования становится понятным. Несмотря на ограничения, компилятор выполняет поставленную задачу, демонстрируя принципы WebAssembly в компактной форме, и предоставляет основу для дальнейших усовершенствований. Разбор структуры байтового массива показывает как генерируется валидный модуль WebAssembly, и демонстрирует минимальный подход к его созданию.
