bodil
Few Thoughts
This is interesting to see how this shapes up.
Some thoughts from my side. Perhaps best is to define a Meta Programming system which can define the syntax and more importantly the type system than imposing a defined type system. This way the type system can also be augmented as needed.
For pattern matching use a formalised system like pattern calculus also definable through the macro system.
Also include the ability to have process algebras easily defined in the language. Especially typed process algebras. Definable through the macro system.
Ability to have Dependent Types and DOT. Again definable through the macro system.
True object oriented capabilities would be something I would like to see with higher order messages.
New language defined in terms of older version of the language.
Ability to specify constrained and goal oriented code transformation and staging. This can be used for optimised compiling to other languages of target platforms. Ideally through the macro system.
This way the language can be easily bent to the needs.
A well throughout macro system should come 1st as this can be the foundation of building the language indeat of fitting the macro system around a build language. Building the language would be more productive and easy this way as you keep adding more to it with each layer of macro definition.
