
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Alexander,<div class=""><br class=""></div><div class="">I found this tool online[1], that converts your function to a point free style.</div><div class=""><br class=""></div><div class=""><font face="Andale Mono" class="">myAny'' f = foldr (\a b -> f a || b) False</font></div><div class=""><br class=""></div><div class="">is transformed to</div><div class=""><span style="font-family: "Andale Mono";" class=""><br class=""></span></div><div class=""><span style="font-family: "Andale Mono";" class="">myAny'' = flip foldr False . ((||) .)</span></div><div class=""><br class=""></div><div class="">Again as Bob mentions, the point free style comes at a cost of unreadability and hence unmaintainable. </div><div class=""><br class=""></div><div class="">Cheers!</div><div class="">Apoorv</div><div class=""><br class=""></div><div class="">[1]: <a href="http://pointfree.io/" class="">http://pointfree.io/</a><br class=""><div class=""><div style="color: rgb(0, 0, 0); word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><br class=""></div></div></div></div></div><div><blockquote type="cite" class=""><div class="">On Jun 10, 2020, at 10:00, Bob Ippolito <<a href="mailto:bob@redivi.com" class="">bob@redivi.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class=""><div dir="auto" class="">The better question is why would you want to? If you could even manage, the result would be practically incomprehensible. </div></div><div class=""><br class=""><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jun 10, 2020 at 07:49 Alexander Chen <<a href="mailto:alexander@chenjia.nl" class="">alexander@chenjia.nl</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="font-family:Arial;font-size:13px" class="">hi,<div class=""><br class=""></div><div class=""><div style="color:rgb(212,212,212);background-color:rgb(30,30,30);font-family:Consolas,"Courier New",monospace;font-size:14px;line-height:19px;white-space:pre-wrap" class=""><div class=""><span style="color:#6a9955" class="">--any function foldr</span></div><div class=""><span style="color:#dcdcaa" class="">myAny''</span> :: (<span style="color:#9cdcfe" class="">a</span>-> <span style="color:#569cd6" class="">Bool</span>) -> [<span style="color:#9cdcfe" class="">a</span>] -> <span style="color:#569cd6" class="">Bool</span></div><div class="">myAny'' f = foldr (\a b -> f a || b) False</div></div><br class=""><div class=""><div style="font-family:Arial;font-size:13px" class="">this is the foldr notions. How would i make this point free?</div></div></div><div style="font-family:Arial;font-size:13px" class=""><br class=""></div><div style="font-family:Arial;font-size:13px" class="">best,</div></div>_______________________________________________<br class="">

Beginners mailing list<br class="">

<a href="mailto:Beginners@haskell.org" target="_blank" class="">Beginners@haskell.org</a><br class="">

<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank" class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br class="">

</blockquote></div></div>

_______________________________________________<br class="">Beginners mailing list<br class=""><a href="mailto:Beginners@haskell.org" class="">Beginners@haskell.org</a><br class="">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners<br class=""></div></blockquote></div><br class=""></body></html>