First, I apologize in advance if this post is deemed off-topic. It's
about Ur/Web, a statically typed, pure functional programming languages
that is much influenced by Haskell. For instance, Ur/Web includes
monadic IO and type classes.
I write to mention briefly that I'm looking for people
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
It'd also be interesting to know what you missed in Haskell web development
so that you needed to build a new language inspired from it.
2011/7/13 Christopher Done chrisd...@googlemail.com
On 13 July 2011 15:28, Adam Chlipala ad...@impredicative.com wrote:
I write to mention briefly that I'm
I also think it would be really good to have some documentation that explains
the type system and how to do neat things with it in terms that a reasonably
competent haskell / ML programmer could understand.
I played around with Ur/Web about a year ago and was able to make a simple
Christopher Done chrisd...@googlemail.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
Christopher Done wrote:
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'll only claim it's a fairly breezy read for people familiar with
dependent type theory, which admittedly is not a huge crowd, even as a
