A Catalog of Research Compiler Infrastructures and Tools

Thanks to Kamil Skalski for a pointer to Nemerle, a object-oriented language that supports functional and generative features. Nemerle supports pattern matching and a rich macro facility. The macro facility in particular would seem to make Nemerle a fine basis for those exploring language semantics or developing domain-specific languages.