24 Apr
2012
24 Apr
'12
6:14 a.m.
On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale
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?"