summaryrefslogtreecommitdiff
path: root/demo/prose
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-12-31 14:30:00 -0500
committerGravatar GitHub <noreply@github.com>2016-12-31 14:30:00 -0500
commit07537c34f4feb869ed6461f704059fa2f8a14b4f (patch)
treeb538a7f5c88dd8cc252ee01906f1447a610edbef /demo/prose
parent245eb671d45ceda8715b8850c7a5c4540da685fa (diff)
parenta7f331db1fb5d9138c8909fb843989c3e4d45b42 (diff)
Merge pull request #55 from TheNotary/edit-tutorial
reflows intro tutorial
Diffstat (limited to 'demo/prose')
-rw-r--r--demo/prose73
1 files changed, 58 insertions, 15 deletions
diff --git a/demo/prose b/demo/prose
index 8637ef68..e3d6185a 100644
--- a/demo/prose
+++ b/demo/prose
@@ -1,38 +1,81 @@
<p><b>Ur/Web</b> is a domain-specific language for programming web applications backed by SQL databases. It is (strongly) statically-typed (like ML and Haskell) and purely functional (like Haskell). <b>Ur</b> is the base language, and the web-specific features of Ur/Web (mostly) come only in the form of special rules for parsing and optimization. The Ur core looks a lot like <a href="http://sml.sourceforge.net/">Standard ML</a>, with a few <a href="http://www.haskell.org/">Haskell</a>-isms added, and kinder, gentler versions added of many features from dependently-typed languages like the logic behind <a href="http://coq.inria.fr/">Coq</a>. The type system is much more expressive than in ML and Haskell, such that well-typed web applications cannot "go wrong," not just in handling single HTTP requests, but across their entire lifetimes of interacting with HTTP clients. Beyond that, Ur is unusual in using ideas from dependent typing to enable very effective metaprogramming, or programming with explicit analysis of type structure. Many common web application components can be built by Ur/Web functions that operate on types, where it seems impossible to achieve similar code re-use in more established statically-typed languages.</p>
-<p>This demo is built automatically from Ur/Web sources and supporting files. If you unpack the Ur/Web source distribution, then the following steps will (if you're lucky) build you a local version of this demo. If you're not lucky, you can consult the beginning of <a href="http://www.impredicative.com/ur/manual.pdf">the manual</a> for more detailed instructions.
+<p>The page you are currently reading is a part of the demo included with the Ur/Web sources and supporting files available from <a href="https://github.com/urweb/urweb">github</a>. The following steps will build a local instance of the demo if you're lucky (and running a debian based linux OS). If you're not lucky, you can consult the beginning of <a href="http://www.impredicative.com/ur/manual.pdf">the manual</a> for more detailed instructions.</p>
-<blockquote><pre>./configure
+<h6>Install System Dependencies</h6>
+<p>
+<blockquote><pre>sudo apt-get install build-essential \
+ emacs-goodies-el \
+ libgmp-dev \
+ libssl-dev \
+ libpq-dev \
+ libsqlite3-dev \
+ mlton \
+ sqlite3</blockquote></pre></p>
+
+<h6>Build and install the Ur/web Framework</h6>
+<p><blockquote><pre>./configure
make
sudo make install
-urweb -noEmacs -demo /Demo demo</pre></blockquote></p>
+</pre></blockquote></p>
-<p>The <tt>-demo /Demo</tt> flag says that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>. The final argument <tt>demo</tt> gives the path to a directory housing demo files. One of the files in that directory is <tt>prose</tt>, a file describing the different demo pieces with HTML. Some lines of <tt>prose</tt> have the form <tt><i>foo</i>.urp</tt>, naming particular project files (with the extension <tt>.urp</tt>) in that directory.</p>
+<h6>Compile the demo the easy way</h6>
+<p><blockquote><pre>$ urweb -dbms sqlite -db /path_to_db.sqlite -demo /Demo demo
+</blockquote></pre></p>
-<p>These project files can also be built separately. For example, you could run
+<p>The <tt>-dbms sqlite</tt> flag indicates that instead of using the default database management system of postgres, we wish to use sqlite (not good for production). The <tt>-db</tt> flag allows us to specify the path to our sqlite database on the file system. The <tt>-demo /Demo</tt> parameter indicates that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>. The final argument <tt>demo</tt> gives the path to a directory housing Ur/Web source files (.ur, .urp, .urs, etc, etc).
+</p>
-<blockquote><pre>urweb demo/hello</pre></blockquote>
+<p>
+The following files are created during the compile process:
+<ul>
+<li>demo/demo.exe
+<li>demo/out/*
+<li>demo/demo.sql
+</ul>
+</p>
+
+<h6>Migrate the Database</h6>
+<p>
+When we compiled the demo in the above step, a demo.sql file was created for us which contains all the information required to create a database congruent with the demo web app. The below command will provision our sqlite database. To see an example of where a database table is defined in source code, check out <tt>demo/crud1.ur</tt>. Also of interest is the file <tt>demo.urp</tt> which contains a <tt>database</tt> line with the PostgreSQL database that the demo web server will try to connect to if database information isn't provided as command line arguments when the webapp is compiled.
-to build the "Hello World" demo application. Whether building the pieces separately or all at once with the <tt>-demo</tt> flag, a standalone web server executable is generated. The <tt>-demo</tt> command line will generate <tt>demo/demo.exe</tt>, and the other command line will generate <tt>demo/hello.exe</tt>. Either can be run with no arguments to start a single-threaded server accepting requests on port 8080. Pass the flag <tt>-h</tt> to see which options are available.</p>
+<blockquote><pre>$ sqlite3 /path/to/database/file &lt;demo/demo.sql
+</blockquote></pre>
+</p>
-<p>The <tt>-demo</tt> version also generates some HTML in a subdirectory <tt>out</tt> of the demo directory. It is easy to set Apache up to serve these HTML files, and to proxy out to the Ur/Web web server for dynamic page requests. This configuration works for me, where <tt>DIR</tt> is the location of an Ur/Web source distribution.
+<h6>Boot the web app</h6>
+Executing the binary generated above (<tt>demo/demo.exe</tt>) with no arguments will start a single-threaded server listening on port 8080. Pass the flag <tt>-h</tt> to see which options are available on such freshly built binaries.
+</p>
+<p><blockquote><pre>$ demo/demo.exe
+Database connection initialized.
+Listening on port 8080....
+</blockquote></pre>
+Test out <tt>http://localhost:8080/Demo/Demo/main</tt> which should consist of links to the individual demos after booting the web app.</p>
+</p>
+
+<h6>Serve the Static Content with a Reverse Proxy</h6>
+<p>The <tt>-demo</tt> version also generates some HTML in a subdirectory <tt>out</tt> of the demo directory (eg <tt>index.html</tt>). It is easy to set Apache up to serve these HTML files, and to proxy out to the Ur/Web web server for dynamic page requests. This configuration works for me, where <tt>DIR</tt> is the location of an Ur/Web source distribution.
<blockquote><pre>Alias /demo/ "DIR/demo/out/"
ProxyPass /Demo/ http://localhost:8080/Demo/
ProxyPassReverse /Demo/ http://localhost:8080/Demo/</pre></blockquote></p>
-<p>Building the demo also generates a <tt>demo.sql</tt> file, giving the SQL commands to run to define all of the tables and sequences that the applications expect to see. The file <tt>demo.urp</tt> contains a <tt>database</tt> line with the PostgreSQL database that the demo web server will try to connect to.</p>
-<p>The easiest way to get a demo running locally is probably with this alternate command sequence:
+<h6>Compile Individually</h6>
+<p>These project files can also be built separately. For example, you could run
+
+<blockquote><pre>$ urweb demo/hello
+</pre></blockquote>
-<blockquote><pre>urweb -dbms sqlite -db /path/to/database/file -demo /Demo demo
-sqlite3 /path/to/database/file &lt;demo/demo.sql
-demo/demo.exe</pre></blockquote></p>
+to build the "Hello World" demo application. Doing so will invite urweb to seak out the various <tt>demo/hello.*</tt> files and, from them, build a binary <tt>demo/demo.exe</tt>. The URL to access the resulting webapp will be <tt>http://localhost:8080/Hello/main</tt>.
+</p>
-<p>Then you can skip the static content and connect directly to the demo server at <tt>http://localhost:8080/Demo/Demo/main</tt>, which contains links to the individual demos. If you're running the server created just for <tt>hello</tt>, then the URL will be <tt>http://localhost:8080/Hello/main</tt>.</p>
+<h6>This File</h6>
+<p>One of the files in the demo directory is named <tt>prose</tt>, a file describing the different demo pieces with HTML. Some lines of <tt>prose</tt> have the form <tt><i>foo</i>.urp</tt>, naming particular project files (with the extension <tt>.urp</tt>) in that directory. These makeup the different pages of the tutorial.</p>
-<p>The rest of the demo focuses on the individual applications. Follow the links in the lefthand frame to visit the applications, commentary, and syntax-highlighted source code. (An Emacs mode is behind the syntax highlighting.) I recommend visiting the applications in the order listed, since that is the order in which new concepts are introduced.</p>
+<h6>Proceeding Demo Exhibits</h6>
+<p>The rest of the demo focuses on the individual facets of the Ur/ Web framework. Follow the links in the lefthand frame to visit the applications, commentary, and syntax-highlighted source code. (An Emacs mode is behind the syntax highlighting.) I recommend visiting the applications in the order listed, since that is the order in which new concepts are introduced.</p>
hello.urp