[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: "Little languages" and type-checking
- From: "paulmatthews" <paulmatthews@<a href="/cgi-bin/echo.cgi?yahoo.com">...</a>>
- Date: Thu, 07 Feb 2002 06:04:34 -0000
> > It's interesting that are no languages that are both
> > lightweight and strongly typed. (At least none that
> > I know of) Could this be more than coincidence?
I suspect a language can be both lightweight and strongly typed. The
stong type checking can occur entirly at compile to byte-code time,
while the byte-code interpreter can just assume that everything is
Maybe lua could be broken into two, (1) the bytecode interpreter and
the (2) the compiler to byte-code. This would allow for different
front end languages, for example a pure functional front end.