Re: verification and linting of lua implementations
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: verification and linting of lua implementations
- From: Pierre Chapuis <catwell@...>
- Date: 2011年9月30日 10:17:57 +0200
On 2011年9月30日 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