Persimmon: Nested Family Polymorphism with Extensible Variant Types
summary
Persimmon implements nested family polymorphism with extensible variant types, using a linkage concatenation representation to combine inherited and new definitions and relative path substitution to rebind recursive references so extensions remain type safe. It exposes extensible pattern matching as first class family members, encodes mixins via composable extensions, and compiles to plain Scala via a translation to Scala. Paper proves progress and preservation and supplies reusable artifacts and reproduced results.
AI-written summary · about