<div dir="ltr"><div><div><div><div><div>Hi CakeML developers,<br><br></div>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:<br><br><a href="https://github.com/CakeML/cakeml/issues/100">https://github.com/CakeML/cakeml/issues/100</a><br></div><div>(making the representation more compact)<br><br></div><div><a href="https://github.com/CakeML/cakeml/issues/49">https://github.com/CakeML/cakeml/issues/49</a><br></div><div>(changing the primitives from explode/implode to length and sub)<br></div><div><br></div>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.<br><br></div>Is closing #49 going to interact badly with any other ongoing development?<br><br></div>Cheers,<br></div>Ramana<br></div>