[Haskell-cafe] In case there are some other Haskellers around Eindhoven, NL

[Rustom Mody]

On Sat, Feb 11, 2017 at 12:57 AM, Albert Y. C. Lai <trebla at vex.net> wrote:

> On 2017-02-09 04:40 PM, Damian Nadales wrote:
>
>> On a very unmemorable day, lost somewhere in a province of the
>> Netherlands, a new Haskell meetup has been born
>> http://meetu.ps/c/32F0Z/tJxcH/f
>>
>
> Eindhoven, in my heart, is ground zero of well-reasoned programming
> because Dijkstra.


Just in case the Eindhoven Haskell meetup group is in fact inspired by E W
Dijkstra...
Here is pugofer <https://github.com/rusimody/gofer>
The summary of its history and motivations here
<http://blog.languager.org/2014/09/pugofer.html>
Particularly a feel for it could be had by reading its standard prelude
<https://github.com/rusimody/gofer/blob/master/pustd.pre>

Summary of summary: Inspired by EWD's writing function application not as
f(x) or as f x but as f.x
here is pugofer's version of map

map : (a -> b) -> [a] -> [b]
map.f.[] = []
map.f.(x::xs) = f.x :: map.f.xs

PS This is 25 year old code... It still works but is not really
type-comparable to ghc ;-)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170220/af2a8552/attachment.html>