Как объявить переменные с типом в Lua

Question

Можно ли создавать переменные для определенного типа в Lua?

E.g. int x = 4

Если это не возможно, есть по крайней мере, какой-то способ, чтобы иметь поддельный «тип», показанный перед переменным, так что каждый, кто читает код будет знать, какой тип переменной должен быть?

E.g. function addInt(int x=4, int y=5), но x/y все равно может быть любой переменной? Мне гораздо легче набрать тип переменной перед ним, а не помещать комментарий выше функции, чтобы любые читатели знали, какой тип переменной она должна быть.

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

Answer 1

Единственный способ, которым я могу думать, чтобы сделать это, было бы путем создания пользовательского типа в C.

Lua Integer type

Answer 2

Вы можете сделать это с помощью комментариев:

local x = 4 -- int 

function addInt(x --[[int]], 
       y --[[int]]) 

---

Синтаксис a = int(5) можно использовать в других комментариях, используя следующее:

function int(a) return a end 
function string(a) return a end 
function dictionary(a) return a end 

a = int(5) 
b = string "hello, world!" 
c = dictionary({foo = "hey"}) 

Тем не менее, это не дает никаких преимуществ по сравнению с комментарием.

Answer 3

Нет. Но я понимаю, что ваша цель - улучшить понимание при чтении и записи вызовов функций.

Утверждение ожидаемого типа данных параметров добавляет лишь немного с точки зрения предоставления спецификации функции. Кроме того, некоторые параметры функции являются полиморфными, принимают определенное значение или функцию или таблицу, из которых можно получить значение для контекста, в котором функционирует функция. См., Например, string.gsub.

При чтении вызова функции единственное, что известно на сайте вызова, - это имя переменной или поля, значение которого вызывается как функция (иногда считывается как «имя» функции), а выражения как фактические параметры. Иногда полезно преобразовать выражения параметров в именованные локальные переменные, чтобы добавить к читаемости.

При записи вызова функции имя функции является ключом. Имена формальных параметров также полезны. Но все же имена (например, типы) не содержат большей части спецификации. Наибольшая помощь приходит из встроенной структурированной документации, используемой в сочетании с IDE, которая описывает контекст имени и выполняет контентную поддержку и презентации доступной документации.

luadoc является одной из таких систем документации. Вы можете написать luadoc для функции, которую вы заявляете.

Eclipse Koneki LDT является одной из таких IDE. Из-за динамического характера Lua это сложная проблема, поэтому LDT не всегда так полезен, как хотелось бы. (Чтобы быть ясным, LDT не использует luadoc, он разработал собственную встроенную систему документации.)