12 Apr
2010
12 Apr
'10
4:45 a.m.
On 11 April 2010 22:54, Jason Dagit
...
class Vehicle a where
data Car data Truck
instance Vehicle Car where instance Vehicle Truck where
Now you can have things that take a Car or a Truck or they can take a Vehicle instead.
moveVehicle :: Vehicle v => v -> Simulation ()
unfortunately, now you cannot use pattern matching while defining moveVehicle. ...
Jason
-- Ozgur Akgun