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 ==