11 Oct
2009
11 Oct
'09
10:18 p.m.
On 11/10/2009, at 8:11 AM, Don Stewart wrote:
brad.larsen:
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.
At the risk of exposing my ignorance: would you recommend any particular papers? Hubris has a particularly restricted model of this, simply because I don't know how to approach it in a more comprehensive fashion. Cheers Mark