On Wed, 10 Oct 2007 01:16:31 +1000, skaller wrote

> No you don't, that's the point. There is no fast way to append using
> string. You can use Buffer, but then you can't do (for example)
> search. You can convert back and forth, and then you
> pay an extra conversion cost.

So use buffer.ml with a slightly modified interface to create a rawBuffer 
module that gives you direct access to the normally hidden string (and the 
position of the end of the buffer).  Presto, Bufferlike operations with a 
string you can directly touch, search, blit, whatever.

No, it's not the default way the stdlib works, and again, it may not be the 
first thing someone thinks of when they facce this problem.  But the 
language makes this option available with a minimum of work.  Is it ideal?  
No.  Is is awful?  Again, no.  
--

William D. Neumann