Ticket #98 (new task)

Opened 7 years ago

Last modified 4 years ago

Restricted Data Types Now

Reported by: guest Owned by: none
Milestone: Keywords: restricted data types
Cc: Section:
State:

Description

We should adopt Oleg's "Restricted Data Types Now" approach for simpler cases, like Functor, that don't involve creating new type classes. 

class Functor f a b where
    fmap :: (a -> b) -> f a -> f b
instance (Ord a, Ord b) => Functor Data.Set.Set a b where
    ...

Change History

Changed 7 years ago by ijones

  • owner changed from ijones to none
  • component changed from HaskellPrime to Proposal

Changed 4 years ago by anonymous

Milestone libraries implemented deleted

Note: See TracTickets for help on using tickets.