With a new programming language, called Ur/Web, write Web applications as self-contained programs.

Ur/Web, is not like the familiar Web frameworks, you usually meet, Adam Chlipala, the Douglas Ross Career Development Professor of Software Technology, describes its programming language, as a tool that goes beyond the interaction of components.

According to Adam Chlipala, its program turns high-level instructions into machine-executable code, automatically generates the corresponding XML code and style-sheet specifications and embeds the JavaScript and database code in the right places.

Ur/Web can coordinate disparate Web technologies stems from two properties it shares with programming languages, like C++ or Java. 

With Ur/Web, usernames would constitute their own data type, which would be handled much differently than database queries.

Its compiler can analyze your full program and say, ‘‘Here is an exhaustive list of all the CSS classes that might be mentioned, and here is a description of the context in which each class might be used, which tells you what properties might be worth setting.’’