On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <g...@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?" _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users