Changes between Version 4 and Version 5 of Language/Overview/ClassSystem

Show
Ignore:
Timestamp:
08/26/10 02:07:50 (4 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/ClassSystem

    v4 v5  
    2727 
    2828== Region classes == 
    29 In Haskell we use type classes on type variables to restrict how these variables can be instantiated. 
     29In Haskell we use type classes on type variables to restrict how these variables can be instantiated. For example, we can write: 
    3030{{{ 
    3131(==) :: forall a. Eq a => a -> a -> Bool 
    3232}}} 
    3333 
    34 The `Eq a` context restricts `forall a` to just the types that support equality. 
     34Here, the `Eq a` context restricts `forall a` to just the types that support equality. 
    3535 
    3636In Disciple, we can do a similar thing with regions: