On 13 July 2011 15:28, Adam Chlipala <ad...@impredicative.com> wrote: > I write to mention briefly that I'm looking for people interested in writing > Ur/Web programs for pay. Ur/Web is a DSL for building modern web > applications, and I believe it is truly a secret weapon for that domain, and > one that should appeal to many Haskell fans. I have one customer now for > whom I'm leading a project to develop a particular web application, and I'd > like to have more. The current project would benefit from more programming > help, and I would also like to develop a network of people interested in > future projects. > > More information on Ur/Web can be found here: > http://www.impredicative.com/ur/
I would like to see a real application in Ur/Web. There are many simple examples. I don't and wouldn't want to develop like that, writing raw HTML and SQL seems going backwards despite the incredible advances in consistency and correctness that Ur/Web offers. I also find it hard to understand the type system in a non-superficial level because the related paper was very hard to grok. I tried to get it running a while ago and could not get it to compile. I would also like to see how it handles non-web stuff as inevitably IME web applications involve more than merely reading and writing to a database. I like the idea, please keep us posted about it. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe