<div dir="ltr">It would be nice for some of our applications if we could get<div>vectors, arrays, and strings incorporated into the collection of</div><div>cakeML builtin types. Just arrays would be a most excellent start.</div>
<div>In talking with Ramana, Scott, and Michael at POPL, it seemed </div><div>that pushing new primitive types into the system would be fairly</div><div>easy, at least for the frontend of the compiler, but that difficulties</div>
<div>would come in the runtime system.</div><div><br></div><div>  Anyway, I realize that the cakeML folk are writing furiously for</div><div>ITP. But after the dust clears from that, I would like to lobby for </div><div>arrays.</div>
<div><br></div><div>Thanks,</div><div>Konrad.</div><div><br></div></div>