Gregory Crosswhite wrote:
On 6/25/10 9:49 PM, wren ng thornton wrote:
[1] http://eclipse-clp.org/ is currently down, but can be accessed at
http://87.230.22.228/
[2] http://www.mercury.csse.unimelb.edu.au/
[3] http://www.lix.polytechnique.fr/~dale/lProlog/
[4] http://www-ps.informatik.uni-kiel.de/currywiki/
[5] http://www.ps.uni-saarland.de/alice/
[6] http://www.mozart-oz.org/
Are any of those compatible with Haskell, so that we could mix code in
that language with Haskell code?
Your best bets would be Agda and Curry. I'm not familiar enough with
either of them to know what sort of FFI or cross-linking they support,
but both are (by design) rather similar to Haskell. For Curry, it may
also vary depending on the compiler.
With all the others, interaction will be restricted to generic FFI support.
--
Live well,
~wren
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
