# HG changeset patch # User Adam Chlipala # Date 1236875421 14400 # Node ID bddf0da18db6a8d4a069aff73240ac2ee1814394 # Parent 039ad51cf9c3d5438e7a89bc9df857fb229552b7 Update CHANGELOG diff -r 039ad51cf9c3 -r bddf0da18db6 CHANGELOG --- 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 "" 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