Computer Science – Programming Languages
Scientific paper
2005-12-15
Computer Science
Programming Languages
2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2006)
Scientific paper
The design of metaprogramming languages requires appreciation of the tradeoffs that exist between important language characteristics such as safety properties, expressive power, and succinctness. Unfortunately, such tradeoffs are little understood, a situation we try to correct by embarking on a study of metaprogramming language tradeoffs using tools from computability theory. Safety properties of metaprograms are in general undecidable; for example, the property that a metaprogram always halts and produces a type-correct instance is $\Pi^0_2$-complete. Although such safety properties are undecidable, they may sometimes be captured by a restricted language, a notion we adapt from complexity theory. We give some sufficient conditions and negative results on when languages capturing properties can exist: there can be no languages capturing total correctness for metaprograms, and no `functional' safety properties above $\Sigma^0_3$ can be captured. We prove that translating a metaprogram from a general-purpose to a restricted metaprogramming language capturing a property is tantamount to proving that property for the metaprogram. Surprisingly, when one shifts perspective from programming to metaprogramming, the corresponding safety questions do not become substantially harder -- there is no `jump' of Turing degree for typical safety properties.
No associations
LandOfFree
Tradeoffs in Metaprogramming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Tradeoffs in Metaprogramming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Tradeoffs in Metaprogramming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-112130