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

[Creighton Hogg]

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
http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf
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