If this sort of thing interests you, you might want to look at https://github.com/teal-language/tl https://github.com/teal-language/tl It implements types on

If this sort of thing interests you, you might want to look at https://github.com/teal-language/tl https://github.com/teal-language/tl It implements types on top of Lua. In a single (middle-sized) Lua file. And it is open source.