Phantom type
This is very clever. It’s basically a way to tag (for want of a better word) values using the type system to, for instance, distinguish between tainted and untainted data.
This is very clever. It’s basically a way to tag (for want of a better word) values using the type system to, for instance, distinguish between tainted and untainted data.