<div dir="auto">Hi Michael, I apologise if I'm being dumb, but that ewd.pdf is not a 'publication' and is not by Dijkstra, right?</div><div dir="auto"><br></div><div dir="auto">It's taking some of the ideas from Dijkstra's EWD1300, but misapplying them to Haskell in a rather badly-informed way.</div><div dir="auto"><br></div><div dir="auto">After all, Haskell already has a 'Application Operator' spelled ($), which is perfectly first-class and with which you can do the equational reasoning (with lambdas) that the doco is talking about.</div><div dir="auto"><br></div><div dir="auto">Also it doesn't seem to know Haskellers very well; nor Dijkstra's well-known support for Haskell in education.</div><div dir="auto"><br></div><div dir="auto">There's other bits and pieces of 'Publications' on that the-magus site; including spoofs of Dijkstra which can't even spell his first name right. I rather suspect the ewd.pdf is a spoof that didn't turn out very funny. So altogether it's a couple of dudes shooting the breeze.</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">AntC</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto">> <span style="white-space:pre-wrap;background-color:rgb(255,255,255)">On 4/9/19 11:09 AM, Michael Orlitzky wrote:</span></div><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><div dir="auto">></div><i>>> On 4/9/19 10:41 AM, <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">jaro.reinders at gmail.com</a> wrote:
</i>>><i> I found it: <a href="https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html">https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html</a>
</i>>><i>
</i>><i> 
</i><div dir="auto">>></div><i> Thank you, this is obviously also relevant, but it's not the one I'm
</i><div dir="auto">>></div><i> remembering. The notation is the same, though, so this explains what I'm
</i><div dir="auto">>></div><i> looking for (and is also an interesting read).
</i><div dir="auto">
> After the Dijkstra hint, I was able to track it down:
  </div><div dir="auto">> </div><a href="http://www.the-magus.in/Publications/ewd.pdf">http://www.the-magus.in/Publications/ewd.pdf</a>

<br></pre>