我要威胁 发表于 2025-3-26 21:18:44
Representation of Object Programs in Metaprograms,tware components. This is an important foundation for metaprogramming. That is, we assume that one language – the metalanguage – is used for writing programs that analyze, manipulate, translate, generate, or otherwise consume or produce programs in another language – the object language. In this con啤酒 发表于 2025-3-27 04:40:28
A Suite of Metaprogramming Scenarios,ms. Metaprogramming is at the heart of software language implementation and processing. The processed programs or artifacts are also referred to as object programs. The language in which the metaprograms are written is referred to as the metalanguage. The language of the processed programs or artifa影响深远 发表于 2025-3-27 05:32:09
http://reply.papertrans.cn/88/8710/870923/870923_33.pngOndines-curse 发表于 2025-3-27 10:17:28
http://reply.papertrans.cn/88/8710/870923/870923_34.pnghangdog 发表于 2025-3-27 15:22:42
A Primer on Type Systems,ed to eventually, for example, the type of natural numbers or of Boolean values in an expression language. Types may be assigned to program phrases statically by means of a type system – this is a formal system consisting of inference rules, very much like a semantics definition. Assigned types (“prAMBI 发表于 2025-3-27 19:42:06
http://reply.papertrans.cn/88/8710/870923/870923_36.pngGnrh670 发表于 2025-3-27 23:48:47
http://reply.papertrans.cn/88/8710/870923/870923_37.pngMangle 发表于 2025-3-28 06:08:27
A Suite of Metaprogramming Techniques,rograms), pattern matching or accessors (to take apart object programs or to select suitable parts thereof), pattern building or constructors (to construct or compose object programs), and a computational model for tree walking (e.g., visitors in OO programming or possibly just recursion). In this cgrotto 发表于 2025-3-28 06:32:34
Representation of Object Programs in Metaprograms,text, abstract syntax thus plays the role of defining the object-program representation in metaprograms. This chapter also discusses other implementation aspects of abstract syntax: conformance checking, serialization, and resolution (AST-to-ASG mapping).consolidate 发表于 2025-3-28 13:57:10
A Suite of Metaprogramming Scenarios,cts is referred to as the object language. The following are all important scenarios of metaprogramming: interpretation, compilation, transformation, analysis, and code generation. In this chapter, we exercise several metaprogramming scenarios using Haskell as the metalanguage.