At 21:01 +1000 98/08/04, Fergus Henderson wrote:
>On 04-Aug-1998, Hans Aberg <[EMAIL PROTECTED]> wrote:
>>
>> I should note that if one want the programs of an earlier version of a
>> computer language should be able top run on a later version, that can be
>> described by a monad. So why not implement an upgrade monad in Haskell? --
>> It would solve the problem once and for all.
>
>Sounds like a great idea, I think you should go ahead and do it.
>Please be sure to let us know when you're finished.
My post was half serious and half a joke, because on the one hand it
should be possible to supply an upgrade monad because monads satisfy a
certain code extension property (old, non-monad programs can be extended to
new, monad programs): If one knows how all the components of the old
version should be translated into components of the new version, then this
can be done.
But on the other hand, in order to supply that upgrade monad, one needs
to sit down and figure out how to do all the code translations, so perhaps
this a little too much of a work. :-)
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
