Do you mean Okasakis &quot;Even higher-order functions for parsing or Why would<br>anyone ever want to use a sixth-order function?&quot;?<br><br><div><span class="gmail_quote">2007/12/14, Ben Lippmeier &lt;<a href="mailto:Ben.Lippmeier@anu.edu.au">
Ben.Lippmeier@anu.edu.au</a>&gt;:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi all,<br><br>I&#39;m working on a type-based side effect analysis for a Haskell-like
<br>language, and need to test it against some more higher order functions.<br>The situation is a bit icky because it uses bounded quantification<br>and various related issues (ie covariance vs contravariance) only<br>come into play when dealing with functions of order &gt;= 3.
<br><br>Trouble is, the vast majority of useful higher order functions<br>that I can think of are of order 2. Oh, I can certainly invent toys<br>like:<br><br>order3 f&nbsp;&nbsp; = f succ<br>order4 b f = if b then f else order3<br>
<br>.. and so on, but I&#39;m left feeling unsatisfied.<br><br>I vaguely remember a paper called something like &quot;Is there any use<br>for a seventh order function?&quot;, but I forget why they were used, and<br>I can&#39;t find it on Google, or ACM or any of the other likely places.
<br><br>Does anyone have any examples of code (in whatever language) which<br>usefully uses functions of order &gt;= 3?? Preferably up to 5?<br><br>Thanks,<br>Ben.<br><br>_______________________________________________<br>
Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
<br></blockquote></div><br><br clear="all"><br>-- <br>Dipl.-Inform. Steffen Mazanek<br>Institut für Softwaretechnologie<br>Fakultät Informatik<br><br>Universität der Bundeswehr München<br>85577 Neubiberg<br><br>Tel: +49 (0)89 6004-2505
<br>Fax: +49 (0)89 6004-4447<br><br>E-Mail: <a href="mailto:steffen.mazanek@unibw.de">steffen.mazanek@unibw.de</a>