Mon, 04 Jan 1999 00:47:35 -0700
I've recently uploaded a project -- Prism -- that I think you all might
find interesting. Brian and Tril, I think this particularly relates to
the stuff you're working on, although in different ways. Here's the
teaser from the web site:
Briefly, I've created a programming technique which focuses on domain
abstraction in addition to system abstraction. (Functions are an
example of system abstraction, and language paradigms are an example of
domain abstraction.) There's more here than just a wild idea, though --
I've also created a compiler specification and I've got a Java-based
compiler in the works as well. For more information, start with the
Prism Overview. If you're intrigued by what you read, check out the
Prism Specification and Prism Compiler as well. The compiler's
incomplete, though, so I recommend looking at that last, and only if you
want to contribute. Enjoy!
Brian, I think this relates to your work in that Prism defines a
semantic meta-metamodel -- as does your Arrow language, as far as I can
tell. Tril, I think you'd be interested in Prism's focus on domain
abstraction and translation -- that is, its ability to translate from
one language paradigm to another.
If you're interested, check it out at the Sphere Project web site:
Let me know what you think!