Gergely Buday wrote:
in monadic code we store values in source t typed variables, they act
like references in Standard ML.

How can I simply show their values in a return xml fragment? The {[
var ]} syntax is for ordinary, i.e. not source t variables.
One solution I have found is to include

<dyn signal={ns<- signal n; return<xml><br/>{[ns]}</xml>}/>

Is this the canonical solution?

That's the canonical code to implement the effect under the hood, though I wouldn't include <br/> there. It's easy to write a polymorphic function encapsulating this functionality.

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to