On Jul 27, 2012 8:07 PM, "Ross Paterson" <ross@soi.city.ac.uk> wrote:

> Another way of looking at it is that the denotational semanticists have
> created a beautiful language to express the meanings of all those ugly
> languages, and we're programming in it.

I think that's the idea.

Also works out for compiler writers, parallel implementations, etc.

Problem is from a 'classical' programming perspective it's an acquired taste.

Chris