Mathemagix

[Joris van der Hoeven <address@concealed>]

Hi,

Would there be a volunteer for writing an Emacs mode for Mathemagix
with syntax highlighting, automatic indentation, etc.?
Here is some relevant information for doing so.
More news soon to come about some new development.

Thanks, Joris


------------------------------------------------------------

Keywords
--------

and, begin, break, case, continue, else, error, exists,
export, for, forall, generate, if, import, join, lambda,
load, loop, literal, obtain, operator, or, postfix, retrieve,
return, split, step, until, use, while, yield

Types
-----

Alias, Bool, Class, Cross, Generator, Int, List,
Literal_Float, Literal_Int, Literal_String,
OStream, String, Table, Tuple, VCross, VTuple

Functions
---------

cons, entries, pretty, reverse

New functions are declared using the syntax
        f(...)...(...): ... == (or :=) ...
        f: (...) -> ... == (or :=) ...
Function declarations maybe preceded by
        forall(...)
        exists(...)
but these modifiers maybe required to be on a previous line
for the highlighting to work.

Constants
---------

Literal integers, floats and strings, as well as
true, false, nil, mmout, mmerr, mmin
We also support multiple line strings of the form /"..."/
which may include " characters (but not "/).

Comments
--------

C++ like // comments and recursive multiple-line comments
of the form /{ ... }/

Indentation
-----------

The default indentation is 2 spaces and mostly increases
inside { ... } blocks or after trailing keywords.

Testing
-------

Look at the files in the mmx/examples and mmx/library files,
as well as the files in mmx/glue/stl. In mmx/glue/stl/simple.mmh
you see an example of some successfully linked C++ functions and
templates to Mathemagix.