<div dir="ltr">For arrays: a minimal subset of what the ML standard says.<div>Thus array, sub,update, and length are a decent starting set of</div><div>operations. Being able to create and initialize an array in a single</div>
<div>step is nice, which might mean supporting array literals.</div><div><br></div><div>Then vectors are essentially arrays with just initialization but no update. </div><div>Strings are just an instance of vectors, but vectors of what is the question. </div>
<div>I don't mind having strings as byte or int vectors, with, as you say, support</div><div>for literals and concatenation.</div><div><br></div><div>Konrad.</div><div><br></div><div><br></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, Feb 2, 2014 at 9:24 AM, Ramana Kumar <span dir="ltr"><<a href="mailto:Ramana.Kumar@cl.cam.ac.uk" target="_blank">Ramana.Kumar@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Konrad, Freek,<br>
<br>
Do you know which operations you really need supported on arrays and<br>
strings? I imagine initially for arrays we might just do array, sub,<br>
length, and update.<br>
<br>
For strings, are characters also required as a primitive type? String<br>
comparisons? Should they be Unicode strings? I imagine an initial<br>
version might implement strings as int arrays (or int vectors) and<br>
support literals, size, maybe concat.<br>
<br>
We're still thinking about the implementation, but I started a new<br>
branch called "strings" on which the parser handles string literals.<br>
Probably it makes more sense to do arrays first, though.<br>
<br>
Cheers,<br>
Ramana<br>
<div><div class="h5"><br>
On Tue, Jan 28, 2014 at 9:26 AM, Freek Wiedijk <<a href="mailto:freek@cs.ru.nl">freek@cs.ru.nl</a>> wrote:<br>
> Konrad:<br>
><br>
>>Anyway, I realize that the cakeML folk are writing furiously for<br>
>>ITP. But after the dust clears from that, I would like to lobby for<br>
>>arrays.<br>
><br>
> Me, I really would like strings.<br>
><br>
> And if someone wants me to proofread an ITP paper, I wouldn't<br>
> say no :-)<br>
><br>
> Freek<br>
><br>
</div></div>> _______________________________________________<br>
> Users mailing list<br>
> <a href="mailto:Users@cakeml.org">Users@cakeml.org</a><br>
> <a href="https://lists.cakeml.org/listinfo/users" target="_blank">https://lists.cakeml.org/listinfo/users</a><br>
</blockquote></div><br></div>