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 <[email protected]>: > 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
