<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Mar 12, 2015 at 11:52 AM, Sean Leather <span dir="ltr"><<a href="mailto:sean.leather@gmail.com" target="_blank">sean.leather@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><span><div class="gmail_extra"><div class="gmail_quote">On Thu, Mar 12, 2015 at 6:57 AM, Rustom Mody wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div><div>There is this quote:<br><blockquote><i>It needs to be said very firmly that LISP is not a functional language
at all. My suspicion is that the success of Lisp set back the
development of a properly functional style of programming by at least
ten years.</i> David Turner</blockquote><br></div>found here and there on the net <br></div>eg <a href="http://dis.4chan.org/read/prog/1376090701" target="_blank">http://dis.4chan.org/read/prog/1376090701</a><br><br></div>Does anyone have/know the original reference?<br></div></blockquote><div></div></div><br></div></span><div class="gmail_extra">As the 10th entry on my version of Google, I found:</div><div class="gmail_extra"><br></div><div class="gmail_extra">Michael J C Gordon<br></div><div class="gmail_extra"><div class="gmail_extra"><div class="gmail_extra">Programming Language Theory and its Implementation: Applicative and Imperative Paradigms</div><div><div class="gmail_extra"><a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.5717&rep=rep1&type=pdf" target="_blank">http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.5717&rep=rep1&type=pdf</a><br></div><div class="gmail_extra"></div></div></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">Gordon provides a more complete version of the quote on p. 148:</div><div class="gmail_extra"><br></div>Here , for example, is a quotation by David Turner from the discussion after his paper in the book Mathematical Logic and Programming Languages:<br><br><blockquote style="margin:0px 0px 0px 40px;border:medium none;padding:0px">It needs to be said very firmly that LISP, at least as represented by the dialects in common use, is not a functional language at all. LISP does have a functional subset, but that is a rather inconvenient programming language and there exists no significant body of programs written in it. Almost all serious programming in LISP makes heavy use of side effects and other referentially opaque features.<br><br>I think that the historical importance of LISP is that it was the fi rst language to provide ‘garbage- collected’ heap storage. This was a very important step forward. For the development of functional programming , however, I feel that the contribution of LISP has been a negative one. My suspicion is that the success of LISP set back the development of a properly functional style of programming by at least ten years.</blockquote><div><br></div><div>The cited paper for the quote is:</div><div><br></div><div>Turner , DA. Functional programs as executable specifications, in
Hoare CAR and Shepherdson JC ( eds.) Mathematical Logic and
Programming Languages Prentice Hall, 1985.<br></div><div><a href="http://rsta.royalsocietypublishing.org/content/312/1522/363" target="_blank">http://rsta.royalsocietypublishing.org/content/312/1522/363</a><br></div><div><br></div><div>The quote is the discussion for the paper, found on p. 387.</div><div><br></div><div>Regards,</div><div>Sean</div></div>
</blockquote></div><br></div><div class="gmail_extra">Thanks Sean for the very thorough search-n-time-travel<br><br>For those who may be interested here is another curiosity:<br><a href="http://www.infoq.com/interviews/Steele-Interviews-John-McCarthy" target="_blank">http://www.infoq.com/interviews/Steele-Interviews-John-McCarthy</a><br><br></div><div class="gmail_extra">wherein McCarthy attributes the idea of functional programming to Fortran and Backus -- I must say I find that striking -- how things have turned in 50 years!<br clear="all"></div><div class="gmail_extra"><br></div><div class="gmail_extra">All this is towards a lecture on programming paradigms that I am preparing. If there are other such juicy nuggets, I'll be pleased to receive them<br><br></div><div class="gmail_extra">Rusi<br></div><div class="gmail_extra">-- <br><div><br><a href="http://blog.languager.org" target="_blank">http://blog.languager.org</a><br><br></div>
</div></div>