In case there are some other Haskellers around Eindhoven, NL
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 Best, Damian.
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.
On Sat, Feb 11, 2017 at 12:57 AM, Albert Y. C. Lai
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 ;-)
participants (3)
-
Albert Y. C. Lai -
Damian Nadales -
Rustom Mody