Re: verification and linting of lua implementations

[Pierre Chapuis <catwell@...>]

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