<div>BTW is there a way to run MLton in a &quot;check the syntax and type mode only&quot;.</div>
<div>That would be a nice feature if you're just checking conformance with the SML spec.</div>
<div>&nbsp;</div>
<div>Also, I would hope the SML community at large steps up to support this effort. If the preliminary spec is published via CVS/Subversion. I think it would be good for all the SML implementations to try to add that spec to their regressions. This would proivde the widest possible level of conformance, and a strong gurantee that the spec runs on every/many SML implemntation.
</div>
<div>&nbsp;</div>
<div>For that reason the idea of using Threads rather than call-cc might encourage more SML implementors to add the spec to their regressions.</div>
<div>&nbsp;</div>
<div>As for the style of the semantics. In an ideal world there would be a high-level &quot;natural&quot; big-step semantics. This big-step semanitcs is best for your &quot;casual&quot; progammer to undersand the spec. A very detaled &quot;small-steps&quot; semantics would be useful and avoid the need for adding things like threads/call-cc. 
</div>
<div>&nbsp;</div>
<div>Such a small-steps semantics maybe out of the charter of the current standard, but there is nothing preventing some energetic folks&nbsp;to maintain a small-step semantics in parallel with the &quot;offical&quot; spec. If the small-step semantics is more unambigous, one might consider that the &quot;offical&quot; spec and the big-step semantics the advisor commentary about it,&nbsp;or vice versa.&nbsp;But that decsion can be sorted out at the end of the day.
</div>
<div>&nbsp;</div>
<div>The other great thing about using any programming langauge as a spec. rather than a paper spec, is that we have great tools and models for collaborating via programming languages. So, I hope everyone views this as a great opporutinty to collaborate by investing resources and expertise when they can.
</div>
<div>&nbsp;</div>
<div>&nbsp;</div>
<div><br><br>&nbsp;</div>
<div><span class="gmail_quote">On 10/24/06, <b class="gmail_sendername">Dave Herman</b> &lt;<a href="mailto:dherman@ccs.neu.edu">dherman@ccs.neu.edu</a>&gt; wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">&gt; One can implement this signature using continuations, but it is also<br>&gt; easily implementable using 
MLton.Thread.&nbsp;&nbsp;The point being that you can<br>&gt; give a simple semantics to the meta-language extended with structure<br>&gt; Thread: THREAD, and then implement structure Thread using whatever<br>&gt; lower-level mechanism the particular SML implementation provides.&nbsp;&nbsp;And
<br>&gt; readers of the ES4 spec don't have to understand the low-level stuff.<br><br>It's an interesting idea, that we could pretend to be building on top of<br>a native cooperative-threading semantics, which is actually implemented
<br>in terms of callcc. (I think it's what you were trying to say in your<br>first email but I didn't pick up on it.) So casual readers have one<br>level of abstraction they can use to think about it, and semanticists<br>
can see the lower level definition.<br><br>OTOH, I'm not sure the extra level of abstraction is necessary.<br><br>&gt;&gt; Certainly a pre-emptive threading system would make the sequentiality<br>&gt;&gt; manifest.<br>&gt;
<br>&gt; I'm not sure what your point is here.<br><br>Just basically the same thing you said: using a concurrent meta-language<br>complicates the underlying semantics.<br><br>&gt; Going with SML/NJ is a fine choice.&nbsp;&nbsp;It's often what I use.&nbsp;&nbsp;I am
<br>&gt; simply saying that you should also compile with another compiler<br>&gt; regularly, and from the start.&nbsp;&nbsp;It's not that hard.&nbsp;&nbsp;And if you don't,<br>&gt; you will shoot yourself in the foot, and not find out until much
<br>&gt; later, after you have lost a lot of blood.<br><br>Good advice, thanks. I'll give MLton a try.<br><br>Thanks,<br>Dave<br>_______________________________________________<br>Es4-discuss mailing list<br><a href="mailto:Es4-discuss@mozilla.org">
Es4-discuss@mozilla.org</a><br><a href="https://mail.mozilla.org/listinfo/es4-discuss">https://mail.mozilla.org/listinfo/es4-discuss</a><br></blockquote></div><br>