<br><div class="gmail_quote"><div class="gmail_quote"><div class="im"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote">
<div>I had to implement a ring buffer, and I wanted the code using it to be written in Haskell.  I ended up implementing the buffer in C, and wrapping it in FFI from Haskell because implementing a destructive array in Haskell is kind of unwieldy to someone of my experience level.  In Clean, it looks like the uniqueness typing allows for destructive updates in a very controlled manner.</div>

</div></blockquote></div><div><br>The ST monad provides this functionality. The never-instantiated-in-a-visible-way state parameter of the ST monad provides the &quot;uniqueness&quot; required for doing destructive updates in a pure way.<br>

</div></div>
</div><br>