Differences

This shows you the differences between two versions of the page.

--- at:tutorial:appendix [2021/09/24 10:25]
elisag [Structural Types]
+++ at:tutorial:appendix [2021/09/24 10:28]
elisag [Language Extensions]
@@ Line 392: / Line 392: @@
 ===== Language Extensions =====
-The files in the ''at/lang'' directory define custom language features which mostly use AmbientTalk/2's reflective facilities to extend the language.
+The files in the ''at/lang'' directory define custom language features which mostly use AmbientTalk/2's reflective facilities to extend the language. In what follows, we describe the most relevant ones.
@@ Line 610: / Line 610: @@
 More usage examples of structural types can be found in the unit test defined in the file ''at/lang/structuraltypes.at''.
-==== Traits ====
+===== Traits =====
 The module ''/.at.lang.traits'' exports a small library to use AmbientTalk's traits in a more structured manner. In the literature, traits are described as reusable components with two interfaces: an interface of methods that are //provided// by the trait //to// the composite and an interface of methods that are //required// by the trait //from// the composite. AmbientTalk's traits only make the provided interface explicit. The required interface remains implicit and unchecked at composition time.

Ambient-Oriented Programming