[Ur] Forms that call rpc instead of redirect

Adam Chlipala adamc at csail.mit.edu
Sun Feb 11 19:16:09 EST 2018


Maybe just stop worrying about it, so that you might find that problems 
don't arise in practice? >:)

On 02/11/2018 07:13 PM, Aistis Raulinaitis wrote:
> Any pointers to get me started on the right path when it comes to a 
> more effective usage of source based forms?
>
> On Feb 11, 2018 16:09, "Adam Chlipala" <adamc at csail.mit.edu 
> <mailto:adamc at csail.mit.edu>> wrote:
>
>     I'm not sure what to suggest.  No, there is no existing feature
>     like what you suggest.  I have found it quite pleasant to work
>     with sources and widgets connected to them.
>
>     On 02/11/2018 05:03 PM, Aistis Raulinaitis wrote:
>>     The way that a form will pack all of its contents into a stuct is
>>     a clear advantage over the source based route. It requires
>>     defining possibly many sources and wiring them all into the right
>>     slots, having to call "get" on each one of them in the onclick
>>     handler and then wire all the gotten values into the handler.
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180211/4d987380/attachment.html>


More information about the Ur mailing list