[Haskell-cafe] Language extensions [was: Memoization]

Creighton Hogg wchogg at gmail.com
Wed May 30 10:19:02 EDT 2007

On 5/29/07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
> Claus Reinke wrote:


> > phantom types:
> >  the types of ghost values (in other words, we are only interested in
> >  the type, not in any value of that type).
> Mmm... Still not seeing a great amount of use for this one.

Okay, well phantom types are something I like because they allow some notion
of static capabilities, a la
One of my big interests is how much of a true capability based security
system can be pushed up into the type level.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070530/91a4f1a4/attachment.htm

More information about the Haskell-Cafe mailing list