<br><br><div class="gmail_quote">On Sat, Oct 27, 2012 at 2:21 AM, Henk-Jan van Tuyl <span dir="ltr">&lt;<a href="mailto:hjgtuyl@chello.nl" target="_blank">hjgtuyl@chello.nl</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
L.S.,<br>
<br>
I thought you might be interested to know, that I have translated one of prof. Edsger W. Dijkstra&#39;s writings to English[0]. I will submit this translation to the E. W. Dijkstra Archive of the University of Texas[1].<br>

<br>
Some of the highlights:<br>
 - can submarines swim?<br>
 - redefining mathematics<br>
 - something unimaginably unimaginable<br>
 - a baby faster than fighter jets<br>
<br>
Regards,<br>
Henk-Jan van Tuyl<br>
</blockquote></div><br>Thank you Henk-Jan for doing this -- It&#39;s always a treat reading Dijkstra!<br><br>I had some small corrections to make but it seems others have already spotted them.  Only one general comment: Your use of courier font quite threw me off  
-- I thought I was reading &#39;an original EWD nnn&#39; … until I saw the last 
line -- Translated by Henk-Jan van Tuyl 2012-10-13!<br><br>Dijkstra&#39;s 
connection with functional programming is enigmatic and very interesting.  On the one 
hand he seems to say that the only proper languages are imperative, yet 
at the meta level, his semantics has a strong kind of functional 
flavour -- he would argue that his semantics are more functional than even denotational semantics!<br>


<br>In particular, there is one small notational point that he insisted 
on towards the end of his career (and life) viz. where traditional 
mathematicians write <i>f(x)  </i>and functional programmers write <i>f x</i>, he would write <i>f.x</i> , ie he showed apply with a &#39;.&#39;<br>


<br>In trying to understand his intentions, I wrote the following &#39;thought-dialogue&#39; [as in thought-experiment :-) ]<br><a href="http://www.the-magus.in/Publications/ewd.pdf" target="_blank">http://www.the-magus.in/Publications/ewd.pdf</a><br>
<br>Regards<br>Rusi<br>