[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: Lua Syntax as a Wire Format?
- From: Reuben Thomas <rrt@...>
- Date: Mon, 25 Mar 2002 14:51:24 +0000 (GMT)
> (Or else, you should solve your security problems in another level (for
> instance with encoded messages), not by checking code.)
Proving that the code is safe is best, and that is easier done with Scheme
too: for example, you can have harsh (but simple) requirements such as
"the code must not contain any looping constructs" or even "the code must
not contain any control constructs". Such requirements are easy to check
statically thanks to the simple and uniform structure of Scheme code.
--
http://www.mupsych.org/rrt/
C++, n. an octopus made by nailing extra legs onto a dog (Anon)