Yep, a lazy pattern match gets you the same benefit.<br><br><div class="gmail_quote"><div dir="ltr">On Tue, 11 Dec. 2018, 7:50 pm Vanessa McHale, <<a href="mailto:vanessa.mchale@iohk.io">vanessa.mchale@iohk.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex" id="gmail_block_quote0">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p>I think the "official" version could be implemented with a lazy
      pattern match and it'd be the same as yours, no?<br>
      <br>
      Cheers,<br>
      Vanessa<br>
    </p></div><div text="#000000" bgcolor="#FFFFFF">
    <div class="m_-3946890441581533832moz-cite-prefix">On 12/11/18 12:55 AM, Isaac Elliott
      wrote:<br>
    </div>
    </div><div text="#000000" bgcolor="#FFFFFF"><blockquote type="cite"></blockquote></div><div text="#000000" bgcolor="#FFFFFF"><blockquote type="cite">
      
      <div dir="ltr">
        <div dir="ltr">
          <div dir="ltr">
            <div>I was reading this article <a href="https://wiki.haskell.org/Correctness_of_short_cut_fusion" target="_blank">https://wiki.haskell.org/Correctness_of_short_cut_fusion</a>
              on the Haskell wiki. It presents an example (2.1.2) where
              destroy/unfoldr fusion behaves oddly. If I use a lazier
              definition of unfoldr, then this problem goes away:</div>
            <div><br>
            </div>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">unfoldr :: (b ->
              Maybe (a, b)) -> b -> [a]<br>
              unfoldr f b =<br>
                case f b of<br>
                  Nothing -> []<br>
                  Just z -> fst z : unfoldr f (snd z)</blockquote>
            <div dir="ltr"><br>
            </div>
            <div>Does this mean unfoldr is 'too strict'? Or is there a
              good reason for not writing it this way (performance,
              perhaps?) </div>
          </div>
        </div>
      </div>
      <br>
      <fieldset class="m_-3946890441581533832mimeAttachmentHeader"></fieldset>
      </blockquote></div><div text="#000000" bgcolor="#FFFFFF"><blockquote type="cite"><pre class="m_-3946890441581533832moz-quote-pre">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="m_-3946890441581533832moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
    </blockquote>
  </div>

_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>