Conversation

i had a great convo with

a few months ago about how to match on trait objects like non exhaustive enums and how we might do derived “vtable impls” to let enums play as trait objects i had several other much worse ideas about enum/trait obj equivalence too

Manish

@ManishEarth

Apr 17, 2020

yeah imo enums should be traits over their variant types and basically just "inline trait objects", and we should get the exact same treatment in reverse

Brendan Zabarauskas

@brendanzab

Apr 17, 2020

Kind of going backwards to Scala’s encoding of enums (using sealed traits)?

Joe Groff

@jckarter

Apr 17, 2020

I think it's a reasonable design choice. It allows for lower friction changing between open and closed polymorphism

Brendan Zabarauskas

@brendanzab

Apr 17, 2020

Funnily enough, Scala 3 (Dotty) now has Rust inspired sugar over sealed traits: dotty.epfl.ch/docs/reference - they have GADTs too though which I would looove in Rust.