[Haskell-cafe] Linking and unsafePerformIO

Jason Dusek jason.dusek at gmail.com
Tue Oct 14 13:21:55 EDT 2008

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?


More information about the Haskell-Cafe mailing list