I whole heartedly agree with [email protected] Improving error messages in the compiler and producing learning resources would help users much more.
On Wed, Jul 29, 2015 at 2:16 AM, <[email protected]> wrote: > The current website is awesome - simple, functional and just works > on most (all?) devices - there is no good reason to replace it with anything. > > My opinion is that time and efforts should be spent on the actual language, > framework and tools, > rather than distractions like this. > > > > On Tue, Jul 28, 2015 at 01:32:18PM -0400, Adam Chlipala wrote: >> Thanks to everyone for their thoughts on the project web site. Here's my >> summary of the 5-ish opinions expressed: >> - It's not clear that the large background graphic from Torstein's design is >> the way to go. Somehow it may be out of keeping with the "character" of the >> Ur/Web project. >> - Adding a live-coding demo section seems like a no-brainer. I started a >> separate discussion thread looking for someone to spearhead an >> implementation. >> - Moving to Git & GitHub also seems like a no-brainer. One concern about >> GitHub was expressed, regarding censorship. I personally am not too worried >> there, as it's easy to maintain "mirrors" of a Git repository all over the >> place, to be ready in case one main provider goes over to the dark side. >> The pros seem to outweigh the cons, considering how many potential >> contributors already have GitHub accounts and are used to using GitHub. >> - It may still be worth tweaking the graphical design of the Ur project >> site, but I'm not seeing a clear consensus right now on exactly how that >> should look. (I really don't mind the current site. :P) >> >> Another very useful thing would be a tutorial that doesn't assume ML and >> Haskell familiarity, ideally written by someone beside me, since Ur/Web's >> design has been in some sense optimized for my brain. :) Any takers there? >> >> On 07/27/2015 08:30 PM, Stefan Scott Alexander wrote: >> >Also, "eating your own dog food" would probably be a plus. It only makes >> >sense that a website for a web programming language should be programmed >> >in the language itself. >> >> I'm not sure about this one. Ur/Web is for web _apps_, not web _sites_, so >> it may be a mismatch for a largely static 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 _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
