[CakeML] cakeML wish list

[Ramana Kumar]

Hi Konrad, Freek,

Do you know which operations you really need supported on arrays and
strings? I imagine initially for arrays we might just do array, sub,
length, and update.

For strings, are characters also required as a primitive type? String
comparisons? Should they be Unicode strings? I imagine an initial
version might implement strings as int arrays (or int vectors) and
support literals, size, maybe concat.

We're still thinking about the implementation, but I started a new
branch called "strings" on which the parser handles string literals.
Probably it makes more sense to do arrays first, though.

Cheers,
Ramana

On Tue, Jan 28, 2014 at 9:26 AM, Freek Wiedijk <freek at cs.ru.nl> wrote:
> Konrad:
>
>>Anyway, I realize that the cakeML folk are writing furiously for
>>ITP. But after the dust clears from that, I would like to lobby for
>>arrays.
>
> Me, I really would like strings.
>
> And if someone wants me to proofread an ITP paper, I wouldn't
> say no :-)
>
> Freek
>
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users