<div dir="ltr"><div>Hi Adam/Ziv, thanks for the information.</div><div><br></div><div><i>"The short answer is to use the FFI to do the relevant computation in another language. C is the easiest choice to get working, but Edward Yang's Logitext sets up Haskell for this. You're then free to give the function a non-transaction type."</i></div><div><br></div><div>Is there an example (in C) of this on the webpage or github (I could only find documentation but no specific example). </div><div><br></div><div>For example suppose I have an array of ints in ur. I pass this to a c function </div><div><br></div><div>int addArray(int* p, int sizeOfArray)</div><div><br></div><div>and then get the sum of the elements of the array back in ur/web. And then I wrap the operation as a pure function (i.e. non-transaction type).</div><div><br></div><div>Thanks</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 29, 2015 at 5:48 PM, Ziv Scully <span dir="ltr"><<a href="mailto:ziv@mit.edu" target="_blank">ziv@mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>The short answer is to use the FFI to do the relevant computation in another language. C is the easiest choice to get working, but Edward Yang's Logitext sets up Haskell for this. You're then free to give the function a non-transaction type.</div><div><br></div><div>It might be possible to write the ST monad using the FFI. One can implement types and functions for references, arrays, etc. in C, use .urp declarations mark all these functions as effectful, and wrap these types and functions in a module that enforces the typical ST types, which is straightforward with Ur/Web's rank-N types. That said, the lack of garbage collection could make this complicated. I'm not sure how safe it is to store Ur/Web structures in references (the structure might get freed) or how to free any allocated ST structures. The first problem has an easy half-solution: if there are some types that are safely usable in ST references, use a closed type class to enumerate them. (See the interface for Basis.sql_injectable for a similar example.)</div><div class="HOEnZb"><div class="h5"><div><br></div><br>On Tuesday, December 29, 2015, Adam Chlipala <<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I wonder if this source file would be of interest, from Sergey Mironov's urweb-monad-pack library.<br>
    <a href="https://github.com/grwlf/urweb-monad-pack/blob/master/state.ur" target="_blank">https://github.com/grwlf/urweb-monad-pack/blob/master/state.ur</a><br>
<br>
I'm not familiar enough with Haskell myself to know whether it's a perfect match.<br>
<br>
On 12/23/2015 11:16 AM, Artella Coding wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi, is there something like a haskell runST monad (<a href="https://wiki.haskell.org/Monad/ST" target="_blank">https://wiki.haskell.org/Monad/ST</a>) in ur/web, so that I can perform mutations within a pure function?<br>
<br>
For example I might want to have my pure function make a copy of a large array, and then perform the relevant mutations on this copy, before returning this copy. The function is pure in that it does not modify the input nor does it require data from the "outside world", and yet relies on mutations of the internal copy (which it employs for the sake of efficiency).<br>
</blockquote>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a>Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote>
</div></div><br>_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div><br></div>