Jules Bean wrote:
> I'm saying that we can change programs, and that changes their
> denotation, and that's fine, and anyone can do that. But the denotation
> of a program is supposed to be something independent of a particular
> compiler or OS or MAC address or RAM size or any of the millions
On Tue, Oct 14, 2008 at 2:14 PM, Jules Bean <[EMAIL PROTECTED]> wrote:
> David Roundy wrote:
>>
>> On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
>>>
>>> Running a program on a different interpreter or compiler had better
>>> not change its denotation, otherwise it [the denotation] is
David Roundy wrote:
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
Running a program on a different interpreter or compiler had better
not change its denotation, otherwise it [the denotation] is not much
use as a basis for reasoning.
But you're saying above that we can't change pr
Jonathan Cast <[EMAIL PROTECTED]> wrote:
> David Roundy wrote:
>> Jules Bean wrote:
>>> David Roundy wrote:
How does it interact with fixing bugs (which means changing
mathematical and universal constant functions--since all
functions are constants)?
>>>
>>> That's fine. Changing a p
On Tue, 2008-10-14 at 12:31 -0400, David Roundy wrote:
> On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
> > David Roundy wrote:
> >> On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
> >>> Constants are mathematical and universal, like pi. That is what the
> >>> semantics of
On Tue, Oct 14, 2008 at 05:20:35PM +0100, Jules Bean wrote:
> David Roundy wrote:
>> On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
>>> Constants are mathematical and universal, like pi. That is what the
>>> semantics of haskell say.
>>
>> Where do the semantics of haskell say this?
>
David Roundy wrote:
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
David Roundy wrote:
Constants are mathematical and universal, like pi. That is what the
semantics of haskell say.
Where do the semantics of haskell say this?
You should better ask 'which semantics?'.
The semant
On Tue, Oct 14, 2008 at 04:39:38PM +0100, Claus Reinke wrote:
>> Where do the semantics of haskell say this? How does it interact with
>> fixing bugs (which means changing mathematical and universal constant
>> functions--since all functions are constants)?
>
> What semantics of haskell?-) But if t
Where do the semantics of haskell say this? How does it interact with
fixing bugs (which means changing mathematical and universal constant
functions--since all functions are constants)?
What semantics of haskell?-) But if there was one, it might not talk
about separate compilation (it should, t
David Roundy wrote:
(Sure this is a weird situation, but I do like to think about worst
cases.)
In practice that is fine, with current RTSes and so on.
In principle it's not fine. A 'constant' should be constant over all
time, not just constant over a particular library version or sub-version
On Tue, Oct 14, 2008 at 04:05:23PM +0100, Jules Bean wrote:
> David Roundy wrote:
(Sure this is a weird situation, but I do like to think about worst
cases.)
>>> In practice that is fine, with current RTSes and so on.
>>>
>>> In principle it's not fine. A 'constant' should be constant ove
On Tue, Oct 14, 2008 at 02:05:02PM +0100, Jules Bean wrote:
> Mauricio wrote:
> >If I have a Haskell wrapper (with unsafe...) over a function that's
> >never going to return different values and is always side-effect free,
> >but can change depending on compile time options of its library; my
> >p
Mauricio wrote:
Hi,
If I have a Haskell wrapper (with unsafe...)
over a function that's never going to return
different values and is always side-effect
free, but can change depending on compile time
options of its library; my program is running,
and then the version of my library is updated
by
Hi,
If I have a Haskell wrapper (with unsafe...)
over a function that's never going to return
different values and is always side-effect
free, but can change depending on compile time
options of its library; my program is running,
and then the version of my library is updated
by my distribution s
14 matches
Mail list logo