One argument in favor of vacuous is that I'm currently talking to Richard Eisenberg about how to use the new role machinery to possibly let it be an O(1) operation (at least for derived functors).<div><br></div><div>I would rather not remove it and then re-add it. It becomes a code maintenance nightmare for any of us who have to maintain across multiple versions of GHC then.</div>
<div><br></div><div>-Edward<br><div><div><div><br><div class="gmail_quote">On Tue, Aug 13, 2013 at 4:20 AM, David Luposchainsky <span dir="ltr"><<a href="mailto:dluposchainsky@googlemail.com" target="_blank">dluposchainsky@googlemail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey Libraries,<br>
<br>
a couple of weeks ago Shachaf proposed adding Void to Base ("Void type<br>
in base", 2013-07-17). The discussion period of 2 weeks is over, and<br>
there does not seem to be any further discussion of the topic.<br>
<br>
I think the responses were generally in favour of `Void` and `absurd`,<br>
with somewhat mixed opinions on naming and `vacuous`.<br>
<br>
Maybe we should take the time to finish this proposal up? A reminder,<br>
<div class="im"><br>
> The proposal is just to copy the Data.Void API into base:<br>
><br>
> data Void -- EmptyDataDecls is in Haskell 2010<br>
> absurd :: Void -> a<br>
> vacuous :: Functor f => f Void -> f a<br>
> -- instances for Typeable, Data, Generic, Eq, Ord, Show, Read,<br>
</div>> -- Ix, Exception<br>
<br>
I'm not sure about vacuous, it was mentioned that it's only historical<br>
(also it's just `fmap absurd` so easily reproducable), which means it<br>
would be adding something almost deprecated or redundant to Base (old<br>
packages could still import the current void package to get that<br>
function if necessary).<br>
<br>
Anyway, +1 in general, independent of the previous remark.<br>
<span class="HOEnZb"><font color="#888888"><br>
David<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div></div></div></div>