<div dir="ltr"><div>I know we have an AST, my question should have been phrased "would the Erlang AST itself be appropriate?".<br></div>Would it be appropriate in the scenario, where peer servers ship fun invocations around, without the need for security checks and constraints?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Sep 7, 2016 at 3:08 AM, Richard A. O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz" target="_blank">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
<br>
On 6/09/16 5:23 PM, Alex Arnon wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Would an Erlang AST do it?<br>
</blockquote>
<br></span>
You missed the point.<br>
We *have* an Erlang AST.<br>
That can, of necessity, express ANYTHING that Erlang can.<br>
The great benefit of a mini-language is that it CAN'T.<br>
In general, such a mini-language<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
    is a *scrutible* data structure in which general<span class=""><br>
    Bad Things simply aren't expressible<br>
</span></blockquote>
<br>
Accepting code from a remote source is always a risk,<br>
UNLESS it is tightly constrained so that you KNOW even<br>
before you look that it can't be so very bad.<br>
For example, if you want to write some sort of<br>
distributed game, and have players send "scripts" for<br>
their pieces to a game server, you want to KNOW that<br>
the scripts execute in bounded time and can only do<br>
game-related stuff.<br>
<br>
</blockquote></div><br></div>