[homepage patch
alex@happs.org**20060413204926] {
hunk ./README.html 14
-<p>HAppS is a Haskell library for building Internet applications, featuring:</p>
+<p>HAppS is a Haskell library for building industrial strength Internet applications safely, quickly, and easily.  With HAppS you focus entirely on application functionality implemented in your favorite language and you don't have to worry about making sure all sorts of server subsystems are functioning properly.  See the features:</p>
+<ul>
+<li><strong>HTTP Application Server</strong><br/> 
+Performs better than Apache/PHP in our informal benchmarks (thanks to FastPackedString), handles serving both large (video) files and lazy (javascript) streaming, supports HTTP-Auth, and more.
+</li>
+<li><strong>Mail delivery agent with integrated DNS resolver</strong><br/> 
+Stop worrying about making sure a separate local mail server or DNS is up and running to delivery your mail.  HAppS takes care of making sure your mail is delivered as long as your application itself is running and makes sure no outbound mail is lost even with unplanned restarts. 
+</li>
+<li><strong>XML and XSLT</strong><br/>
+Separate application logic from presentation using XML/XSLT.  With HAppS, you can have your application output XML (via HTTP or SMTP) and handle style/presentation via separate XSLT files at runtime.  HAppS takes care of doing server side XSLT for outbound mail and HTTP user-agents that don't support it client side (note: user-agent detection still needs some refinement).
+</li>
+<li><strong>SMTP Server</strong><br/> 
+Handle incoming email in your application without worrying about .procmail or other user level inbound mail configuration hackery.  Just have the HAppS.SMTP listen on port 25 or have the system mail server SMTP forward mail for your app to some internal port.</li>
+
+<li><strong>Monadic ACID transaction service</strong><br/>
+Write apps as a set of simple state transformers.  MACID write-ahead logging and checkpointing make it easy for you to guarantee application integrity in the face of unplanned outages.  MACID even guarantees that your side effects will be executed at-least-once if they can complete within a timelimit you define.  You can even define partial orders for the execution of some of your side effects (e.g. appending to a file).
+</li>
+
+<li><strong>Session Service</strong> <br/>
+Define bits of per-user application state that automatically expire after time limits you define.  No more manual housekeeping of session data!
+</li>
+
+<li><strong>(<em>Experimental</em>) Table and Index</strong><br/>
+Do relational operations safely on in memory Haskell Data.Set(s) rather than dealing with an external SQL relational database.  Define custom indices for your Haskell datatypes (e.g. geographic/geometric types).  Use in combination with MACID for a robust relational DBMS customized for your application.  
+<!-- 
+	Do type safe inserts, deletes,  updates, relational queries and joins on
+	sets of Haskell data structures without using the IO Monad. Define custom indices 
+	and operators for special datatypes - - e.g. geographic maps. 
+	-->
+	</li>
+
+</ul>
+<!--
+
hunk ./README.html 49
-<li><p style="margin-bottom: 0in"><strong><a href="#acid">HAppS.ACID</a></strong>:
-Guarantee application integrity in the face of unplanned outages using this module's
-integrated write-ahead logging and checkpointing framework.
-	</p></li>
hunk ./README.html 55
+-->
hunk ./README.html 61
+<!--
hunk ./README.html 63
+
+<li><p style="margin-bottom: 0in"><strong><a href="#acid">HAppS.MACID</a></strong>:
+Guarantee application integrity in the face of unplanned outages using this module's
+integrated write-ahead logging and checkpointing framework.  You write your app as a set of
+state transformer functions and MACID takes care making sure it has ACID transactional integrity.
+</p></li>
+<li><p style="margin-bottom: 0in"><strong><a href="#acid">HAppS.DNS</a></strong>:
+Pure Haskell DNS implementation supports non-recursive lookups
+</p></li>
+
+
hunk ./README.html 77
+-->
hunk ./README.html 80
-	</p></li>
-</ul>
-<p>For a trivial example of a combined SMTP/HTTP server that uses an in memory 
+<!--	</p></li>
+</ul>-->
+
+<p align="left">HAppS was inspired by Python Twisted, Prevayler, and SEDA.  For details, see <a href="#advocacy11">HAppS Architecture</a>. </p> 
+
+<p>For trivial usage examples see <a href="examples/hello.hs">hello world</a> and simple mail and http <a href="examples/mail.hs">example</a>.  For a trivial relational Table/Index example see <a href="DBMS/Example.hs">HAppS.DBMS.Example</a>  For the source to <a href="http://pass.net">Pass.net</a>, a live application built on top of HAppS, <strong><code>darcs get http://pass.net/s/repo</code></strong>.
+
+</p>
+<!--For a trivial example of a combined SMTP/HTTP server that uses an in memory 
hunk ./README.html 91
-It relies on the example database in <a href="DBMS/Example.hs">HAppS.DBMS.Example</a></p>
+It relies on the example database in <a href="DBMS/Example.hs">HAppS.DBMS.Example</a>-->
+
hunk ./README.html 94
-<p align="left">For motivation for HAppS design see <a href="#advocacy">HAppS
-Architecture</a>. </p> 
hunk ./README.html 104
-<p>More information is available at <a href="http://HAppS.org">http://HAppS.org</a></p>
-<p>A tarball of HAppS is available at <a href="HAppS.tar.gz">http://HAppS.org/HAppS/HAppS.tar.gz</a>.
-HAppS is also available via <a href="http://abridgegame.org/darcs/">darcs</a>:
-</p>
hunk ./README.html 109
+<h3>Documentation Update (April 13, 2006)</h3>
+Modified top of the homepage to reflect current thoughts on the value of HAppS.
+
hunk ./README.html 113
+
hunk ./README.html 148
-<h2>Module Documentation</h2>
-<h3><a name="protocols" />HAppS.Protocols</h3>
+
+<h2>General Commentary (!!this section needs help!!)</h2>
+<!--<h3><a name="protocols" />HAppS.Protocols</h3>
hunk ./README.html 178
-<h3><a name="acid" />HAppS.ACID</h3>
-<p><a name="acid1" />Use HAppS.ACID to build applications that need
+-->
+<h3><a name="acid" />HAppS.MACID</h3>
+<p><a name="acid1" />Use HAppS.MACID to build applications that need
hunk ./README.html 185
-	You provide a function that returns a new state. Any errors mean
+	You provide a state transformer function. Any errors mean
hunk ./README.html 194
-	transparency  to make total order vastly superior to other processing models.)
+	transparency to make total order vastly superior to other processing models.)
hunk ./README.html 346
-<hr/>
+<!--<hr/>
hunk ./README.html 362
-</pre>
+</pre>-->
hunk ./README.html 378
-<p>Copyright (c) 2005 HAppS.org. All Rights Reserved. 
+<p>Copyright (c) 2006 HAppS.org. All Rights Reserved. 
}