On 24/04/2012 15:19, Yitzchak Gale wrote:
Simon Marlow wrote:
In this thread people are using the term "safe" to
mean "total". We already overload "safe" too much, might it be a better
idea to use "total" instead?
I'm not sure what you're talking about. I don't see how
this thread has anything to do with total vs. partial
functions.
My apologies if I've misunderstood, but the problem that people seem to
be worried about is fromString failing at runtime (i.e. it is a partial
function), and this has been referred to as "unsafe".
I'm saying that the static syntax of string literals should
be checked at compile time, not at run time. Isn't that
simple enough, and self-evident?
Well, the syntax of overloaded integers isn't checked at compile time,
so why should strings be special?
I'm not arguing in favour of using OverloadedStrings for URLs or
anything like that, but I'm not sure I see why it's bad for Text and
ByteString.
Cheers,
Simon
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
