27 Jul
2012
27 Jul
'12
4:06 p.m.
On Jul 27, 2012 8:07 PM, "Ross Paterson"
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