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
> unsound.

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.

 /g


--
"Would you be so kind as to remove the apricots from the mashed potatoes?"



More information about the Glasgow-haskell-users mailing list