[CakeML-Dev] string library

[Ramana Kumar]

Hi CakeML developers,

I just wanted to check in on thoughts about strings in CakeML, since Connor
might be looking at implementing basis library operations on them soon. I
believe the following issues are relevant:

https://github.com/CakeML/cakeml/issues/100
(making the representation more compact)

https://github.com/CakeML/cakeml/issues/49
(changing the primitives from explode/implode to length and sub)

My thoughts for the library are that we should assume length and sub
primitives, and implement the rest using them, but leave changing the
representation of strings / using efficient monomorphic vectors to later.
So, Connor could assume length and sub, while I work on closing #49 in the
meantime to justify that assumption.

Is closing #49 going to interact badly with any other ongoing development?

Cheers,
Ramana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161127/745ce80b/attachment.html>