blob: d57c52fc9336d27a03f2a1a05cbddb48764eca7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
========
Next
========
- Reimplement constructor class resolution to be more general and Prolog-like
- SQL table constraints
- URLs, with configurable gatekeeper function Basis.bless
- Client-side error handling callbacks
- CSS
- Signing cookie values cryptographically to thwart cross site request forgery
========
20090405
========
- Asynchronous message-passing and the associated server-side client
bookkeeping
- Reimplement parts of the client-side runtime system to avoid space leaks
- spawn and sleep
- Expand the constructor class instance rule format
========
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")
- src/coq: Coq formalization of a core Ur-like calculus
========
20081209
========
- Optimization: Fusing page writes with calls to recursive functions
- Optimization of bottleneck compiler phases
- Reference manual
- SQL arithmetic operators
========
20081120
========
- 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
========
20081118
========
- Nested function definitions
- Primitive "time" type
- Nullable SQL columns (via "option")
- Cookies
- Compiler: Specialization of functions to known arguments (especially of
function type)
========
20081028
========
- Add GCCARGS configure option
========
20081027
========
- On missing inputs, print an error message, but don't exit the web server.
- Remove need for "() <-" notation.
========
20081026
========
- Change 'sed' call to work on OSX.
- Avoid including or linking libpq files on apps that don't use SQL.
|
