Date: 2025-09-16
Present:
The currently 47-page spec covers:
1. the basic type system defined in terms of structural typing
2. a reasonably rigorous definition of the semantics of all the basic operations available in the query language
3. the definition of the core language (lifted almost verbatim from the JDQL spec)
We’re currently working on extending this to cover all the functionality of the extended language (i.e. JPQL) but that’s a rather large task and we only just started.
We also need to revisit (3) and tie the definition of the language more carefully to the semantics defined in (2).