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

Reply via email to