Исходное сообщение
"Открыт код Luau, варианта языка Lua с проверкой типов" Отправлено n00by, 05-Ноя-21 07:08
Как реализовать, например, сложение? Сначала проверить тип переменной, потом исполнить соответствующую типу операцию. Либо реализовать динамический полиморфизм, использовать указатель на функцию, но лишний уровень косвенности не бесплатен. А если слагаемые разных типов? Какой-то придётся конвертировать, опять же, проверив. Это размышления общего плана. Как в LUA, надо смотреть реализацию виртмашины. Возможно, они исходили из того, что регистры для плавающей арифметики - дополнительны к основным.