I've heard this a few times and am slowly becoming convinced of it. I'll try my current use without the Empty and see how it goes.<div><br></div><div>Given that I've heard this from several places, I'll probably drop Empty.<br>
<br><div class="gmail_quote">On Mon, Jan 4, 2010 at 9:17 AM, Luke Palmer <span dir="ltr"><<a href="mailto:lrpalmer@gmail.com">lrpalmer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Mon, Jan 4, 2010 at 6:51 AM, Maciej Piechotka <<a href="mailto:uzytkownik2@gmail.com">uzytkownik2@gmail.com</a>> wrote:<br>
> About comonad - not exactly as every comonad is copointed and the only<br>
> possible way is extract Empty = _|_<br>
<br>
</div>I think this module could be cleaned up by disallowing empty lists.<br>
You have this nice semantic property that "every clist has a focus",<br>
but when you add empty you have to add "unless it's empty". focus<br>
returns a Maybe, isEmpty is necessary.<br>
<br>
I mean, it could be that your use case requires empty clists and would<br>
be uglier without empty, but think about it. I find in Haskell that<br>
simplicity breeds simplicity; i.e. I'm willing to wager that whatever<br>
algorithm you are using clist for will actually be cleaner if you got<br>
rid of empty and modify the algorithm accordingly. We shall see<br>
though...<br>
<font color="#888888"><br>
Luke<br>
</font><div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>