[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:
>> [1] http://eclipse-clp.org/ is currently down, but can be accessed at 
>> [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,

More information about the Haskell-Cafe mailing list