The Ultimate Conditional Syntax
summary
Claims that a generalized if-expression called the Ultimate Conditional Syntax subsumes ML pattern matching and is implemented in MLscript, using nested multi-way ifs and conditional pattern flowing to bind variables across logical continuations. It adds expression splitting to factor common prefixes, an "is" pattern operator and "as" bindings, compiles by desugaring to one-level case tests with joint points, checks exhaustiveness, and targets a type system with unions, intersections, negation and literal types; some elaboration details remain in progress.
AI-written summary · about