On Tue, Apr 24, 2012 at 02:14, J. Garrett Morris <jgmorris@cs.pdx.edu> wrote:
On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <gale@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                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms