[Ur] Reading files uploaded by a user

[Simon Van Casteren]

Using textboxes is indeed a good idea. I think with some help text, it
should be no problem for my users to understand how to use this.

That CSV.parse function is really good for inspiration. I'll probably
change it a bit so I can provide parsing and validation functions per field
so I can give a bit more feedback to users when parsing fails, but it's so
nice to have something to start with. I need to look some more into the UPO
repo, it's some very nice code.

I'll definitely be writing up some stuff about my experience with Ur/Web
once the development calms down and my first clients run stable, but that
might take a while. My whole application is in Dutch at the moment, but I'm
definitely planning to translate it to English as well. It will all come,
but will take some more time :).

Simon

Op za 11 aug. 2018 om 22:54 schreef Adam Chlipala <adamc at csail.mit.edu>:

> On 08/11/2018 04:34 PM, Simon Van Casteren wrote:
>
> I want to provide import functionality of this data and I feel CSV files
> are probably the best way to go with this. Microsoft Excel exports these,
> database programs can export these they're human-readable, etc.
>
> I know Ur/Web supports file upload with the file and blob types, but I
> don't know where to go from there.
>
>
> I just use textboxes for CSV upload, in a few different production
> deployments based on UPO <http://upo.csail.mit.edu/>.  I have to admit,
> it isn't obvious that there shouldn't be a [blob -> string] function in the
> standard library, so I'd be open to adding that, too, if it sounds like the
> demand is there.
>
> BTW: Thanks for Ur/Web, it's been a godsend for me.
>
>
> Glad to hear you're getting some mileage out of it!  I'm sure the crowd
> here will be interested to hear more details of your applications, when
> they're far enough along (and I like to add links from the Ur project site).
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180812/e635a2e0/attachment.html>