<p><br>
On Jul 27, 2012 8:07 PM, &quot;Ross Paterson&quot; &lt;<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>&gt; wrote:</p>
<p>&gt; Another way of looking at it is that the denotational semanticists have<br>
&gt; created a beautiful language to express the meanings of all those ugly<br>
&gt; languages, and we&#39;re programming in it.</p>
<p>I think that&#39;s the idea.<br>
 <br>
Also works out for compiler writers, parallel implementations, etc.</p>
<p>Problem is from a &#39;classical&#39; programming perspective it&#39;s an acquired taste.</p>
<p>Chris</p>