[Haskell-cafe] Linking and unsafePerformIO

[Jason Dusek]

Jonathan Cast <jonathanccast at fastmail.fm> 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 program changes it denotation.
>>>
>>> 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 programs, right?
>> You probably won't be surprised to hear that different
>> compilers are different programs.
>
> This `problem' is already solved by the theory of logical
> relations.

  Could you say more about this?

--
_jsn