rejig
Various ideas for a particle physics domain specific language.
- reinterpreted-python: We don't need to create a syntax; we can decorate Python functions and reinterpret them as our language.
- refinement-types: The type-checking pass can verify constraints such as attempts to select the first or maximum element of a possibly empty list.
- pattern-match: Using 2-D syntax and pattern matching to fit particle candidates into complex decay chains.