Extensible Variants

Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Traits provide a powerful mechanism for code reuse by allowing the definition of shared behaviors that can be composed into classes. …
Cite View on conference website