Re: [Haskell-cafe] embedding Haskell: problematic polymorphism

2007-07-11 Thread Claus Reinke
Say I have 3 boxes: Box 1: [1,2,5,3]:: [Float] Box 2: reverse :: [a] -> [a] Box 3: putStrLn . show :: (Show b) => b -> IO () I wonder, is it possible to create these boxes separately at runtime (each box being compiled/loaded separately with hsplugins), then connect them t

Re: [Haskell-cafe] embedding Haskell: problematic polymorphism

2007-07-11 Thread Stefan O'Rear
On Wed, Jul 11, 2007 at 05:45:40PM +, Claude Heiland-Allen wrote: > Hi people, > > I'm embedding Haskell into a C program with a "stateful objects with > message passing" paradigm [0]. I want to make "boxes" with useful > functions, then connect them together within the C program. I know ho

[Haskell-cafe] embedding Haskell: problematic polymorphism

2007-07-11 Thread Claude Heiland-Allen
Hi people, I'm embedding Haskell into a C program with a "stateful objects with message passing" paradigm [0]. I want to make "boxes" with useful functions, then connect them together within the C program. I know how to build a working version using Data.Dynamic, but that loses polymorphism