RE: Lua research and static type checking

Hi Kevin

I hadnt come across your LoveStudio Tool previously, it looks very interesting so I was keen to download and try it out.
Unfortunately when I tried to run it after installation, it wont run for me, it just crashes immediately.

Do I need to install any other dependent packages ? For info I am running Win 7 64 bit.

Just wondering if any other Windows 7 64 bit folks have got this to install and work ?

Thanks

Geoff

> Date: Wed, 6 Feb 2013 18:36:24 -0600
> From: kclanc@gmail.com
> To: lua-l@lists.lua.org
> Subject: Re: Lua research and static type checking
>
> Hi Kornel,
>
> Have you seen my project, love studio?
> (https://bitbucket.org/kevinclancy/love-studio) Most of it was written
> in my free time while attending a university, so it's a bit shoddy; you
> could probably do much better. I should probably add it to the lua wiki
> so that I don't have to keep mentioning it whenever this topic gets
> brought up.
>
> Kevin
>
>
> On 2/5/2013 3:10 PM, Kornel Kisielewicz wrote:
> > Hello,
> >
> > My name is Kornel Kisielewicz, and I'm a CS PhD student at the Wroclaw
> > University in Poland. Lua has recently become my main research
> > interest. I am quite surprised at the lack of research materials about
> > Lua - while dynamic languages are usually unpopular for research,
> > Lua's extremely compact size and tight design makes it ideal for a
> > number of research topics.
> >
> > Hence, I have a couple questions related to the research side -- the
> > main one being - is there a formal specification (or an attempt of) of
> > the virtual machine and the language? If not, then would one be
> > considered valuable for the community?
> >
> > Secondly, my main spark of interest was the idea of a limited form of
> > typechecking, or rather an annotation mechanism for static type
> > checking during compilation. The idea would be to build a extended
> > compiler, that would be fully compatible with the existing one in
> > normal operation (ignoring any type information), but could also run
> > in static typechecking mode (which would generate compiler errors and
> > warnings where types would be deduced to conflict) and a dynamic
> > typechecking mode, where the type annotations would additionally
> > generate run-time type checking code (a application debug version). As
> > I understand such a tool would be invaluable in real-life Lua
> > applications.
> >
> > I saw a few projects that had a similar aim, but most of them were
> > usually a set of hacks. Were there any more serious attempts at that?
> > I did go through all things linked at
> > http://lua-users.org/wiki/LuaTypeChecking including the MetaLua
> > solution (which seems to be abandoned and compile time only).
> > In particular - did anyone attempt to introduce type annotation
> > on compiler level?
> >
> > Finally, I'm looking for as much sources on Lua in CS research as
> > possible -- unfortunately except the papers linked from the Lua site -
> > most papers are behind a paywall (which our university unfortunately
> > doesn't cover), and for any potential active research topics in it's
> > field. Any help on list or off list would be greatly appreciated!
> >
>
>