[Haskell-cafe] Re: Type question in instance of a class
voigt at tcs.inf.tu-dresden.de
Sat Nov 22 08:24:33 EST 2008
Peter Hercek wrote:
> But Haskell with Control.Exception extension has more values
> of all types since they can be thrown and later caught and
> investigated at that place.
> Maybe the last sentence of section 2.1 (_|_ Bottom) of
> "Haskell/Denotational semantics" should be clarified better.
> So when trying to use Curry-Howard isomorphism for something
> in Haskell, one sould be pretty carefull what features of are
> being used.
Definitely. And that surfaces even in quite innocently looking programs
and statements about them. The introductory example of the following
technical report may be amusing in that respect:
Dr. Janis Voigtlaender
mailto:voigt at tcs.inf.tu-dresden.de
More information about the Haskell-Cafe