default instance for IsString
J. Garrett Morris
jgmorris at cs.pdx.edu
Tue Apr 24 08:14:27 CEST 2012
On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <gale at sefer.org> wrote:
> This is true; the use of polymorphism for numeric literals is also
By this logic, head is "unsound", since head  throws an error.
Haskell types are pointed; Haskell computations can diverge. What
happens after the computation diverges is irrelevant to type soundness.
"Would you be so kind as to remove the apricots from the mashed potatoes?"
More information about the Glasgow-haskell-users