Re: Portability dreams
On Thu, May 27, 1999 at 03:51:57PM +0200, Sven Panne wrote: Using Haskell programs and libraries with different compilers and/or interpreters (or even with different versions of the same system!) is currently quite a frustrating experience. This is can be attributed to the following problems: [snip] And: no versioning of standard and run-time system libraries (unlike C) At least in the case of GHC. By way of explanation, I can have libc4, libc5 and libc6 happily coexist on my system. The run-time loader knows which programs need which library. This would go some way to alleviating the hassles with compiler and RTS changes. I'm not sure how much work this would involve! Giuliano.
Re: Happy New Year!
In response to Paul Hudak's letter regarding modifications to Haskell, we are interested in the question of the addition of 'records'. Working from an unpublished paper by Sean Bechhofer we have developed a system of extensible records for Gofer/Haskell. This is based not on subtyping but instead uses the type class mechanism to handle constraints on the existence of fields. We have an implementation of a parser and type-checker, including all Gofer's features (even constructor classes). The work has been written up as a Diploma project. We have not tried to build either an interpreter or a compiler, but we don't forsee any particular difficulties with this. We would be grateful to hear about any other systems (including John Peterson's proposal) and from anyone interested in our work. Finally, when and where will FPCA be? Giuliano Procida Barnaby Hilken