core

Type Members

1. trait Core extends AnyRef

   

   This trait is the root of the family polymorphism (i.e., component-based) hierarchy.

   This trait is the root of the family polymorphism (i.e., component-based) hierarchy. It provides the basic interfaces and types

2. trait Engine extends Semantics

   

3. trait Language extends AnyRef

   

   This trait defines a component that requires to be "attached" to Core It defines a trait with the "syntax" of language constructs (based on field-calculus)

4. trait RichLanguage extends Language

   

   This trait defines a component that extends LanguageStructure and requires to be "attached" to Core It defines a trait with additional language mechanisms, in the form of certain builtins, and Ordering implicits

5. trait Semantics extends Core with Language

   

   This trait defines a component that extends Core and Language It starts concretising the framework by implementing the key element of field-calculus semantics, namely:

   This trait defines a component that extends Core and Language It starts concretising the framework by implementing the key element of field-calculus semantics, namely:

   • An export is a map from paths to values, and a value is a list of slots
   • An Execution template implementing the whole operational semantics
   • A basic Factory
   • Additional ops to Context and Export, realised by family polymorphism

   This is still abstract in that we do not dictate how Context and Export are implemented and optimised internally