diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:30:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-12 12:30:21 -0400 |
| commit | 61177089183c5ff88122b55c64ee4258a421d4ec (patch) | |
| tree | d80290e5e040e9f41634f28a1d0c680ff74ecfed /CHANGELOG | |
| parent | c826168d7e72d3b5454ef581b61faaf11ff3be68 (diff) | |
Update CHANGELOG
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 20 |
1 files changed, 18 insertions, 2 deletions
@@ -1,4 +1,18 @@ ======== +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 |