The Ultimate Conditional Syntax
summary
Proposes a new pattern syntax that combines conditional splits, pattern flowing, and interleaved let bindings; implements it in MLscript with an online playground and a large test suite. Provides a five‑stage desugaring from the rich surface syntax to a flat core, a normalization pass that removes backtracking, and a semantics‑preserving translation proved formally. Exhaustiveness checking is type‑system agnostic and artifacts are reproducible and evaluated, so the feature is both implementable and verified.
AI-written summary · about
chapters (9)
- 0:00Ultimate conditional syntax
- 2:29UCS features
- 4:58Conditional splits in UCS
- 6:00Pattern flowing with logic
- 7:24Let bindings in UCS
- 9:53Translation algorithm stages
- 12:25Exhaustiveness checking
- 13:30Implementation and future work
- 15:25Q&A
related talks
30mA Core Language for Extended Pattern Matching and Binding Boolean Expressions
12mOn the power of syntactic methods: It is all syntax after all…
50mSyntaxation
01h 26mImplementing Dependent Pattern Matching and Type Unification Part 2
23mType-Level Programming with Match Types
29mPredicate Dispatch
21mSeamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
46mInventing a language (placeholder title)