Mercurial > urweb
changeset 1160:277a5db17aa1
Expand 'row types' in first paragraph of manual
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 07 Feb 2010 16:13:09 -0500 |
| parents | 64a9d74111e6 |
| children | 2ae57fa551be |
| files | doc/manual.tex |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/manual.tex Sun Feb 07 15:50:13 2010 -0500 +++ b/doc/manual.tex Sun Feb 07 16:13:09 2010 -0500 @@ -20,7 +20,7 @@ \section{Introduction} -\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of \emph{metaprogramming} based on \emph{row types}. +\emph{Ur} is a programming language designed to introduce richer type system features into functional programming in the tradition of ML and Haskell. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of \emph{metaprogramming} based on \emph{type-level computation with type-level records}. \emph{Ur/Web} is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs ``don't go wrong'' in a very broad sense. Not only do they not crash during particular page generations, but they also may not: