A Proposal for XSLT 4.0
summary
Proposes concrete XSLT 4.0 features: a tuple types notation to describe and pattern-match JSON-style maps (keys-as-strings, optional fields treated as empty), named type aliases and inline union types, and array/map pattern matching to enable recursive apply-templates over JSON. Adds concise inline function syntax ($1, $2) and liberal function coercion (allow lower arity), plus library helpers like map-replace, replace-with, items-before/after, node-constructor functions, mode-scoped return types, and small usability fixes (otherwise, flexible namespace matching).
AI-written summary · about
chapters (15)
- 0:00Intro
- 3:38Unfinished Business
- 4:55Types (a reminder)
- 8:11Map types and JSON
- 11:03Tuple types for JSON
- 13:07Tuples: technical details
- 15:05Tuple types as Patterns
- 19:04Inline union types
- 19:52Higher Order Functions
- 25:06New Higher-Order Functions
- 28:39Flexible Function Arity
- 32:32Conditionals
- 36:32Other Goodies (see paper...)
- 41:47Questions
- 43:11Concise inline functions (2) Underscore Functions
related talks
35mImplementing a Macro
05mC++20 Lambdas: Familiar Template Syntax
50mExpression Templates: Past, Present, Future
59mExpression Templates: Past, Present, Future
36mCool kids' way of generating code
18mThe Ultimate Conditional Syntax
39mPattern Matching: Small Enhancement or Major Feature?
47mReflection Techniques in C++