[Haskell-cafe] Re: [darcs-conflicts] how to nicely implement
phantom type coersion?
japple at freeshell.org
Thu Dec 8 23:56:55 EST 2005
Ralf Hinze wrote:
> the type a :=: b defined below
> goes back to Leibniz's principle of substituting equals for equals:
If you like this, check out two of Ralf's papers:
First-class phantom types:
Fun with phantom types:
The first (in section 2.4) explains a limitation of :=:
I highly recommend both papers.
More information about the Haskell-Cafe