nyacc: have something working for in-place include
[mes.git] / NEWS
1                                                               -*- org -*-
2 #+TITLE: Mes NEWS – history of user-visible changes
3 #+STARTUP: content hidestars
4
5 Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
6
7   Copying and distribution of this file, with or without modification,
8   are permitted in any medium without royalty provided the copyright
9   notice and this notice are preserved.
10
11 Please send Mes bug reports to janneke@gnu.org.
12
13 * Changes in 0.4 since 0.3
14 ** Core
15 *** Improved performance.
16 Macros are now memoized; after expansion and before eval'ing the
17 expanded form, their input s-expression is replaced by the expansion.
18 This yields a nice performance improvement which finally allowed
19 moving all non-essential bits from the C-core into Scheme...including
20 the reader.  The Scheme reader is much, much slower than the previous
21 C version, making Mes--again-- feel slow.  Think of that as a feature.
22 *** Bootstrap with minimal reader in C.
23 The C-reader needs only support reading of words and lists
24 (s-expressions), line-comments to read the initial [[file:module/mes/read-0.mes][Scheme reader]] which
25 then takes over and handles reading of quoting, characters, strings,
26 block-comments.
27 *** Reduced size.
28 Total C size: ~1500LOC.  The main Mes evaluator is now ~1000LOC
29 including cell creation and garbage collector.  This code is able to
30 execute a Scheme program that has been loaded into memory.  Another
31 ~500LOC is spent to load a minimal Scheme program and to dump it, to
32 provide a small posix interface, math functions and do some error
33 reporting.
34 *** Programs can be dumped and loaded using --dump and --load.
35 ** Language
36 *** Minimal syntactic exception support for Nyacc.
37 *** Minimal syntactic fluids support for Nyacc.
38 *** Keywords are now supported.
39 *** Cond now supports =>.
40 *** Guile's optargs: lambda* and define* are now supported.
41 *** #;-comments are now supported.
42 *** Non-nested #| |#-comments are now supported.
43 *** Quasisyntax is now supported.
44 *** R7RS syntax-rules with custom ellipsis, with-ellipsis are now supported.
45 *** 9 new [partial] modules
46 (mes fluids), (mes nyacc), (mes optargs), (mes pmatch), (mes peg),
47 (srfi srfi-13), (srfi srfi-9-psyntax), (srfi srfi-26), (srfi srfi-43),
48 (rnrs arithmetic bitwise), (sxml xpath)
49 *** 36 new functions
50 1+, 1-, abs, and=>, append-reverse, ash, char<=?, char<?, char>=?,
51 char>?, even?, filter, delete, delq, vector-copy, fold, fold-right,
52 getenv, iota, keyword->symbol list-head, list-tail, negative?, odd?,
53 positive?, remove!, remove, string->number, string-copy,
54 string-prefix?, string=, string=?, symbol->keyword symbol-append,
55 symbol-prefix?, unless, write, zero?.
56 ** Noteworthy bug fixes
57 *** Macros are now memoized.
58 *** An error is reported when using a wrong number of arguments with a call.
59 *** Cond now evaluates its test clauses only once.
60 *** Append can also handle one argument.
61 *** For-each now supports 2 list arguments.
62 *** Map now supports 3 list arguments.
63 *** Backslash in string is supported.
64 *** Closure is not a pair.
65 *** All standard characters are supported.
66 *** Mescc now also runs in Guile.
67 * Changes in 0.3 since 0.2
68 ** Core
69 *** Number-based rather than pointer-based cells.
70 *** Garbage collector aka Jam scraper.
71 A variant on SICP's stop and copy Garbage Colletor (Jam Scraper?)
72 algorithm has been implemented.
73 *** The reader has been moved to Scheme.
74 ** Language
75 *** Simple loadable modules.
76 *** Srfi-9 and match use handwritten syntax-rules (mes-use-module (mes syntax)).
77 *** Optional syntax-case using psyntax (mes-use-module (mes psyntax)).
78 ** Noteworthy bug fixes
79 *** Srfi-0 has been fixed.
80 * Changes in 0.2 since 0.1
81 ** Core
82 *** Names of symbols and strings are list of characters [WAS: c-string].
83 *** Sc-expand from pre-R6RS's psyntax has been integrated.
84 *** Undefined variable error now shows the name of the undefined variable.
85 *** There is now only one SCM type for builtin functions.
86 *** Macro expansion has been cleaned-up.
87 ** Language
88 *** Mes now provides a subset of R6RS.
89 *** Mes now provides syntax-case.
90 *** Mes now provides `load'.
91 ** Noteworthy bug fixes
92 *** Using values as second parameter of builtin function yields first value.
93 *** Quoted internals (e.g. 'if 'lambda) are now symbols.
94 *** Syntax error now exits.
95 *** Make+Bash voodoo has been replaced by build-aux/mes-snarf.scm.
96 *** Apply now accepts multiple list arguments.
97 *** Apply of character, inernal, number, string is an error.
98 *** Quasisyntax reading 
99
100 * Changes in 0.1 (since progress report #2)
101 ** Core
102 *** expand_macro is now a separate function.
103 *** A smaller core can now compiled using BOOT=1.
104 The smaller core does not provide define, define-macro, or quasiquote;
105 these are provided from a Scheme version of implemented eval/apply.
106 ** Language
107 *** Mes now provides a subset of R5RS.
108 *** Mes now provides let-syntax.
109 *** Mes now provides match.
110 *** Mes now provides quasisyntax, unsyntax and unsyntax-splicing.
111 ** User interface
112 *** Mes now provides a REPL, run:
113     scripts/repl.mes
114 *** Mes compiler can be run as a script:
115     scripts/mescc.mes doc/examples/main.c
116 *** Macro expansion can be inspected in the REPL, e.g.:
117     ,expand (and 0 1)
118 ** Noteworthy bug fixes
119 *** Performance: scripts/mescc.mes now takes 2s to compile main.c (was 1'20").
120 *** Symbols are now truly unique.
121   * '(), #t, #f are no longer symbols.