<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix"><a class="moz-txt-link-abbreviated" href="mailto:jabolopes@google.com">jabolopes@google.com</a> :<br>
    </div>
    <blockquote cite="mid:20130819211539.GH3717@google.com" type="cite">
      <pre wrap="">I would like to see more code move away from exceptions and into
types like "Maybe" or "Either" or other types defined for the
particular situation (as some people were suggesting in the beginning
of the thread). And the reason for this it is because when you program
against types you have to make a decision whether to handle the error
or let it bleed through: you can't ignore the choice because you can't
ignore the type. On the other hand, with exceptions, you can easily
forget to handle the exception if you're not looking at the
documentation at the time when you write the code.</pre>
    </blockquote>
    <br>
    Tom Ellis:<br>
    <br>
    <blockquote type="cite">
      <pre wrap="">This is <i class="moz-txt-slash"><span class="moz-txt-tag">/</span>exactly<span class="moz-txt-tag">/</span></i> the reason to avoid exceptions where possible.</pre>
    </blockquote>
    <br>
    I disagree.<br>
    <br>
    Types which neutralize some particular conditions (whether you call
    them exceptional or not is conventional) and propagate "Nothing"
    etc. is not a panacea.<br>
    Some exceptions, e.g. in the traversal of deep structures may be and
    ARE used as escaping continuations. Calling all that "not the right
    thing to do", or issuing other normative statements is, how would I
    express it... , is not the right thing to do. Now you can add here
    some dozen smileys...<br>
    <br>
    More seriously, some people like exquisite continuations and will
    use them. Instead of fighting against exceptions it might be more
    fruitful to make them more robust, powerful, parametrable and sexy.<br>
    <br>
    <br>
    Jerzy Karczmarczuk<br>
    <br>
  </body>
</html>