comparison CHANGELOG @ 663:bddf0da18db6

Update CHANGELOG
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Mar 2009 12:30:21 -0400
parents 79aea80904e8
children 910bf013da4a
comparison
equal deleted inserted replaced
662:039ad51cf9c3 663:bddf0da18db6
1 ========
2 20090312
3 ========
4
5 - Replace type-level "fold" with "map"
6 - Replace expression-level "fold" with folders, defined in Top and
7 supported by some special compiler inference
8 - Replace guarded constructors with guarded types, introduced only by
9 guarded expression abstraction, and with a new explicit application form
10 - Kind polymorphism
11 - Generalize type classes to constructor classes
12 - Initial compilation of client-side code to JavaScript
13 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
14
1 ======== 15 ========
2 20081209 16 20081209
3 ======== 17 ========
4 18
5 - Optimization: Fusing page writes with calls to recursive functions 19 - Optimization: Fusing page writes with calls to recursive functions
12 ======== 26 ========
13 27
14 - Fix bug that sometimes led to omission of initial "<html>" in pages 28 - Fix bug that sometimes led to omission of initial "<html>" in pages
15 - Take advantage of nested functions in some demos 29 - Take advantage of nested functions in some demos
16 - "profile" option that may appear in .urp files, to enable gprof profiling 30 - "profile" option that may appear in .urp files, to enable gprof profiling
17 - "-guided-demo" option that works like "-demo" but uses less screen space for prose 31 - "-guided-demo" option that works like "-demo" but uses less screen space for
32 prose
18 33
19 ======== 34 ========
20 20081118 35 20081118
21 ======== 36 ========
22 37
23 - Nested function definitions 38 - Nested function definitions
24 - Primitive "time" type 39 - Primitive "time" type
25 - Nullable SQL columns (via "option") 40 - Nullable SQL columns (via "option")
26 - Cookies 41 - Cookies
27 - Compiler: Specialization of functions to known arguments (especially of function type) 42 - Compiler: Specialization of functions to known arguments (especially of
43 function type)
28 44
29 ======== 45 ========
30 20081028 46 20081028
31 ======== 47 ========
32 48