typedlua
typedlua copied to clipboard
andremm
An Optional Type System for Lua
**How can i solve it?** Im trying to add the high-phone [ c-scripting-core] Creating script environments for high_phone [ script:high_phone] Error loading script utils/shared.lua in resource high_phone: @high_phone/utils/shared.lua:64: wrong number...
Is this really equivalent to a statically typed language like Java? I thought adding such checks will not make a dynamically typed language a static one, or?
``` lua: /usr/share/lua/5.3/typedlua/tlchecker.lua:2009: wrong number of arguments to 'insert' stack traceback: [C]: in function 'table.insert' /usr/share/lua/5.3/typedlua/tlchecker.lua:2009: in function 'typedlua.tlchecker.error_msgs' /usr/bin/tlc:140: in main chunk [C]: in ? ``` https://github.com/andremm/typedlua/blob/002f983936cfb08cbebe52ff0330e2d68b9ece9b/typedlua/tlchecker.lua#L2009
You can have interfaces that include each other: ``` interface foo bar: bar end interface bar foo: foo end ``` However if I want to split that into two files...
As type names inhabit a global namespace, I would like to use some sort of namespacing. To follow lua module name convention, I'd like to use `.` as a separator....
This allows code reuse when navigating the AST, and it allows new modules that handle a few node types to be much smaller and simpler (I'm working on a new...
What does TypeScript bring to JavaScript's table that Typed Lua doesn't to Lua's? - Tuple types, which are array-like tables with individually-typed members. Do we need them in Lua? We...
A string like ```lua local x = "hello\0\1\2world\n\10" ``` turns into ```lua local x = "hello\\0\\1\\2world\n\\10" ```
This code: ``` lua local function foo(s : string) end local str = "Hello World" for a : string, b : string in string.gmatch(str,"(%w)(%w)") do foo(a); foo(b); end ``` Gives...
I would find it useful if typedlua allowed defaults for arguments; this often is useful for being able to specify a more restrictive type, e.g. "string" instead of "string?" ```...
