<div class="gmail_quote">On Thu, Apr 23, 2009 at 1:34 PM, Miguel Mitrofanov <span dir="ltr">&lt;<a href="mailto:miguelimo38@yandex.ru">miguelimo38@yandex.ru</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br></div>
Well, than, what would you expect from this:<br>
<br>
let {f x = g x;<br>
      g 0 = 0;<br>
      g n = f (n-1)}<br>
in show f</blockquote><div><br></div><div>Well, not show, because any show instance for functions breaks r.t.  But the interactive interpreter, if it is not subject to r.t., might show:</div><div><br></div><div>let { f x = g x;</div>
<div>      g 0 = 0;</div><div>      g n = f (n-1) } in f</div><div><br></div><div>Or</div><div><br></div><div>fst (fix (\~(f,g) -&gt; (\x -&gt; g x, \n -&gt; case n of { 0 -&gt; 0; n -&gt; f (n-1) })))</div><div><br></div>
<div>Or any number of other equivalent writings.</div><div><br></div><div>Luke</div></div>