[Haskell-cafe] Denotational semantics for the lay man.

2011-01-17 Thread David Sankel
Hello All, I've recently had the opportunity to explain in prose what denotational semantics are to a person unfamiliar with it. I was trying to get across the concept of distilling the essence out of some problem domain. I wasn't able to get the idea across so I'm looking for some simple ways to

Re: [Haskell-cafe] Denotational semantics for the lay man.

2011-01-17 Thread caseyh
You probably want to bring up other forms of semantics. Axiomatic semantics: Makes no distinction between a phrase's meaning and the logical formulas that describe it; its meaning is exactly what can be proven about it in some logic. Operational semantics: The execution of the language is

Re: [Haskell-cafe] Denotational semantics for the lay man.

2011-01-17 Thread Albert Y. C. Lai
On 11-01-17 01:55 PM, David Sankel wrote: I've recently had the opportunity to explain in prose what denotational semantics are to a person unfamiliar with it. I was trying to get across the concept of distilling the essence out of some problem domain. I wasn't able to get the idea across so I'm

Re: [Haskell-cafe] Denotational semantics for the lay man.

2011-01-17 Thread Gregg Reynolds
On Mon, Jan 17, 2011 at 12:55 PM, David Sankel cam...@gmail.com wrote: Hello All, I've recently had the opportunity to explain in prose what denotational semantics are to a person unfamiliar with it. I was trying to get across the concept of distilling the essence out of some problem domain.

Re: [Haskell-cafe] Denotational semantics for the lay man.

2011-01-17 Thread Claus Reinke
I've recently had the opportunity to explain in prose what denotational semantics are to a person unfamiliar with it. I was trying to get across the concept of distilling the essence out of some problem domain. I wasn't able to get the idea across so I'm looking for some simple ways to explain