Christopher Done wrote:
On 19 July 2011 17:22, Adam Chlipalaad...@impredicative.com wrote:
http://www.impredicative.com/ur/demo/crud1.html
[...] This is not done by type-checking individual
invocations of the admin-interface component. Rather, the component is
checked at a static
Last week, I posted a message to this list looking for people interested
in joining projects using my domain-specific language Ur/Web. Some
responses rightly chastised me for the lack of documentation on the core
Ur language's novel type system features. I'm sure many Haskellers have
had the
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
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