ВГ
Size: a a a
2021 July 26
ВГ
Статическая?
ВГ
Там в IR она как раз есть)
S
С реализацией типизации кстати в любом случае есть проблемы, под названием "грёбаный компилятор". Иначе будет падать только и исключительно на проверках (которые жрут цпу) при исполнении.
ВГ
type(var) чёт отдавать умеет)
ВГ
ctype вот есть ещё)
S
Ну Леон предлагает аналог "проверки аргументов", мол
function foo(table bar, number n, somevar) end
чтобы при попытке вызова без таблицы и числа первыми аргументами оно бы заорало: "не те аргументы!!1"S
Это проблема абсолютно любой динамики, всё надо проверять, не отдавать лишнего и т.д. Динамические языки требуют самодисциплины.
S
local function ctype(v, t)
assert(type(v) == t)
end
function foo(bar, n, somevar)
ctype(bar, "table")
ctype(n, "number")
...
endВГ
Ну можно врапать функции или через debug.getinfo извлекать аргументы. А их уже можно проверять. То есть чуть подколхозить придётся, но если это сильно бустанёт стабильность решения - чего бы нет
S
Да :)