Abstract:
Ur/Web is a new domain-specific language for programming Web
applications, based on a new general-purpose language called Ur. Ur
features new abstraction and modularity features that make serious code
reuse and metaprogramming possible within a strong static type system.
The main innovations are components with strong encapsulation of state
like database tables, cookies, and subtrees of the DOM; and compile-time
type-directed programming, with strong static guarantees of good
behavior. In this talk, I'll introduce the key language features and
give some live demos of Web applications.
I would like to speak to Adam, please pencil you in here:
http://www.itu.dk/research/pls/wiki/index.php/Chlipala2010.
|
