Zach Tatlock wrote:
There is also the Links system:
http://groups.inf.ed.ac.uk/links/
which I haven't looked into, but seems similar to Ur/Web in that it
also addresses several of my above concerns. How does it compare to
Ur/Web? Less fancy types?
Fundamental differences, in my mind, have to do with:
1) Less expressive type system in Links, so that sophisticated,
statically-typed metaprogramming is impossible. (This is connected to a
requirement of building more features into the language, rather than
exposing them to the programmer via a richly-typed standard library.)
2) Less seriousness about capability-based security. For instance,
any library used in a Links application may access any database table,
cookie, or DOM element whose string name it can supply/guess (which is
not at all true in Ur/Web).
I've also heard that Links has not yet had the extra effort put into it
to make it a truly practical tool, and that the present and likely
future state of the Links development team is not such that we should
expect further pushes in that direction.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
