On Wed, Jan 7, 2009 at 1:22 AM, Tony Morris <[email protected]> wrote:
> > Jorge Ortiz wrote: > > You're talking about algebraic data types. > > > > The rest of us are discussing classes and inheritance. > > > > When someone says that a Dog "is" an Animal, they clearly don't > > mean "is isomorphic to". > > > > --j > > > > > I will make one last ditch effort. > > We are talking about Can and Option, both of which are algebraic data > types. You might be discussing inheritance somehow (how?) but > nevertheless, so was I when I tried to save the proposition i.e. > implication and inheritance are equivalent for the purposes of the > earlier discussion (forall A. Can[A] -> Option[A]). In any case, this > does not somehow save the false proposition "Can is Option" unless... > > Perhaps you mean "an instance of Can is an instance of Option"? I > don't think so. Perhaps then you mean "an instance of Can *could be > written* as if it inherited from Option". Well this may be so, but the > same can be said for every single function that exists. Int could > inherit from Short but we do not say Int is (the data type?) Short. So > what exactly do you mean when you say "Can is Option"? Or worse, "Can > is an enhanced Option"? What is "enhanced" about the addition of a > data constructor? I hope you see why I am protective of Oliver as he > is bombarded with such falsehoods. > > Can is no more Option than it is List. > > "But" you say "It almost is, it just needs one more data constructor". > > Fine then, Unit is Option. > > "No, when I say Can is Option I mean to utilise the existing knowledge > of the intended audience who is aware of Option. I really mean Can is > like Option" > > Fine, now that this fact is admitted, we are in agreement - the false > statement exists to appease a cognitive aspect, nothing more. > > When you say Can is Option, what exactly do you mean? Then when you > have conveyed that meaning I will apply it elsewhere and have your > agreement. If I do not, I will demand that you revise your intended > meaning. We will repeat until you are either logically consistent or > you have retracted the notion. This is inductive reasoning - an > aversion of pragmatism sure - but I am compelled to use it nonetheless. Tony, I do not recall saying or hearing any Lift committers say "A Box [formerly Can] is an Option". We have said, "A Box is *like* an Option, except that Box has Failure in addition to Empty/None." Box and Option are *not* the same and no one has claimed that they are. Any Option can be converted to a Box. Any Box can be converted to an Option, but in some cases there is loss of information, and in the case of a conversion, perhaps the developer who makes the choice to convert Box -> Option is okay with losing that information. This is the final word on the substance of this topic. In terms of this discussion, as I noted privately, you have been way out of bounds in your behavior on this list. This list is for an exchange of ideas and you have exchanged nothing. You have made demands and belittled people who have not agreed with you. I do not say this lightly, but, if you make posts with demands rather than questions, I will ban you from this list. Whatever value your brains and skill have are radically offset by your presentation and demeanor. David > > > The recognition of a topological isomorphism between a square and a > triangle requires my metaphor to be subverted somewhat to save it - I > will abandon 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. > > > > > > -- Lift, the simply functional web framework http://liftweb.net Collaborative Task Management http://much4.us Follow me: http://twitter.com/dpp Git some: http://github.com/dpp --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/liftweb?hl=en -~----------~----~----~----~------~----~------~--~---
