[Ur] New website?

ml at extensibl.com ml at extensibl.com
Tue Jul 28 22:16:11 EDT 2015


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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



More information about the Ur mailing list