Titlebook: Software Languages; Syntax, Semantics, a Ralf Lämmel Textbook 2018 Springer Nature Switzerland AG 2018 System description languages.Context

我要威胁

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

啤酒

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

影响深远

Ondines-curse

hangdog

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 (“pr

AMBI

Gnrh670

Mangle

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 c

grotto

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

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.