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. 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. --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
