lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

On Fri, 30 Sep 2011 02:20:34 -0400, David Manura wrote:

In fact, one thing I've wondered about: If you
were to design a programming language specialized only for creating
Lua-like VM's, what would it look like?

If the goal is correctness, would it not be a good idea
to choose something like Haskell or maybe even Coq?

Pierre Chapuis