[Haskell-cafe] Language extension proposal: aspects

[Ruben Astudillo]

On 06/05/17 14:14, MarLinn wrote:
> Here is a more complete example without my ramblings to disturb you.
Imagine the
> code being distributed across three files.
>
> ---
> aspect Data.Aspect.Bool.All where
>
>      instance Monoid Bool where
>          mempty = True
>          mappend False _ = False
>          mappend True  b = b
>
> ---
> aspect Data.Aspect.Bool.Any where
>
>      instance Monoid Bool where
>          mempty = False
>          mappend True  _ = True
>          mappend False b = b

how would this interact with superclasses

    class Monoid m => Newclass m

As I understand the proposal, you got default instances. But how do you
extend with the alternative instance? by you examples with foldMap you
would need to extend the data type with the aspect you mean to do it,
well that is exactly what newtypes are! thus far I don't see any
benefits of making it less explicit.

-- 
-- Ruben