On Tue, Apr 24, 2012 at 02:14, J. Garrett Morris <jgmor...@cs.pdx.edu>wrote:
> 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. > Oddly enough, it's actually widely recognized that non-total functions like `head` pose problems. it still remains that string (or indeed numeric) literals are not expected to cause runtime exceptions. -- brandon s allbery allber...@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users