Hi,
On Mon, Apr 26, 2021 at 9:54 AM Christian Schneider <cschn...@cschneid.com>
wrote:
> Am 25.04.2021 um 05:47 schrieb Larry Garfield <la...@garfieldtech.com>:
> ...
> > sealed class Maybe permits Some, None {
> ...
> > }
> >
> > final class None extends Maybe {}
>
> This is exactly the thing I'm worried about.
>
> Say I want to add something like logging to the None type.
> Now your sealed and final classes prevent me from defining MyNone
> extending None even though it would be 100% compatible with None.
>
I just want to note that this has nothing to do with Maybe made sealed
(which seems legit), only with None made final (which... could be debated,
but unrelated to the RFC at hand).
Regards,
--
Guilliam Xavier
