Mercurial > urweb

comparison demo/prose @ 465:ddd363e856ff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie prose; fix bugs that broke demo compilation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:46:45 -0500
parents d4a81273d4b1
children 20fab0e96217
comparison
equal deleted inserted replaced
464:91914c15a85b 465:ddd363e856ff
55 <p>Here we see a basic form. The type system tracks which form inputs we include, and it enforces that the form handler function expects a record containing exactly those fields, with exactly the proper types.</p> 55 <p>Here we see a basic form. The type system tracks which form inputs we include, and it enforces that the form handler function expects a record containing exactly those fields, with exactly the proper types.</p>
56 56
57 nested.urp 57 nested.urp
58 58
59 <p>Here is an implementation of the tiny challenge problem from <a href="http://www.accursoft.co.uk/web/">this web framework comparison</a>. Using nested function definitions, it is easy to persist state across clicks.</p> 59 <p>Here is an implementation of the tiny challenge problem from <a href="http://www.accursoft.co.uk/web/">this web framework comparison</a>. Using nested function definitions, it is easy to persist state across clicks.</p>
60
61 cookie.urp
62
63 <p>Often, it is useful to associate persistent data with particular web clients. Ur/Web includes an easy facility for using type-safe cookies. This example shows how to use a form to set a named cookie.</p>
64
65 <p>After setting the cookie, try browsing back to this demo from the main index. The data you entered should still be there.</p>
60 66
61 listShop.urp 67 listShop.urp
62 68
63 <p>This example shows off algebraic datatypes, parametric polymorphism, and functors.</p> 69 <p>This example shows off algebraic datatypes, parametric polymorphism, and functors.</p>
64 70