[Haskell-cafe] Re: [darcs-conflicts] how to nicely implement
phantom type coersion?
taralx at gmail.com
Thu Dec 8 12:31:19 EST 2005
On 12/8/05, David Roundy <droundy at abridgegame.org> wrote:
> So is there some other approach that I can use for easily coercing phantom
> types based on runtime checks? Any suggestions?
None here. Since H-M uses type unification to do type inference, you
can't auto-create a program based on the inferred types around it.
Taral <taralx at gmail.com>
"Computer science is no more about computers than astronomy is about
-- Edsger Dijkstra
More information about the Haskell-Cafe