[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: [REVIEW] Typed Lua (Was: Any plans regarding static typing in core Lua?
- From: Paul K <paul@...>
- Date: Mon, 07 Mar 2016 07:07:27 +0000
Hi Dirk,
> Typed Lua is an extension of Lua. That is to say, any Lua program
> is a valid Typed Lua program, but not vice versa.
I discussed [1] briefly couple of extensions I implemented for
TypedLua: (1) relaxed parsing [2] to make it more "forgiving" for
invalid syntax (as I was planning to use it for validating the code as
it's being typed) and (2) accepting TypedLua directives in comments,
so one could write:
--[[interface Shape
const new:(self, number, number) -> (self)
end]]
local Shape = require "shape"
--[[const]] function Shape:new(x --[[:number]], y --[[:number]])
print(self, x, y) return self end
local shape --[[:Shape]] = Shape:new(10, 10)
print(shape)
I've tested integration with ZeroBrane Studio [3], but haven't stayed
up-to-date with TypedLua changes.
Paul.
[1] http://lua-users.org/lists/lua-l/2015-07/msg00579.html
[2] https://github.com/pkulchenko/typedlua/commits/relaxed
[3] https://github.com/pkulchenko/ZeroBraneStudio/commits/static-analysis-typedlua