[Haskell-cafe] Instances and multiple inheritance
patrick.browne at dit.ie
Sun Jun 12 14:48:41 CEST 2011
On 12/06/2011 10:43, MigMit wrote:
> I fail to understand why instantiating a four-argument class with five arguments seems obvious to you.
>> class (Surfaces v o, Paths a b (v o)) => Vehicles v o a b where
Obviously I am wrong! But my incorrect thinking is as follows:
Surfaces takes 2 arguments, Paths take 3 arguments (giving 5).
I do not know how to group those 5 arguments to make the required 4 for
Vehicles. The original classes were defined in .
 Modeling the Semantics of Geographic Categories through Conceptual
Integration (2002) by Werner Kuhn
This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie
More information about the Haskell-Cafe