A staged programming language gives the programmer a new paragdigm for constructing efficient programs. We have illustrated this by building staged programs for interpreters and polytypic programs. We have also found that several other "advanced" features such as higher-order type constructors, local polymorphism, and monads have many uses. We believe that languages with these features help programmers construct programs which are easier to maintain because they are generic, yet they are still efficient.
展开▼