diff CHANGELOG @ 663:bddf0da18db6

Update CHANGELOG
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Mar 2009 12:30:21 -0400
parents 79aea80904e8
children 910bf013da4a
line wrap: on
line diff
--- a/CHANGELOG	Thu Mar 12 12:25:05 2009 -0400
+++ b/CHANGELOG	Thu Mar 12 12:30:21 2009 -0400
@@ -1,3 +1,17 @@
+========
+20090312
+========
+
+- Replace type-level "fold" with "map"
+- Replace expression-level "fold" with folders, defined in Top and
+  supported by some special compiler inference
+- Replace guarded constructors with guarded types, introduced only by
+  guarded expression abstraction, and with a new explicit application form
+- Kind polymorphism
+- Generalize type classes to constructor classes
+- Initial compilation of client-side code to JavaScript
+- Initial support for mixed client- and server-side programming (i.e., "AJAX")
+
 ========
 20081209
 ========
@@ -14,7 +28,8 @@
 - Fix bug that sometimes led to omission of initial "<html>" in pages
 - Take advantage of nested functions in some demos
 - "profile" option that may appear in .urp files, to enable gprof profiling
-- "-guided-demo" option that works like "-demo" but uses less screen space for prose
+- "-guided-demo" option that works like "-demo" but uses less screen space for
+  prose
 
 ========
 20081118
@@ -24,7 +39,8 @@
 - Primitive "time" type
 - Nullable SQL columns (via "option")
 - Cookies
-- Compiler: Specialization of functions to known arguments (especially of function type)
+- Compiler: Specialization of functions to known arguments (especially of
+  function type)
 
 ========
 20081028