[Haskell-cafe] dependent types

[Ozgur Akgun]

On 11 April 2010 22:54, Jason Dagit <dagit at codersbase.com> wrote:

>
>
...
>

>
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100411/690360da/attachment.html