Changes between Version 15 and Version 16 of ExistentialQuantification


Ignore:
Timestamp:
Feb 1, 2006 11:09:16 AM (9 years ago)
Author:
ross@…
Comment:

move Omega reference

Legend:

Unmodified
Added
Removed
Modified
  • ExistentialQuantification

    v15 v16  
    5050data Accum a = exists s. MkAccum s (a -> s -> s) (s -> a)
    5151}}}
    52   which reinforces the connection to existential types. When analysing such a value, you know only that there exists some type `s` such that the arguments have these types.
     52  which reinforces the connection to existential types: when analysing such a value, you know only that there exists some type `s` such that the arguments have these types.
     53  This syntax is used by [http://www.cs.pdx.edu/~sheard/ Tim Sheard]'s Omega language, which is  based on Haskell.
     54
    5355  Reserves an extra word.
    5456
     
    8587data T = forall a. C { f1 :: a, f2 :: Int }
    8688}}}
    87  * The Omega language based on Haskell has an 'exists' keyword to denote an existential type.
    8889
    8990== Pros ==