[Haskell-cafe] Re: Why purely in haskell?

Stefan Monnier monnier at iro.umontreal.ca
Tue Jan 15 22:30:36 EST 2008


> Yes, this is a doctrinal problem. Since *any* concrete reaction, e.g., an
> error message is a kind of answer, the only - unusable as it is - way of
> not providing it is to fail the termination...

You can just disallow the call, using the type system.
Not that it's always easy or practical either, mind you.


        Stefan



More information about the Haskell-Cafe mailing list