30 May
2007
30 May
'07
2:19 p.m.
On 5/29/07, Andrew Coppin
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.