Re: [Haskell-cafe] Re: Libraries for Commercial Users

brad.larsen:

John,

On Thu, Oct 8, 2009 at 3:20 PM, John A. De Goes wrote: [...]

...

JVM is cross-platform, and contains sufficient typing information to permit one to write something like, "import foreign jvm java.list.Collection", and have typed access to the whole class and all of its methods. [...]

Having painless Haskell <- Java interoperability would be great. I'm curious though: could it really be so simple as a one-line ``import foreign jvm'' directive? I imagine the purity mismatch between Haskell and Java would be very troublesome.

No more so than C, surely. We're used to stateful APIs. They're a pain.

With this hypothetical ``import foreign jvm'' mechanism, what would the be type of imported Java stuff? Would it all be done in IO?

The more I think about it, the trickier it seems. Beside the purity mismatch of Haskell and Java, there is an OO/functional mismatch.

That's more of an issue. But the prior work has been done.