[Haskell-cafe] existential types

Henning Thielemann lemming at henning-thielemann.de
Wed Feb 13 07:51:20 EST 2008


On Wed, 13 Feb 2008, Simeon Mattes wrote:

> I have found that ghc has adopted the existential data constructors. Because it
> was first time I have heard this term I have found some articles about it. The
> less complex for me was the following explanation
>
> data Worker x y = Worker {buffer :: b, input :: x, output :: y}

Seems to be the example which is also presented here:
  http://www.haskell.org/haskellwiki/Existential_type


More information about the Haskell-Cafe mailing list