Re: "Little languages" and type-checking

["paulmatthews" <paulmatthews@...>]

> > 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 
correct....

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.