..which possibly shares some goals with Mozart/Oz, not just a
name.....? I wonder. Have a look at the 'XL' language.
http://mozart-dev.sourceforge.net/
"A few key features give XL its particular expressive power.
These advanced features combine with simpler ones to give you
a programming language that grows as you need it, yet remains
simple when you need simple things done.
"To the best of my knowledge, these features are original to
XL, and were implemented for the first time in the XL compiler
(or for some of them in its ancestor, LX, sometimes as long as
5 years ago). But please don't hesitate to let me know if you
think otherwise.
"Compile-time standard, tree-based program representation
"Pragmas: An simple construct enabling compiler plug-ins and
all kinds of language extensions.
"Expression Reduction and named operators: Operator
overloading on steroids, allowing complicated expressions to
be reduced to a simple expression or type.
"Standalone Generic Types: Generic (template) types that can
be used just like regular types, and describe type
constraints.
"Type-safe variable argument lists: A way to implement a
Pascal-style WriteLn function in a library."
Too bad they are not using Typesafe Assembly Language as a
back-end, that would be better than C.
http://www.cs.cornell.edu/talc/
-
Please send submissions to hackers@mozart-oz.org
and administriva mail to hackers-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.