[Haskell-cafe] Type-Level Programming
wren ng thornton
wren at freegeek.org
Sat Jun 26 23:11:48 EDT 2010
Gregory Crosswhite wrote:
> On 6/25/10 9:49 PM, wren ng thornton wrote:
>>  http://eclipse-clp.org/ is currently down, but can be accessed at
>>  http://www.mercury.csse.unimelb.edu.au/
>>  http://www.lix.polytechnique.fr/~dale/lProlog/
>>  http://www-ps.informatik.uni-kiel.de/currywiki/
>>  http://www.ps.uni-saarland.de/alice/
>>  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.
More information about the Haskell-Cafe