bandon it instead (there are many examples of misintegration all
around you after all).
If this only fuels a fire and causes further diversion, then I resign.
--
Tony Morris
http://tmorris.net/
S, K and I ought to be enough for anybody.
--~--~-~--~~~---~--~-
Warren Henning wrote:
> On Tue, Jan 6, 2009 at 3:49 PM, Tony Morris
> wrote:
>> not an Option. It was not even close (lack of totality in this
>> test is catastrophic).
>
> Who cares?
>
> >
>
Oliver did when he asked me. I will be seeing him tomorr
e it is I who is "missing the point".
I had no intention of this. I'm finished. I hope Oliver has understood.
--
Tony Morris
http://tmorris.net/
S, K and I ought to be enough for anybody.
--~--~-~--~~~---~--~~
You received this message beca
to the
impractical infection called pragmatism.
A square is like a triangle, but with one extra side. No wait, a
square is a combination of four triangles. Oh actually, a square is
like a triangle, except it is not in any way at all.
Don't fall for it Oliver - it's a misintegration.
--
Tony
uot;,
then I have already pointed out a suggestion. Try to think of others,
but do not say that Can is an Option - it is not, not even close. Poor
Oliver was all confuzzled when he popped this one to me the other day.
--
Tony Morris
http://tmorris.net/
S, K and I ought to be enough for anybody.
{
case Left(m, e, c) => Failure(m, e,
// Can makes the mistake of using a data constructor as a type.
// Unfortunately Scala permits this.
c map toFailure)
case Right(e) => e match {
case Left(a) => Full(a)
case Right(_) => Empty
}
}
}
object T {
// construct with Either or Can
}
--
Right, that's what Oliver said and I was reinforcing it with deductive
reasoning. It is also not Option. It is something else altogether.
Nevertheless, an isomorphism can easily be written with Either alone
(ignoring bottoms). So in some loose sense "it is an Either".
--
T
Can is not an Option and to call it so in any way is an error of
misintegration. Indeed it would be an error to "replace Option with
Can" - they are completely different algebras. Either is kinded * -> *
-> * so cannot possible be isomorphic and cannot possibly have map,
flatMap etc (though it can