[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: roy inspired statically typed, functional language for lua?
- From: steve donovan <steve.j.donovan@...>
- Date: Tue, 10 Jul 2012 09:00:13 +0200
On Tue, Jul 10, 2012 at 8:05 AM, Paul K <firstname.lastname@example.org> wrote:
> In terms of the actual implementation, it may be interesting to look
> at how to implement this as an optional component using static type
> inference and hints (possibly in comments to preserve compatibility).
There's always Roy with Lua as the compilation target ...
I agree with Paul, it would be very interesting to see a dialect of
Lua which can be statically verified. There will need to be
annotations, of course.
Some inspiration can come from the other great language from Brazil, Boo :
def sqr(x as double):
Return type can be safely inferred, but arguments need type
annotations. To make this generic, you need to be able to specify the
property 'behaves like a number' (either 'number' or implements the
necessary metatmethods). Finding a sufficiently rich type notation to
capture Lua semantics would be the intellectually interesting part of
 an entertaining semi-Python that statically compiles to .NET/Mono assemblies