<div dir="ltr">On Sat, Feb 11, 2017 at 12:57 AM, Albert Y. C. Lai <span dir="ltr"><<a href="mailto:trebla@vex.net" target="_blank">trebla@vex.net</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="m_7409414098498209367gmail-">On 2017-02-09 04:40 PM, Damian Nadales wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
On a very unmemorable day, lost somewhere in a province of the<br>
Netherlands, a new Haskell meetup has been born<br>
<a href="http://meetu.ps/c/32F0Z/tJxcH/f" rel="noreferrer" target="_blank">http://meetu.ps/c/32F0Z/tJxcH/<wbr>f</a><br>
</blockquote>
<br></span>
Eindhoven, in my heart, is ground zero of well-reasoned programming because Dijkstra.</blockquote></div><br></div><div class="gmail_extra">Just in case the Eindhoven Haskell meetup group is in fact inspired by E W Dijkstra...<br></div><div class="gmail_extra">Here is <a href="https://github.com/rusimody/gofer" target="_blank">pugofer</a><br></div><div class="gmail_extra">The summary of its history and motivations <a href="http://blog.languager.org/2014/09/pugofer.html" target="_blank">here</a><br></div><div class="gmail_extra">Particularly a feel for it could be had by reading its <a href="https://github.com/rusimody/gofer/blob/master/pustd.pre" target="_blank">standard prelude</a><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Summary of summary: Inspired by EWD's writing function application not as f(x) or as f x but as f.x<br></div><div class="gmail_extra">here is pugofer's version of map<br></div><div class="gmail_extra"><br><span style="font-family:monospace,monospace">map : (a -> b) -> [a] -> [b]<br>map.f.[] = []<br>map.f.(x::xs) = f.x :: map.f.xs<br></span><br></div><div class="gmail_extra">PS This is 25 year old code... It still works but is not really type-comparable to ghc ;-)<br></div></div>