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
propo
Christopher Done 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 Haskel
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
application,
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
> On 13 July 2011 15:28, Adam Chlipala wrote:
> > I write to mention briefly that I'm looking for people interested in
> writing
>
On 13 July 2011 15:28, Adam Chlipala 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
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 i
