annotate CHANGELOG @ 733:15ddd64a5113

Add more buttons to demo, to avoid effectful GET
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:38:01 -0400
parents e28637743279
children 796e42c93c48
rev   line source
adamc@716 1 ========
adamc@716 2 Next
adamc@716 3 ========
adamc@716 4
adamc@716 5 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 6 - SQL table constraints
adamc@717 7 - URLs, with configurable gatekeeper function Basis.bless
adamc@716 8
adamc@702 9 ========
adamc@702 10 20090405
adamc@702 11 ========
adamc@702 12
adamc@702 13 - Asynchronous message-passing and the associated server-side client
adamc@702 14 bookkeeping
adamc@702 15 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 16 - spawn and sleep
adamc@702 17 - Expand the constructor class instance rule format
adamc@702 18
adamc@663 19 ========
adamc@663 20 20090312
adamc@663 21 ========
adamc@663 22
adamc@663 23 - Replace type-level "fold" with "map"
adamc@663 24 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 25 supported by some special compiler inference
adamc@663 26 - Replace guarded constructors with guarded types, introduced only by
adamc@663 27 guarded expression abstraction, and with a new explicit application form
adamc@663 28 - Kind polymorphism
adamc@663 29 - Generalize type classes to constructor classes
adamc@663 30 - Initial compilation of client-side code to JavaScript
adamc@663 31 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 32 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 33
adamc@506 34 ========
adamc@561 35 20081209
adamc@506 36 ========
adamc@506 37
adamc@506 38 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 39 - Optimization of bottleneck compiler phases
adamc@561 40 - Reference manual
adamc@561 41 - SQL arithmetic operators
adamc@506 42
adamc@504 43 ========
adamc@504 44 20081120
adamc@504 45 ========
adamc@504 46
adamc@504 47 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 48 - Take advantage of nested functions in some demos
adamc@504 49 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 50 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 51 prose
adamc@504 52
adamc@467 53 ========
adamc@497 54 20081118
adamc@467 55 ========
adamc@467 56
adamc@467 57 - Nested function definitions
adamc@467 58 - Primitive "time" type
adamc@467 59 - Nullable SQL columns (via "option")
adamc@467 60 - Cookies
adamc@663 61 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 62 function type)
adamc@467 63
adamc@435 64 ========
adamc@435 65 20081028
adamc@435 66 ========
adamc@435 67
adamc@435 68 - Add GCCARGS configure option
adamc@435 69
adamc@433 70 ========
adamc@433 71 20081027
adamc@433 72 ========
adamc@433 73
adamc@433 74 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 75 - Remove need for "() <-" notation.
adamc@433 76
adamc@433 77 ========
adamc@433 78 20081026
adamc@433 79 ========
adamc@433 80
adamc@433 81 - Change 'sed' call to work on OSX.
adamc@433 82 - Avoid including or linking libpq files on apps that don't use SQL.