as the subject indicates, I'm interested in interfacing overloaded functions
between the functional and the non-functional world. In particular, I would
like to know whether there is a convenient way for exporting type classes
from Haskell to C. By "convenient" I refer to something which is easy to
handle from the non-functional programmer's point of view on one side
and still generic on the other side. To be more explicit, let's assume
f :: Num a => a -> a
Is there any way to export "all potential versions of f" ????
Or do I have to export each version separately, e.g.:
foreign export ccall "fInt" f :: Int -> Int
foreign export ccall "fFloat" f :: Float -> Float
The next step would be to ask how to export polymorphism such as
id :: a -> a
Is there a convenient way for exporting these functions??
Does any of the high-level interface tools such as GreenCard or Hdirect
offer a feasible solution????
If this is covered by some paper-work already, please forgive my ignorance
and give me a pointer to it 8-)
Sven-Bodo
--
Sven-Bodo Scholz University of Kiel
email: [EMAIL PROTECTED] Department of Computer Science
http://www.informatik.uni-kiel.de/~sbs/ Herman-Rodewald-Strasse 3, 24118 Kiel
Phone: +49-431-880-4482 Germany
