On 6/2/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
The last time I tried this code, I reported to haskell-cafe that
OOHaskell does not work when compiled as a library (at least under
GHC). For some reason the code that uses OOHaskell had to be compiled
along side it. Is this now fixed?
The last time I tried this code, I reported to haskell-cafe that
OOHaskell does not work when compiled as a library (at least under
GHC). For some reason the code that uses OOHaskell had to be compiled
along side it. Is this now fixed?
It may be, I have to try. It should be mentioned that
apfelmus wrote:
Al Falloon wrote:
OCaml has been getting a lot of mileage from its polymorphic variants
(which allow structural subtyping on sum types) especially on problems
relating to AST transformations and the infamous expression problem.
Has there been any work on extending Haskell's
On Thu, May 31, 2007 at 06:16:20PM +0100, Jon Harrop wrote:
I can't think of a lightweight way to encode overlapping enumerations in
Haskell.
I'd like to know if this is possible in Haskell.
Maybe this way using GADTs and typeclasses? I haven't used such code in
practice - there may be
On Thu, May 31, 2007 at 09:04:30PM +0200, Tomasz Zielonka wrote:
On Thu, May 31, 2007 at 06:16:20PM +0100, Jon Harrop wrote:
I can't think of a lightweight way to encode overlapping enumerations in
Haskell.
I'd like to know if this is possible in Haskell.
Maybe this way using GADTs
On 5/31/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Polymorphic extensible records with subtyping are already expressible
in Haskell. There is nothing needs to be added:
http://homepages.cwi.nl/~ralf/HList/
http://homepages.cwi.nl/~ralf/OOHaskell/
The last time I tried