I wrote,

    Ch> Concerning "safety". As far as I can see there is only a single
    Ch> reason: Partially correct programs terminate more often.

and forgot to say: 
"provided that the Haskell classes like Eq or Num have
an underlying semantics and the programmer has an obligation
that the program fulfills this semantics"

Christoph

Reply via email to