Changes between Version 15 and Version 16 of ExistentialQuantification
 Timestamp:
 Feb 1, 2006 11:09:16 AM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

ExistentialQuantification
v15 v16 50 50 data Accum a = exists s. MkAccum s (a > s > s) (s > a) 51 51 }}} 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 53 55 Reserves an extra word. 54 56 … … 85 87 data T = forall a. C { f1 :: a, f2 :: Int } 86 88 }}} 87 * The Omega language based on Haskell has an 'exists' keyword to denote an existential type.88 89 89 90 == Pros ==